23 citations · 74 across the 38 of their papers we have counts for
3 papers · 1 filter
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…
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…