# Bisimulation of dynamical systems

Schaft, Arjan van der
(2004)
*Bisimulation of dynamical systems.*
In:
Rajeev Alur
&
George J. Pappas
(Eds.),
Hybrid Systems: Computation and Control.
Lecture Notes in Computer Science, 2993
.
Springer Verlag, Berlin, pp. 555-569.
ISBN 9783540212591

PDF
Restricted to UT campus only 204kB |

Abstract: | A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together, with an algorithm for computing the maximal bisimulation relation is derived using geometric control theory. Bisimulation of dynamical systems is shown to be a concept which unifies the system-theoretic concepts of state space equivalence and state space reduction, and which allows to study equivalence of systems with non-minimal state space dimension. The notion of bisimulation is especially powerful for 'non-deterministic' dynamical systems, and leads in this case to a notion of equivalence which is finer than equality of external behavior. Furthermore, by merging bisimulation of dynamical systems with bisimulation of concurrent processes a notion of structural bisimulation is developed for hybrid systems with continuous input and output variables. |

Item Type: | Book Section |

Copyright: | © 2004 Springer |

Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |

Research Group: | |

Link to this item: | http://purl.utwente.nl/publications/69156 |

Official URL: | http://dx.doi.org/10.1007/b96398 |

Export this item as: | BibTeX EndNote HTML Citation Reference Manager |

Repository Staff Only: item control page

Metis ID: 219892