Bisimilar Finite Abstractions of Interconnected Systems
Bisimilar Finite Abstractions of Interconnected Systems
复制标题
DOI：
10.1007/978-3-540-78929-1_37
复制
发表时间：
2008-04
期刊：
影响因子：
--
通讯作者：
Y. Tazaki;J. Imura
中科院分区：
文献类型：
--
作者：
Y. Tazaki;J. Imura
本文讨论了由较小子系统互连而成的系统的近似双相似有限抽象的设计问题。首先，它表明，普通的概念近似互模拟不保持具体模型的互连结构。其次，提出了一种与互连兼容的近似互模拟的新定义。基于近似互模拟的定义，讨论了线性子系统互连兼容的有限抽象的设计问题。
This paper addresses the design of approximately bisimilar finite abstractions of systems that are composed of the interconnection of smaller subsystems. First, it is shown that the ordinary notion of approximate bisimulation does not preserve the interconnection structure of the concrete model. Next, a new definition of approximate bisimulation that is compatible with interconnection is proposed. Based on this definition of approximate bisimulation, the design of interconnection-compatible finite abstractions of linear subsystems is discussed.