3 papers
eess.SY2026
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…
eess.SY2026
A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
Jason J. Choi, Donggun Lee, Boyang Li +4
Control invariant sets are crucial for various methods that aim to design safe control policies for systems whose state constraints must be satisfied over an indefinite time horizo…
eess.SY2025
Koopman-Hopf Hamilton-Jacobi Reachability and Control
Will Sharpless, Nikhil Shinde, Matthew Kim +2
The Hopf formula for Hamilton-Jacobi reachability (HJR) analysis has been proposed to solve high-dimensional differential games, producing the set of initial states and correspondi…