Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

CAV, pp. 347-366, 2018.

Cited by: 6|Bibtex|Views15|Links
EI

Abstract:

We address the problem of synthesizing provably correct controllers for linear systems with reach-avoid specifications. Our solution uses a combination of an open-loop controller and a tracking controller, thereby reducing the problem to smaller tractable problems. We show that, once a tracking controller is fixed, the reachable states fr...More

Code:

Data:

Your rating :
0

 

Tags
Comments