定时系统的控制

Communicating Embedded Systems Pub Date : 2009-10-25 DOI:10.1002/9781118558188.CH3

F. Cassez

{"title":"定时系统的控制","authors":"F. Cassez","doi":"10.1002/9781118558188.CH3","DOIUrl":null,"url":null,"abstract":"In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. We assume the reader is familiar with the basics of Timed Automata theory, or has read Chapter 1 and Chapter 2 in this book.","PeriodicalId":120780,"journal":{"name":"Communicating Embedded Systems","volume":"114 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Control of Timed Systems\",\"authors\":\"F. Cassez\",\"doi\":\"10.1002/9781118558188.CH3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. We assume the reader is familiar with the basics of Timed Automata theory, or has read Chapter 1 and Chapter 2 in this book.\",\"PeriodicalId\":120780,\"journal\":{\"name\":\"Communicating Embedded Systems\",\"volume\":\"114 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-10-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Communicating Embedded Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1002/9781118558188.CH3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communicating Embedded Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1002/9781118558188.CH3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在这一章中，我们讨论了定时系统的控制器综合问题。我们所说的定时系统是指受定量(硬)实时约束的系统。我们假设读者熟悉时间自动机理论的基础知识，或者已经阅读了本书的第一章和第二章。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Control of Timed Systems

In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. We assume the reader is familiar with the basics of Timed Automata theory, or has read Chapter 1 and Chapter 2 in this book.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Communicating Embedded Systems

自引率

0.00%

发文量