Controller synthesis for bisimulation equivalence
Optimization and Control
2007-11-22 v2
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.
Keywords
Cite
@article{arxiv.0706.0929,
title = {Controller synthesis for bisimulation equivalence},
author = {Paulo Tabuada},
journal= {arXiv preprint arXiv:0706.0929},
year = {2007}
}