Showing 2024 · eess.SYShow all
2 papers · 2 filters
eess.SY2024
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…
eess.SY2024
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…