Controller synthesis for bisimulation equivalence

Details Controller synthesis for bisimulation equivalence Controller synthesis for bisimulation equivalence

2007-06-06

arxiv.org/abs/0706.0929v2

Mathematics

Optimization and Control

Added references, comments and examples

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Controller synthesis for bisimulation equivalence does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Controller synthesis for bisimulation equivalence, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Controller synthesis for bisimulation equivalence will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-441777