160 citations · 336 across the 21 of their papers we have counts for
11 papers · 1 filter
Object-centric Representations for Interactive Online Learning with Non-Parametric Methods
Nikhil U. Shinde, Jacob Johnson, Sylvia Herbert +1
Large offline learning-based models have enabled robots to successfully interact with objects for a wide variety of tasks. However, these models rely on fairly consistent structure…
Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance
Hongzhan Yu, Chiaki Hirayama, Chenning Yu +2
There are two major challenges for scaling up robot navigation around dynamic obstacles: the complex interaction dynamics of the obstacles can be hard to model analytically, and th…
Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
Sander Tonkens, Alex Toofanian, Zhizhen Qin +2
Safe value functions, such as control barrier functions, characterize a safe set and synthesize a safety filter, overriding unsafe actions, for a dynamic system. While function app…
Refining Control Barrier Functions through Hamilton-Jacobi Reachability
Sander Tonkens, Sylvia Herbert
Safety filters based on Control Barrier Functions (CBFs) have emerged as a practical tool for the safety-critical control of autonomous systems. These approaches encode safety thro…
Safe Autonomous Racing via Approximate Reachability on Ego-vision
Bingqing Chen, Jonathan Francis, Jean Oh +2
Racing demands each vehicle to drive at its physical limits, when any safety infraction could lead to catastrophic failure. In this work, we study the problem of safe reinforcement…
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…
FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning
Sylvia L. Herbert, Mo Chen, SooJean Han +3
Fast and safe navigation of dynamical systems through a priori unknown cluttered environments is vital to many applications of autonomous systems. However, trajectory planning for…