2 papers
cs.RO2025
Reach-Avoid-Stabilize Using Admissible Control Sets
Zheng Gong, Boyang Li, Sylvia Herbert
Hamilton-Jacobi Reachability (HJR) analysis has been successfully used in many robotics and control tasks, and is especially effective in computing reach-avoid sets and control law…
eess.SY2025
Approximate Hamilton-Jacobi Reachability Analysis for a Class of Two-Timescale Systems, with Application to Biological Models
Dylan Hirsch, Sylvia Herbert
Hamilton-Jacobi reachability (HJR) is an exciting framework used for control of safety-critical systems with nonlinear and possibly uncertain dynamics. However, HJR suffers from th…