Bisimulation Relations for Dynamical and Control Systems

In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled transition systems. It is however, more subtle than its namesake in concurrency theory, mainly due to the fact that here, one deals with relations on manifolds. We further show that the bisimulation relations for dynamical and control systems defined in this e captured by the notion of abstract bisimulation of Joyal, Nielsen and Winskel (JNW). This result not only shows that our equivalence notion is on the ack, but also confirms that the abstract bisimulation of JNW is general enough to capture equivalence notions in the domain of continuous systems. We believe that the unification of the bisimulation relation for labeled transition systems mical systems under the umbrella of abstract bisimulation, as achieved in this work, is a first step towards a unifi...

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
• Keywords: Abstract Bisimulation, Bisimulation, ENTCS 2002, Systems