80 citations · 80 across the 2 of their papers we have counts for
6 papers
Robust Control Barrier-Value Functions for Safety-Critical Control
Jason J. Choi, Donggun Lee, Koushil Sreenath +2
This paper works towards unifying two popular approaches in the safety control community: Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs). HJ Reachability ha…
FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
Mo Chen, Sylvia L. Herbert, Haimin Hu +5
Real-time, guaranteed safe trajectory planning is vital for navigation in unknown environments. However, real-time navigation algorithms typically sacrifice robustness for computat…
Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Sylvia Herbert, Jason J. Choi, Suvansh Sanjeev +3
Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaran…
A Scalable Framework For Real-Time Multi-Robot, Multi-Human Collision Avoidance
Andrea Bajcsy, Sylvia L. Herbert, David Fridovich-Keil +4
Robust motion planning is a well-studied problem in the robotics literature, yet current algorithms struggle to operate scalably and safely in the presence of other moving agents,…
Probabilistically Safe Robot Planning with Confidence-Based Human Predictions
Jaime F. Fisac, Andrea Bajcsy, Sylvia L. Herbert +4
In order to safely operate around humans, robots can employ predictive models of human motion. Unfortunately, these models cannot capture the full complexity of human behavior and…
A Classification-based Approach for Approximate Reachability
Vicenc Rubies-Royo, David Fridovich-Keil, Sylvia Herbert +1
Hamilton-Jacobi (HJ) reachability analysis has been developed over the past decades into a widely-applicable tool for determining goal satisfaction and safety verification in nonli…