Achievable bisimilar behaviour of abstract state systems

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

Some applications of an Implicit Duality Theorem to connections of structures of special types including Dirac and reciprocal structures

In this paper, we present some applications of an Implicit Duality Theorem which was originally a folklore result on Ideal Transformers in Electrical Network Theory. We show, among other things, that results on reciprocal networks (due to Tellegen (Proc. Inst. Radio Engrs. 14 (1953) 265), and Dirac Structures (due to van der Schaft (in: J.W. Polderman, H.L. Trentelman (Eds.), From Intelligent Control to Behavioural Systems. University of Groningen Press) follow as a consequence. These results have the form 'interconnection of structures of a particular kind yields a structure of the same kind'. Also discussed is the question 'given smaller structures of a given kind and a desired structure of the same kind, can the former be interconnected to yield the latter?'. We also indicate the range of possible generalizations of this result. (C) 2002