4 papers
Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
Kaustav Chakraborty, Zeyuan Feng, Sushant Veer +6
The advent of end-to-end autonomy stacks - often lacking interpretable intermediate modules - has placed an increased burden on ensuring that the final output, i.e., the motion pla…
Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
Kaustav Chakraborty, Aryaman Gupta, Somil Bansal
Autonomous systems, such as self-driving cars and drones, have made significant strides in recent years by leveraging visual inputs and machine learning for decision-making and con…
System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles
Kaustav Chakraborty, Zeyuan Feng, Sushant Veer +4
The safety-critical nature of autonomous vehicle (AV) operation necessitates development of task-relevant algorithms that can reason about safety at the system level and not just a…
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
Javier Borquez, Kaustav Chakraborty, Hao Wang +1
Hamilton-Jacobi (HJ) reachability-based filtering provides a powerful framework to co-optimize performance and safety (or liveness) for autonomous systems. Under this filtering sch…