Achievable bisimilar behaviour of abstract state systems


Pola, Giordano and Schaft, Arjan J. van der and Di Benedetto, Maria D. (2005) Achievable bisimilar behaviour of abstract state systems. In: 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05), 12-15 December 2005, Seville, Spain (pp. pp. 1535-1540).

open access
Abstract: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.
Item Type:Conference or Workshop Item
Copyright:© 2005 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 226726