DocumentCode :
3109899
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
fYear :
2005
fDate :
12-15 Dec. 2005
Firstpage :
1535
Lastpage :
1540
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN :
0-7803-9567-0
Type :
conf
DOI :
10.1109/CDC.2005.1582376
Filename :
1582376
Link To Document :
بازگشت