Achievable bisimilar behaviour of abstract state systems

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.

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:	Mathematical Systems and Control Theory (MSCT)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 226726