构建（双）相似的有限状态抽象：使用异步 $l$-完全近似方法
摘要：构造了一个可能是具有连续时间和无限状态的模型的有限状态抽象。首先，添加了一个有限的外部信号空间，产生所谓的$Phi$-动力学系统。其次，构造了外部动力学的最强异步$l$-完备逼近。作为我们的主要结果，我们证明了：（i）抽象模拟着原始系统，（ii）当且仅当原始系统是$l$-完备的且其状态空间满足附加属性时，原始系统及其抽象之间存在双向仿真关系。
作者：Anne-Kathrin Schmuck and J"org Raisch
论文ID：1402.3506
分类：Systems and Control
分类简称：cs.SY
提交时间：2014-03-17