Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
158 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks (2402.18677v1)

Published 28 Feb 2024 in cs.RO, cs.AI, cs.SY, and eess.SY

Abstract: Safety is a fundamental requirement of many robotic systems. Control barrier function (CBF)-based approaches have been proposed to guarantee the safety of robotic systems. However, the effectiveness of these approaches highly relies on the choice of CBFs. Inspired by the universal approximation power of neural networks, there is a growing trend toward representing CBFs using neural networks, leading to the notion of neural CBFs (NCBFs). Current NCBFs, however, are trained and deployed in benign environments, making them ineffective for scenarios where robotic systems experience sensor faults and attacks. In this paper, we study safety-critical control synthesis for robotic systems under sensor faults and attacks. Our main contribution is the development and synthesis of a new class of CBFs that we term fault tolerant neural control barrier function (FT-NCBF). We derive the necessary and sufficient conditions for FT-NCBFs to guarantee safety, and develop a data-driven method to learn FT-NCBFs by minimizing a loss function constructed using the derived conditions. Using the learned FT-NCBF, we synthesize a control input and formally prove the safety guarantee provided by our approach. We demonstrate our proposed approach using two case studies: obstacle avoidance problem for an autonomous mobile robot and spacecraft rendezvous problem, with code available via https://github.com/HongchaoZhang-HZ/FTNCBF.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (42)
  1. V. N. Fernandez-Ayala, X. Tan, and D. V. Dimarogonas, “Distributed barrier function-enabled human-in-the-loop control for multi-robot systems,” in 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 7706–7712, IEEE, 2023.
  2. C. Peng, O. Donca, G. Castillo, and A. Hereid, “Safe bipedal path planning via control barrier functions for polynomial shape obstacles estimated using logistic regression,” in 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 3649–3655, IEEE, 2023.
  3. Z. Jian, Z. Yan, X. Lei, Z. Lu, B. Lan, X. Wang, and B. Liang, “Dynamic control barrier function-based model predictive control to safety-critical obstacle-avoidance of mobile robot,” in 2023 IEEE International Conference on Robotics and Automation (ICRA), pp. 3679–3685, IEEE, 2023.
  4. J. C. Knight, “Safety critical systems: Challenges and directions,” in 24th International Conference on Software Engineering, pp. 547–550, 2002.
  5. W. Schwarting, J. Alonso-Mora, and D. Rus, “Planning and decision-making for autonomous vehicles,” Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 187–210, 2018.
  6. A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, “Control barrier functions: Theory and applications,” in 2019 18th European control conference (ECC), pp. 3420–3431, IEEE, 2019.
  7. X. Xu, P. Tabuada, J. W. Grizzle, and A. D. Ames, “Robustness of control barrier functions for safety critical control,” IFAC-PapersOnLine, vol. 48, no. 27, pp. 54–61, 2015.
  8. W. Xiao and C. Belta, “High-order control barrier functions,” IEEE Transactions on Automatic Control, vol. 67, no. 7, pp. 3655–3662, 2022.
  9. X. Tan, W. S. Cortez, and D. V. Dimarogonas, “High-order barrier functions: Robustness, safety, and performance-critical control,” IEEE Transactions on Automatic Control, vol. 67, no. 6, pp. 3021–3028, 2021.
  10. C. Dawson, Z. Qin, S. Gao, and C. Fan, “Safe nonlinear control using robust neural Lyapunov-barrier functions,” in Conference on Robot Learning, pp. 1724–1735, PMLR, 2022.
  11. C. Dawson, S. Gao, and C. Fan, “Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,” IEEE Transactions on Robotics, 2023.
  12. S. Liu, C. Liu, and J. Dolan, “Safe control under input limits with neural control barrier functions,” in Conference on Robot Learning, pp. 1970–1980, PMLR, 2023.
  13. A. Clark, “Verification and synthesis of control barrier functions,” in 2021 60th IEEE Conference on Decision and Control (CDC), pp. 6105–6112, IEEE, 2021.
  14. A. Clark, “A semi-algebraic framework for verification and synthesis of control barrier functions,” arXiv preprint arXiv:2209.00081, 2022.
  15. S. Kang, Y. Chen, H. Yang, and M. Pavone, “Verification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxation,” arXiv preprint arXiv:2303.10081, 2023.
  16. H. Dai and F. Permenter, “Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints,” arXiv preprint arXiv:2210.00629, 2022.
  17. P. Jagtap, S. Soudjani, and M. Zamani, “Formal synthesis of stochastic systems via control barrier certificates,” IEEE Transactions on Automatic Control, vol. 66, no. 7, pp. 3097–3110, 2020.
  18. P. Tabuada and B. Gharesifard, “Universal approximation power of deep residual neural networks through the lens of control,” IEEE Transactions on Automatic Control, 2022.
  19. K. Hornik, M. Stinchcombe, and H. White, “Multilayer feedforward networks are universal approximators,” Neural Networks, vol. 2, no. 5, pp. 359–366, 1989.
  20. B. C. Csáji et al., “Approximation with artificial neural networks,” Faculty of Sciences, Etvs Lornd University, Hungary, vol. 24, no. 48, p. 7, 2001.
  21. M. Srinivasan, A. Dabholkar, S. Coogan, and P. A. Vela, “Synthesis of control barrier functions using a supervised machine learning approach,” in 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 7139–7145, IEEE, 2020.
  22. W. Xiao, R. Hasani, X. Li, and D. Rus, “Barriernet: A safety-guaranteed layer for neural networks,” arXiv preprint arXiv:2111.11277, 2021.
  23. C. Dawson, B. Lowenkamp, D. Goff, and C. Fan, “Learning safe, generalizable perception-based hybrid control with certificates,” IEEE Robotics and Automation Letters, vol. 7, no. 2, pp. 1904–1911, 2022.
  24. A. Robey, H. Hu, L. Lindemann, H. Zhang, D. V. Dimarogonas, S. Tu, and N. Matni, “Learning control barrier functions from expert demonstrations,” in 2020 59th IEEE Conference on Decision and Control (CDC), pp. 3717–3724, IEEE, 2020.
  25. L. Lindemann, H. Hu, A. Robey, H. Zhang, D. Dimarogonas, S. Tu, and N. Matni, “Learning hybrid control barrier functions from data,” in Conference on Robot Learning, pp. 1351–1370, PMLR, 2021.
  26. A. Tampuu, T. Matiisen, M. Semikin, D. Fishman, and N. Muhammad, “A survey of end-to-end driving: Architectures and training methods,” IEEE Transactions on Neural Networks and Learning Systems, vol. 33, no. 4, pp. 1364–1384, 2020.
  27. M. Raissi, P. Perdikaris, and G. E. Karniadakis, “Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations,” Journal of Computational Physics, vol. 378, pp. 686–707, 2019.
  28. J. C. B. Gamboa, “Deep learning for time-series analysis,” arXiv preprint arXiv:1701.01887, 2017.
  29. F. B. Mathiesen, S. C. Calvert, and L. Laurenti, “Safety certification for stochastic systems via neural barrier functions,” IEEE Control Systems Letters, vol. 7, pp. 973–978, 2022.
  30. R. Mazouz, K. Muvvala, A. Ratheesh Babu, L. Laurenti, and M. Lahijanian, “Safety guarantees for neural network dynamic systems via stochastic barrier functions,” Advances in Neural Information Processing Systems, vol. 35, pp. 9672–9686, 2022.
  31. H. Zhao, X. Zeng, T. Chen, and Z. Liu, “Synthesizing barrier certificates using neural networks,” in Proceedings of the 23rd international conference on hybrid systems: computation and control, pp. 1–11, 2020.
  32. Y. Mo and B. Sinopoli, “False data injection attacks in control systems,” in Preprints of the 1st workshop on Secure Control Systems, vol. 1, 2010.
  33. Y. Guan and X. Ge, “Distributed attack detection and secure estimation of networked cyber-physical systems against false data injection attacks and jamming attacks,” IEEE Transactions on Signal and Information Processing over Networks, vol. 4, no. 1, pp. 48–59, 2017.
  34. K. Reif, S. Gunther, E. Yaz, and R. Unbehauen, “Stochastic stability of the continuous-time extended Kalman filter,” IEE Proceedings-Control Theory and Applications, vol. 147, no. 1, pp. 45–52, 2000.
  35. P. K. Panigrahi and S. K. Bisoy, “Localization strategies for autonomous mobile robots: A review,” Journal of King Saud University-Computer and Information Sciences, vol. 34, no. 8, pp. 6019–6039, 2022.
  36. C. Urrea and R. Agramonte, “Kalman filter: historical overview and review of its use in robotics 60 years after its creation,” Journal of Sensors, vol. 2021, pp. 1–21, 2021.
  37. A. Clark, Z. Li, and H. Zhang, “Control barrier functions for safe CPS under sensor faults and attacks,” in 59th IEEE Conference on Decision and Control (CDC), pp. 796–803, IEEE, 2020.
  38. H. Zhang, Z. Li, and A. Clark, “Safe control for nonlinear systems under faults and attacks via control barrier functions,” arXiv preprint arXiv:2207.05146, 2022.
  39. A. J. Barry, A. Majumdar, and R. Tedrake, “Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates,” in 2012 IEEE International Conference on Robotics and Automation, pp. 484–490, IEEE, 2012.
  40. C. Jewison and R. S. Erwin, “A spacecraft benchmark problem for hybrid control and estimation,” in 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 3300–3305, IEEE, 2016.
  41. L. E. Dubins, “On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,” American Journal of Mathematics, vol. 79, no. 3, pp. 497–516, 1957.
  42. A. Dosovitskiy, G. Ros, F. Codevilla, A. Lopez, and V. Koltun, “CARLA: An open urban driving simulator,” in Conference on robot learning, pp. 1–16, PMLR, 2017.
Citations (1)
View on Semantic Scholar

Summary

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

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