An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis

Dylan Hirsch, William McEneaney, Jaime Fisac +2

Hamilton-Jacobi Reachability (HJR) is an important framework for controlling safety-critical systems despite uncertainty. Its theoretical underpinnings are rooted in Hamilton-Jacob…