贝拉德，贝特里奇;克劳迪娜·皮卡罗尼 接受zeno词汇：一种定时优化的方法。 （英语） Zbl 0957.68053号 学报信息。 37，第1期，45-81（2000）。 摘要：引入了时间模型来描述实时系统的行为，它们通常只需要生成具有不同时间序列的执行。然而，当一些物理现象由收敛执行表示时，Zeno单词以一种自然的方式出现。此外，如果这样一个无限执行可以被另一个执行所跟随，那么时间可以进步。因此，在第一部分中，我们扩展了时间自动机的定义，允许生成无限收敛执行序列，同时保持系统验证的良好属性：空性仍然是可判定的。在第二部分中，我们为定时系统定义了一个新的精化概念，其中动作被可识别的Zeno（定时）语言所取代。我们研究了这些时间精化的性质，并证明了超限时间语言类是常规语言（Muller或Büchi时间自动机接受的语言）在精化下的闭包。 引用于三文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：实时系统 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}和\textit{C.Picaronny}，《学报》第37期，第1期，第45-81页（2000年；Zbl 0957.68053） 全文： 内政部