Article thumbnail
Location of Repository

Achievable Bisimilar Behaviour of Abstract State Systems

By Maria D. Di Benedetto, Arjan J. van der Schaft and Giordano Pola


Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.

Year: 2005
DOI identifier: 10.1109/cdc.2005.1582376
OAI identifier:

Suggested articles


  1. (2003). Achievable behavior of generalsystems, doi
  2. (2005). Achievable Bisimilar Behaviour of Abstract State Systems, doi
  3. (1994). Asymptotic Model Matching for Nonlinear Systems, doi
  4. (2004). Bisimulation Theory for Switching Linear Systems, doi
  5. (1998). Bisimulation, the supervisory control problem and strong model matching for finite state machines, Discrete Event Syst.: Theory Appl.
  6. (2001). Compositionality issues in discrete, continuous, and hybrid systems, doi
  7. (1989). Comunication and Concurrency,Prentice
  8. (1981). Concurrency and automata on infinite sequences. doi
  9. (2004). Equivalence of dynamical systems by bisimulation, doi
  10. (2004). Equivalence of hybrid dynamical systems, doi
  11. (1994). First–Order Representations of Linear Systems, doi
  12. (1997). Introduction to Mathematical Systems Theory: A Behavioral Approach, doi
  13. (1998). Mathematical Control Theory: Deterministic Finite Dimensional Systems. doi
  14. (2001). Model Matching for Finite–States Machines, doi
  15. (2002). Some applications of an Implicit Duality Theorem to connections of structures of special types including Dirac and reciprocal structures, doi
  16. (1987). Supervisory Control of a Class of Discrete–Event Processes doi
  17. (2002). Synthesis of Dissipative Systems Using Quadratic Differential Forms, Part I, doi
  18. (1998). Synthesizing Controllers for Nonlinear Hybrid Systems, doi
  19. (1979). Teoria dei Sistemi,
  20. (2005). The canonical controllers and regular interconnection, doi
  21. (1989). The controlof discrete eventsystems,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.