Achievable bisimilar behaviour of abstract state systems


Share/Save/Bookmark

Pola, Giordano and Schaft van der, Arjan J. 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.

[img]
Preview
PDF
211Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/69102
Official URL:http://dx.doi.org/10.1109/CDC.2005.1582376
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 226726