DeepReach: A Deep Learning Approach to High-Dimensional Reachability
DeepReach: A Deep Learning Approach to High-Dimensional Reachability
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, …