Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees

James Ferlez1, Walter Rance Cleaveland2, Steven Marcus3

  • 1University of Maryland, College Park
  • 2University of Maryland
  • 3Univ. of Maryland



Regular Session


10:00 - 12:00 | Mon 17 Dec | Splash 13-14 | MoA21

Hybrid Systems I

Full Text


In this paper, we describe a method for representing a behavioral dynamical system as a Generalized Synchronization Tree (GST). The method of representation we propose is analogous to the ``unrolling'' of a Labeled Transition System (LTS) into a bisimilar Synchronization Tree (ST). Thus, for behavioral systems endowed with state maps, we are able to establish conditions under which bisimilar behavioral systems result in bisimilar GST representations and conversely. Preservation of bisimulation equivalence is critical to future study of composition operators for behavioral systems and GSTs. Additionally, we define a composition operator for GSTs constructed from behavioral systems, and prove a congruence result for strong bisimulation.

Additional Information

No information added


No videos found