Title :
Achievable Bisimilar Behaviour of Abstract State Systems
Author :
Pola, Giordano ; Van Der Schaft, Arjan J. ; Di Benedetto, Maria D.
Author_Institution :
Department of Electrical Engineering, Center of Excellence DEWS, University of L´´Aquila, Poggio di Roio, 67040 L´´Aquila, Italy pola@ing.univaq.it
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.
Keywords :
Computer science; Context modeling; Contracts; Control system synthesis; Control systems; Control theory; Discrete event systems; Linear systems; Mathematics; Set theory;
Conference_Titel :
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN :
0-7803-9567-0
DOI :
10.1109/CDC.2005.1582376