Equivalence of dynamical systems by bisimulation

Share/Save/Bookmark

Schaft, A.J. (Arjan) van der (2004) Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control, 49 (12). pp. 2160-2172. ISSN 0018-9286

open access
[img]
Preview
PDF
361kB
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

 

Repository Staff Only: item control page

Metis ID: 219887