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