Bisimulation equivalence of differential-algebraic systems
Bisimulation equivalence of differential-algebraic systems
复制标题
微分代数系统的互模拟等价
DOI：
10.1080/00207179.2016.1266519
复制
发表时间：
2018
影响因子：
2.1
通讯作者：
A. Schaft
中科院分区：
文献类型：
--
作者：
N. Megawati;A. Schaft
本文将线性输入-状态-输出系统互模拟关系的概念推广到一般的线性微分代数系统。利用几何控制理论推导出互模拟关系的线性代数刻画，并给出了计算两个线性DAE系统之间最大互模拟关系的算法。一般定义是专门针对矩阵束sE-A是正则的情况。此外，通过开发互模拟的单侧版本，获得了模拟和抽象的特征。
ABSTRACT In this paper, the notion of bisimulation relation for linear input-state-output systems is extended to general linear differential-algebraic (DAE) systems. Geometric control theory is used to derive a linear-algebraic characterisation of bisimulation relations, and an algorithm for computing the maximal bisimulation relation between two linear DAE systems. The general definition is specialised to the case where the matrix pencil sE − A is regular. Furthermore, by developing a one-sided version of bisimulation, characterisations of simulation and abstraction are obtained.