Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
126 tokens/sec
GPT-4o
47 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online (2209.14976v3)

Published 29 Sep 2022 in cs.RO, cs.SY, and eess.SY

Abstract: Hamilton-Jacobi (HJ) reachability analysis is a powerful tool for analyzing the safety of autonomous systems. However, the provided safety assurances are often predicated on the assumption that once deployed, the system or its environment does not evolve. Online, however, an autonomous system might experience changes in system dynamics, control authority, external disturbances, and/or the surrounding environment, requiring updated safety assurances. Rather than restarting the safety analysis from scratch, which can be time-consuming and often intractable to perform online, we propose to compute \textit{parameter-conditioned} reachable sets. Assuming expected system and environment changes can be parameterized, we treat these parameters as virtual states in the system and leverage recent advances in high-dimensional reachability analysis to solve the corresponding reachability problem offline. This results in a family of reachable sets that is parameterized by the environment and system factors. Online, as these factors change, the system can simply query the corresponding safety function from this family to ensure system safety, enabling a real-time update of the safety assurances. Through various simulation studies, we demonstrate the capability of our approach in maintaining system safety despite the system and environment evolution.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (25)
  1. Y. Wang, Z. Liu, Z. Zuo, Z. Li, L. Wang, and X. Luo, “Trajectory planning and safety assessment of autonomous vehicles based on motion prediction and model predictive control,” IEEE Transactions on Vehicular Technology, vol. 68, no. 9, pp. 8546–8556, 2019.
  2. T. Koller, F. Berkenkamp, M. Turchetta, and A. Krause, “Learning-based model predictive control for safe exploration,” in 2018 IEEE Conference on Decision and Control (CDC), 2018, pp. 6059–6066.
  3. K. P. Wabersich and M. N. Zeilinger, “A predictive safety filter for learning-based control of constrained nonlinear dynamical systems,” Automatica, vol. 129, 2021.
  4. M. Z. Romdlony and B. Jayawardhana, “Stabilization with guaranteed safety using control lyapunov–barrier function,” Automatica, vol. 66, pp. 39–47, 2016. [Online]. Available: https://www.sciencedirect.com/science/article/pii/S0005109815005439
  5. Y. Kumar, S. B. Roy, and P. B. Sujit, “Barrier lyapunov function based trajectory tracking controller for autonomous vehicles with guaranteed safety bounds,” in 2020 International Conference on Unmanned Aircraft Systems (ICUAS), 2020, pp. 722–728.
  6. A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control, vol. 62, no. 8, pp. 3861–3876, 2016.
  7. A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, “Control barrier functions: Theory and applications,” in IEEE European control conference (ECC), 2019.
  8. H. Yazarel, S. Prajna, and G. Pappas, “S.O.S. for safety,” in 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), vol. 1, 2004, pp. 461–466 Vol.1.
  9. S. Prajna and A. Jadbabaie, “Safety verification of hybrid systems using barrier certificates,” in International Workshop on Hybrid Systems: Computation and Control, 2004.
  10. S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, “Hamilton-Jacobi Reachability: A brief overview and recent advances,” in IEEE Conference on Decision and Control (CDC), 2017.
  11. S. L. Herbert, S. Bansal, S. Ghosh, and C. J. Tomlin, “Reachability-based safety guarantees using efficient initializations,” in 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, pp. 4810–4816.
  12. K. Leung, E. Schmerling, M. Zhang, M. Chen, J. Talbot, J. C. Gerdes, and M. Pavone, “On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions,” The International Journal of Robotics Research, vol. 39, no. 10-11, pp. 1326–1345, 2020.
  13. S. Bansal, A. Bajcsy, E. Ratner, A. D. Dragan, and C. J. Tomlin, “A hamilton-jacobi reachability-based framework for predicting and analyzing human motion for safe planning,” in 2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, pp. 7149–7155.
  14. A. Majumdar and R. Tedrake, “Funnel libraries for real-time robust feedback motion planning,” The International Journal of Robotics Research, vol. 36, no. 8, pp. 947–982, 2017.
  15. S. L. Herbert, M. Chen, S. Han, S. Bansal, J. F. Fisac, and C. J. Tomlin, “Fastrack: A modular framework for fast and guaranteed safe motion planning,” in IEEE Conference on Decision and Control (CDC), 2017.
  16. S. Singh, A. Majumdar, J.-J. Slotine, and M. Pavone, “Robust online motion planning via contraction theory and convex optimization,” in IEEE International Conference on Robotics and Automation (ICRA), 2017.
  17. D. Q. Mayne, E. C. Kerrigan, E. Van Wyk, and P. Falugi, “Tube-based robust nonlinear model predictive control,” International journal of robust and nonlinear control, vol. 21, no. 11, pp. 1341–1353, 2011.
  18. S. Koenig and M. Likhachev, “Fast replanning for navigation in unknown terrain,” IEEE Transactions on Robotics, vol. 21, no. 3, pp. 354–363, 2005.
  19. I. Mitchell, A. Bayen, and C. J. Tomlin, “A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games,” IEEE Transactions on Automatic Control (TAC), vol. 50, no. 7, pp. 947–957, 2005.
  20. J. Lygeros, “On reachability and minimum cost optimal control,” Automatica, vol. 40, no. 6, pp. 917–927, 2004.
  21. H. El-Kebir, A. Pirosmanishvili, and M. Ornik, “Online guaranteed reachable set approximation for systems with changed dynamics and control authority,” arXiv preprint arXiv:2203.10220, 2022.
  22. A. Bajcsy, S. Bansal, E. Bronstein, V. Tolani, and C. J. Tomlin, “An efficient reachability-based framework for provably safe autonomous navigation in unknown environments,” in IEEE Conference on Decision and Control (CDC), 2019.
  23. S. Bansal and C. J. Tomlin, “DeepReach: A deep learning approach to high-dimensional reachability,” in 2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, pp. 1817–1824.
  24. D. Fridovich-Keil, A. Bajcsy, J. F. Fisac, S. L. Herbert, S. Wang, A. D. Dragan, and C. J. Tomlin, “Confidence-aware motion prediction for real-time collision avoidance1,” The International Journal of Robotics Research, vol. 39, no. 2-3, pp. 250–265, 2020.
  25. A. Lin and S. Bansal, “Generating formal safety assurances for high-dimensional reachability,” 2022. [Online]. Available: https://arxiv.org/abs/2209.12336
Citations (10)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now