奥德·马勒;阿米尔·普努利;约瑟夫·西法基斯 关于定时系统离散控制器的综合。 (英语) Zbl 1379.68227号 Mayr,Ernst W.(编辑)等人,STACS 95。1995年3月2日至4日,德国慕尼黑,第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-59042-0)。计算机科学讲义900,229-242(1995)。 摘要:本文通过寻找由Alur和Dill的时间自动机定义的某些游戏的获胜策略,提出了实时控制器的自动合成算法。在这种游戏中,结果取决于玩家的行动以及他们的定时我们相信,这些结果将为应用程序合成技术从其规范构建实时嵌入式系统铺平道路。有关整个系列,请参见[Zbl 0813.68028号]. 引用于78文件 MSC公司: 65年第68季度 形式语言和自动机 68平方米 计算机系统环境下的性能评估、排队和调度 91A80型 博弈论的应用 93亿B50 合成问题 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。票据计算。科学。900、229--242(1995年;Zbl 1379.68227) 全文: 内政部