Non-smooth Control Barrier Functions for Stochastic Dynamical Systems (2309.06494v2)
Abstract: Uncertainties arising in various control systems, such as robots that are subject to unknown disturbances or environmental variations, pose significant challenges for ensuring system safety, such as collision avoidance. At the same time, safety specifications are getting more and more complex, e.g., by composing multiple safety objectives through Boolean operators resulting in non-smooth descriptions of safe sets. Control Barrier Functions (CBFs) have emerged as a control technique to provably guarantee system safety. In most settings, they rely on an assumption of having deterministic dynamics and smooth safe sets. This paper relaxes these two assumptions by extending CBFs to encompass control systems with stochastic dynamics and safe sets defined by non-smooth functions. By explicitly considering the stochastic nature of system dynamics and accommodating complex safety specifications, our method enables the design of safe control strategies in uncertain and complex systems. We provide formal guarantees on the safety of the system by leveraging the theoretical foundations of stochastic CBFs and non-smooth safe sets. Numerical simulations demonstrate the effectiveness of the approach in various scenarios.
- 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). IEEE, 2019, pp. 3420–3431.
- R. Grandia, A. J. Taylor, A. D. Ames, and M. Hutter, “Multi-layered safety for legged robots via control barrier functions and model predictive control,” in International Conference on Robotics and Automation (ICRA). IEEE, 2021, pp. 8352–8358.
- B. Xu and K. Sreenath, “Safe teleoperation of dynamic uavs through control barrier functions,” in International Conference on Robotics and Automation (ICRA). IEEE, 2018, pp. 7848–7855.
- W. S. Cortez, D. Oetomo, C. Manzie, and P. Choong, “Control barrier functions for mechanical systems: Theory and application to robotic grasping,” IEEE Transactions on Control Systems Technology, vol. 29, no. 2, pp. 530–545, 2019.
- A. Clark, “Control barrier functions for complete and incomplete information stochastic systems,” in American Control Conference (ACC). IEEE, 2019, pp. 2928–2935.
- P. Glotfelter, J. Cortés, and M. Egerstedt, “Nonsmooth barrier functions with applications to multi-robot systems,” IEEE control systems letters, vol. 1, no. 2, pp. 310–315, 2017.
- P. Ong, B. Capelli, L. Sabattini, and J. Cortés, “Network connectivity maintenance via nonsmooth control barrier functions,” in Conference on Decision and Control (CDC). IEEE, 2021, pp. 4786–4791.
- R. Funada, M. Santos, T. Gencho, J. Yamauchi, M. Fujita, and M. Egerstedt, “Visual coverage maintenance for quadcopters using nonsmooth barrier functions,” in International Conference on Robotics and Automation (ICRA). IEEE, 2020, pp. 3255–3261.
- L. Lindemann and D. V. Dimarogonas, “Control barrier functions for signal temporal logic tasks,” IEEE Control Systems Letters, vol. 3, no. 1, pp. 96–101, 2019.
- C. Santoyo, M. Dutreix, and S. Coogan, “A barrier function approach to finite-time stochastic system verification and control,” Automatica, vol. 125, p. 109439, 2021.
- M. Black, G. Fainekos, B. Hoxha, D. Prokhorov, and D. Panagou, “Safety under uncertainty: Tight bounds with risk-aware control barrier functions,” in International Conference on Robotics and Automation (ICRA). IEEE, 2023, pp. 12 686–12 692.
- M. Pereira, Z. Wang, I. Exarchos, and E. Theodorou, “Safe optimal control using stochastic barrier functions and deep forward-backward sdes,” in Conference on Robot Learning. PMLR, 2021, pp. 1783–1801.
- 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.
- A. Singletary, M. Ahmadi, and A. D. Ames, “Safe control for nonlinear systems with stochastic uncertainty via risk control barrier functions,” IEEE Control Systems Letters, vol. 7, pp. 349–354, 2022.
- P. Florchinger, “Feedback stabilization of affine in the control stochastic differential systems by the control lyapunov function method,” SIAM Journal on Control and optimization, vol. 35, no. 2, pp. 500–511, 1997.
- S. S. Ge, T. L. Vu, and C. C. Hang, “Non-smooth lyapunov function-based global stabilization for quantum filters,” Automatica, vol. 48, no. 6, pp. 1031–1044, 2012.
- G. Leobacher and M. Szölgyenyi, “A strong order 1/2 method for multidimensional sdes with discontinuous drift.” Annals of applied probability: an official journal of the Institute of Mathematical Statistics, vol. 27, no. 4, pp. 2383–2418, 2017.
- O. So, A. Clark, and C. Fan, “Almost-sure safety guarantees of stochastic zero-control barrier functions do not hold,” arXiv preprint arXiv:2312.02430, 2023.
- P. Glotfelter, J. Cortés, and M. Egerstedt, “Boolean composability of constraints and control synthesis for multi-robot systems via nonsmooth control barrier functions,” in Conference on Control Technology and Applications (CCTA). IEEE, 2018, pp. 897–902.
- C. Rackauckas and Q. Nie, “DifferentialEquations.jl–a performant and feature-rich ecosystem for solving differential equations in Julia,” Journal of Open Research Software, vol. 5, no. 1, 2017.
- Matti Vahs (6 papers)
- Jana Tumova (40 papers)