Back to University of Twente portal
Equivalence of dynamical systems by bisimulation
Schaft van der, A.J. (Arjan) (2004) Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control, 49 (12). pp. 2160-2172. ISSN 0018-9286
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 352Kb |
| Abstract: | A general notion of bisimulation is defined for linear input-state-output systems, using analogies with the theory of concurrent processes. A characterization of bisimulation and an algorithm for computing the maximal bisimulation relation is derived using geometric control theory. Bisimulation is shown to be a notion which unifies the concepts of state-space equivalence and state-space reduction, and which allows to study equivalence of systems with nonminimal state-space dimension. The notion of bisimulation is especially powerful for "nondeterministic" dynamical systems, and leads in this case to a notion of equivalence which is finer than equality of external behavior. For abstractions of systems it is shown how the results specialize to previously obtained results by other authors. Extensions of the main results to the nonlinear case are provided. |
| Item Type: | Article |
| Copyright: | ©2004 IEEE |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/48432 |
| Official URL: | http://dx.doi.org/10.1109/TAC.2004.838497 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 219887