杰拉尔多·拉弗里尔;乔治·帕帕斯。;Shankar Sastry公司 O-最小混合系统。 （英语） Zbl 1059.68073号 数学。控制信号系统。 13，第1期，1-21页（2000年）. 摘要：混合系统验证算法可判定性问题的一个重要方法是构建一个互模拟。互模拟是有限状态商，其可达性等价于原始无限状态混合系统的可达性。本文引入了o-极小混合系统的概念，即初始化的混合系统，其相关集合和流在o-极小理论中是可定义的。我们证明了o-极小混合系统总是允许有限的互模拟。然后，我们给出了具有复杂连续动力学的混合系统的具体示例，其中存在有限的互模拟。 引用于4评论引用于51文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 03C64号 有序结构的模型理论；o极小性 关键词：混合动力系统;相互模拟;模型理论;o极小性;可决定性。 PDF格式BibTeX公司 XML格式引用 \textit{G.Lafferierre}等人，数学。控制信号系统。13，第1号，1--21（2000；Zbl 1059.68073） 全文： 内政部