Skip to main content
Article
Bisimulation relations for dynamical, control, and hybrid systems
Departmental Papers (ESE)
  • Esfandiar Haghverdi, Indiana University
  • Paulo Tabuada, University of Notre Dame
  • George J Pappas, University of Pennsylvania
Document Type
Journal Article
Date of this Version
9-7-2005
Comments
Postprint version. Published in Theoretical Computer Science, Volume 342, Issues 2-3, September 7, 2005, pages 229-261.
Publisher URL: http://dx.doi.org/10.1016/j.tcs.2005.03.045
Abstract

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 that transcends discrete and continuous systems. Furthermore, this enables the development of a novel and natural notion of bisimulation for hybrid systems, which is the final goal of this paper. This completes our program of unifying bisimulation notions for discrete, continuous and hybrid systems.

Keywords
  • Bisimulation,
  • open maps,
  • dynamical systems,
  • control systems,
  • hybrid systems
Citation Information
Esfandiar Haghverdi, Paulo Tabuada and George J Pappas. "Bisimulation relations for dynamical, control, and hybrid systems" (2005)
Available at: http://works.bepress.com/george_pappas/181/