托马斯·施陶纳 混合自动机的离散时间精化。 （英语） Zbl 1044.93522号 Tomlin，Claire J.（编辑）等人，《混合系统：计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。莱克特。注释计算。科学。2289, 407-420 (2002). 摘要：混合自动机等符号在混合系统的开发过程中非常有用，可以在早期设计步骤中记录需求。当涉及到实现时，部分需求将以离散时间的方式在软件中实现。因此，我们研究了确保在离散时间运行的自动机用其底层连续时间模型细化混合自动机的充分条件。我们的精化概念提供了为混合自动机建立的重要属性，也支持其精化。此外，我们概述了如何从混合自动机导出离散时间精化的方法。有关整个系列，请参见[Zbl 0989.00055号]. 引用于6文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{T.Stauner}，莱克特。注释计算。科学。2289407-420（2002年；兹比尔1044.93522） 全文： 链接