1 citations · 1 across the 10 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
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…
math.OC2025
Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
Boyang Li, Zheng Gong, Sylvia Herbert
In this article, we consider the infinite-horizon reach-avoid (RA) and stabilize-avoid (SA) zero-sum game problems for general nonlinear continuous-time systems, where the goal is…
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…