Verification and control of hybrid systems using reachability analysis with machine learning
Anil J. Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy Gillula, Patrick Bouffard, Claire Jennifer Tomlin · 2012
This talk will present reachability analysis as a tool for model checking and controller synthesis for dynamic systems. We will consider the problem of guaranteeing reachability to a given desired subset of the state space while satisfying a safety property defined in terms of state constraints. We allow for nonlinear and hybrid dynamics, and possibly nonconvex state constraints. We use these results to synthesize controllers that ensure safety and reachability properties under bounded model disturbances that vary continuously.