乌里·法伦贝格;Larsen,Kim G。;克劳斯·苏兰(Claus R.Thrane)。 实时系统的验证、性能分析和控制器综合。 (英语) Zbl 1274.68185号 Arbab,Farhad(编辑)等人,《软件工程基础》,第三届IPM国际会议,FSEN 2009,伊朗基什岛,2009年4月15日至17日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11622-3/pbk)。计算机科学课堂讲稿596134-61(2010)。 摘要:本文旨在为由D.阿鲁尔和R.Dill公司[法学注释计算科学443、322–335(1990;Zbl 0765.68150号); 西奥。计算。科学。126,第2期,183-235(1994年;Zbl 0803.68071号)]. 本文给出了时间自动机、定价(或加权)时间自动机和时间博弈的全面定义,并重点介绍了与模型检验、等价性检验、最优调度和获胜策略存在性相关的决策问题的一些结果。有关整个系列,请参见[Zbl 1180.68003号]. 引用于4文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 65年第68季度 形式语言和自动机 91A80型 博弈论的应用 引文:Zbl 0765.68150号;Zbl 0803.68071号 软件:UPPAAL TIGA公司;GEZEL公司;Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。5961、34-61(2010年;Zbl 1274.68185) 全文: 内政部 链接