DeepReach: A Deep Learning Approach to High-Dimensional Reachability
Somil Bansal Claire J. Tomlin Somil Bansal Claire J. Tomlin
Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for guaranteeing performance and safety properties of dynamical control systems. Its advantages include compatibility with general nonlinear system dynamics, formal treatment of bounded disturbances, and the ability to deal with state and input constraints. However, it involves solving a PDE, whose computational ...