Controller synthesis for bisimulation equivalence
Abstract
The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2007
- DOI:
- 10.48550/arXiv.0706.0929
- arXiv:
- arXiv:0706.0929
- Bibcode:
- 2007arXiv0706.0929T
- Keywords:
-
- Mathematics - Optimization and Control;
- 93A05;
- 93A10;
- 93A30
- E-Print:
- Added references, comments and examples