2015/12/15 by Noorma Yulia Megawati, Arjan van der Schaft, Megawati, Noorma Yulia +1 · 1 citation
Engineering · Computer Science · #Stability and Control of Uncertain Systems #Fault Detection and Control Systems #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.1512.04689
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 characterization of bisimulation relations, and an algorithm for computing the maximal bisimulation relation between two linear DAE systems. The general definition is specialized to the case where the matrix pencil sE - A is regular. Furthermore, by developing a one-sided version of bisimulation, characterizations of simulation and abstraction are obtained.