Title | : | Bisimulation equivalence of differential-algebraic systems |
Author | : |
Dr. Noorma Yulia Megawati, S.Si., M.Sc. (1) Arjan van der Schaft (2) |
Date | : | 0 2018 |
Keyword | : | Bisimulation,Differential-algebraic system,consistent subset,regular pencil, abstraction Bisimulation,Differential-algebraic system,consistent subset,regular pencil, abstraction |
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. |
Group of Knowledge | : | Matematika |
Original Language | : | English |
Level | : | Internasional |
Status | : |
Published
|
No | Title | Action |
---|