马丁·德·沃尔夫；劳伦特·多恩；尼古拉斯·马基；Jean-François拉斯金 时间自动机的鲁棒性和可实现性。 （英语） Zbl 1109.68504号 Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253118-133（2004）。 摘要：在前一篇文章中，我们定义了一种新的时间自动机语义，即几乎尽快语义，该语义由\（Delta \）参数化以处理控制器的反应延迟。我们表明，如果策略正确的参数\（\Delta \）存在严格正值，则此语义是可实现的。在本文中，我们将可实现性问题定义为这样一个（Delta）存在的问题。我们表明，这个问题与中定义的时间自动机的鲁棒性概念密切相关[A.普里，“时间自动机的动力学特性”，离散事件动态。系统。10，第1-2号，第87–113页（2000年；Zbl 0986.93042号)]并证明可实现性问题是可判定的。有关整个系列，请参见[Zbl 1061.68004号]. 引用于6文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题55 计算理论中的语义学 引文：Zbl 0986.93042号 软件：时间 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，Lect。票据计算。科学。3253、118--133（2004年；Zbl 1109.68504） 全文： 内政部