Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes (2403.09573v2)
Abstract: Control barrier functions (CBFs) have recently introduced a systematic tool to ensure system safety by establishing set invariance. When combined with a nominal control strategy, they form a safety-critical control mechanism. However, the effectiveness of CBFs is closely tied to the system model. In practice, model uncertainty can compromise safety guarantees and may lead to conservative safety constraints, or conversely, allow the system to operate in unsafe regions. In this paper, we use Gaussian processes to mitigate the adverse effects of uncertainty on high-order CBFs (HOCBFs). A properly structured covariance function enables us to convert the chance constraints of HOCBFs into a second-order cone constraint. This results in a convex constrained optimization as a safety filter. We analyze the feasibility of the resulting optimization and provide the necessary and sufficient conditions for feasibility. The effectiveness of the proposed strategy is validated through two numerical results.
- Multiple control barrier functions: An application to reactive obstacle avoidance for a multi-steering tractor-trailer system. In Proc. of CDC, pages 6993–6998. IEEE, 2022.
- Learning high-order control barrier functions for safety-critical control with gaussian processes. In Proc. of ACC. IEEE, 2024.
- Control barrier functions: Theory and applications. In Proc. of ECC, pages 3420–3431. IEEE, 2019.
- Pattern Recognition and Machine Learning, volume 4. Springer, 2006.
- Set-theoretic methods in control, volume 78. Springer, 2008.
- Convex Optimization. Cambridge University Press, 2004.
- Gaussian process-based min-norm stabilizing controller for control-affine systems with uncertain input effects and dynamics. In Proc. of ACC, pages 3683–3690. IEEE, 2021.
- Pointwise feasibility of gaussian process-based safety-critical control under model uncertainty. In Proc. of CDC, pages 6762–6769. IEEE, 2021.
- Cvxpy: A python-embedded modeling language for convex optimization. The Journal of Machine Learning Research, 17(1):2909–2913, 2016.
- Bayesian learning-based adaptive control for safety critical systems. In Proc. of ICRA, pages 4093–4099. IEEE, 2020.
- Control barrier functions for unknown nonlinear systems using gaussian processes. In Proc. of CDC, pages 3699–3704. IEEE, 2020.
- Hassan K Khalil. Nonlinear Systems. Prentice Hall, 2002.
- Probabilistic safety constraints for learned high relative degree system dynamics. In Proc. of L4DC, pages 781–792. PMLR, 2020.
- Exponential control barrier functions for enforcing high relative-degree safety-critical constraints. In Proc. of ACC, pages 322–328. IEEE, 2016.
- Gaussian process optimization in the bandit setting: No regret and experimental design. arXiv preprint arXiv:0912.3995, 2009.
- High-order barrier functions: Robustness, safety, and performance-critical control. IEEE Transactions on Automatic Control, 67(6):3021–3028, 2021.
- Learning for safety-critical control with control barrier functions. In Proc. of L4DC, pages 708–717. PMLR, 2020.
- Learning control barrier functions with high relative degree for safety-critical control. In Proc. of ECC, pages 1459–1464. IEEE, 2021.
- Safe learning of quadrotor dynamics using barrier certificates. In Proc. of ICRA, pages 2460–2465. IEEE, 2018.
- Gaussian Processes for Machine Learning, volume 2. MIT Press, 2006.
- High order control barrier functions. IEEE Transactions on Automatic Control, 67(7):3655–3662, 2022.