Achievable Bisimilar Behaviour of Abstract State Systems
Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto · 2006
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.