懒惰，克里斯托弗;拉斐尔·维斯涅夫斯基 用时间自动机完成动态系统的抽象。 （英语） Zbl 1271.68146号 非线性分析。，混合系统。 7，第1期，80-100（2013）. 摘要：本文讨论了用时间自动机生成多项式动力系统的完全抽象。对于所提出的抽象，状态空间通过子级函数集划分为单元。我们确定了这些函数及其沿向量场的方向导数之间的关系，这允许生成完整的抽象。为了计算定义算法中状态空间细分的函数，我们提出了一个平方和优化问题。该优化问题在可容许的细分函数子集中找到最佳的细分函数，以逼近动力系统的能力。 引用于5文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 关键词：抽象;验证;可达性;时间自动机 软件：拉马斯 PDF格式BibTeX公司 XML格式引用 \textit{C.Sloth}和\textit{R.Wisniewski}，非线性分析。，混合系统。7，第1号，80--100（2013；Zbl 1271.68146） 全文： 内政部 链接