Controller Synthesis for Safety and Reachability via Approximate Bisimulation

Details Controller Synthesis for Safety and Reachability via Approximate Bisimulation Controller Synthesis for Safety and Reachability via Approximate Bisimulation

2010-10-22

arxiv.org/abs/1010.4672v2

Computer Science

Systems and Control

Scientific paper

In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved "correct by design". We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use the presented techniques combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.

Affiliated with

Also associated with

No associations

Rating

Controller Synthesis for Safety and Reachability via Approximate Bisimulation 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 Safety and Reachability via Approximate Bisimulation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Controller Synthesis for Safety and Reachability via Approximate Bisimulation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-659745