arxiveess.SY2026-07-19
An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis
Dylan Hirsch, William McEneaney, Jaime Fisac, Claire Tomlin, Sylvia Herbert
Hamilton-Jacobi Reachability (HJR) is an important framework for controlling safety-critical systems despite uncertainty. Its theoretical underpinnings are rooted in Hamilton-Jacobi Partial Differential Equations, which provide the value function used for controller synthesis. Th…