7 papers
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…
Value Functions for Temporal Logic: Optimal Policies and Safety Filters
Oswin So, William Sharpless, Sylvia Herbert +1
While Bellman equations for basic reach, avoid, and reach-avoid problems are well studied, the relationship between value optimality and policy optimality becomes subtle in the und…
Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
Zheng Gong, Sylvia Herbert
Control Lyapunov Functions (CLFs) have been extensively used in the control community. A well-known drawback is the absence of a systematic way to construct CLFs for general nonlin…
State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
Will Sharpless, Yat Tin Chow, Sylvia Herbert
Hamilton-Jacobi Reachability (HJR) is a popular method for analyzing the liveness and safety of a dynamical system with bounded control and disturbance. The corresponding HJ value…
Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
Will Sharpless, Yat Tin Chow, Sylvia Herbert
Hamilton-Jacobi reachability (HJR) provides a value function that encodes the set of states from which a system with bounded control inputs can reach or avoid a target despite any…
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…