Controller synthesis for bisimulation equivalence

Simple item page
dc.creatorTabuada, Paulo
dc.date2007-06-06
dc.date2007-11-22
dc.date.accessioned2026-07-07T08:44:08Z
dc.date.available2026-07-07T08:44:08Z
dc.descriptionThe 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.
dc.descriptionAdded references, comments and examples
dc.identifierhttps://arxiv.org/abs/0706.0929
dc.identifierhttp://arxiv.org/abs/0706.0929
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/142552
dc.subjectOptimization and Control
dc.subject93A05; 93A10; 93A30
dc.titleController synthesis for bisimulation equivalence
dc.typetext

Files

Collections

arXiv