Bisimulation relations for dynamical, control, and hybrid systems

  title={Bisimulation relations for dynamical, control, and hybrid systems},
  author={Esfandiar Haghverdi and Paulo Tabuada and George J. Pappas},
  journal={Theor. Comput. Sci.},
The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous, and subsequently, hybrid systems. Inspired by the categorical framework of Joyal, Nielsen and Winskel, we develop novel notions of bisimulation equivalence for dynamical systems as well as control systems. We prove that this notion can be captured by the abstract notion of bisimulation as developed by Joyal, Nielsen and Winskel. This is the first unified notion of system equivalence… CONTINUE READING
Highly Cited
This paper has 127 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 81 extracted citations

On the Relationship Between Bisimulation and Combinatorial Filter Reduction

2018 IEEE International Conference on Robotics and Automation (ICRA) • 2018
View 1 Excerpt

Metamathematics for Systems Design

New Generation Computing • 2017
View 1 Excerpt

Smooth coalgebra: testing vector analysis

Mathematical Structures in Computer Science • 2017
View 1 Excerpt

128 Citations

Citations per Year
Semantic Scholar estimates that this publication has 128 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 35 references

Bisimulation from Open Maps

View 10 Excerpts
Highly Influenced

Natural Operations in Differential Geometry

I. Kolar, P. W. Michor, J. Slovak
Springer-Verlag • 1993
View 6 Excerpts
Highly Influenced

Communication and concurrency

PHI Series in computer science • 1989
View 7 Excerpts
Highly Influenced

Bisimilar control affine systems

Systems & Control Letters • 2004
View 1 Excerpt

Nonlinear Control Systems: Analysis and Design

IEEE Transactions on Automatic Control • 2004

, Gerardo Lafferriere , and Shankar Sastry . Hierarchically consistent control systems

George J. Pappas
Automatica • 2003

Bisimilar linear systems

Automatica • 2003
View 1 Excerpt

Similar Papers

Loading similar papers…