Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions

Ihab Tabbara, Eliya Badr, Hussein Sibai

Hamilton-Jacobi (HJ) reachability analysis is a fundamental tool for the safety verification and control synthesis of nonlinear control systems. Classical HJ reachability analysis…