1 citations · 1 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
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…
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
Hyun Joe Jeong, Zheng Gong, Somil Bansal +1
Fast and Safe Tracking (FaSTrack) is a modular framework that provides safety guarantees while planning and executing trajectories in real time via value functions of Hamilton-Jaco…
Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
Zheng Gong, Boyang Li, Sylvia Herbert
Real-time navigation in a priori unknown environment remains a challenging task, especially when an unexpected (unmodeled) disturbance occurs. In this paper, we propose the framewo…