Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
CAV, pp. 347-366, 2018.
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
Full Text (Upload PDF)
PPT (Upload PPT)