Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes (2403.18041v2)
Abstract: Control barrier functions (CBFs) have recently been introduced as a systematic tool to ensure safety by establishing set invariance. When combined with a control Lyapunov function (CLF), they form a safety-critical control mechanism. However, the effectiveness of CBFs and CLFs is closely tied to the system model. In practice, model uncertainty can jeopardize safety and stability guarantees and may lead to undesirable performance. In this paper, we develop a safe learning-based control strategy for switching systems in the face of uncertainty. We focus on the case that a nominal model is available for a true underlying switching system. This uncertainty results in piecewise residuals for each switching surface, impacting the CLF and CBF constraints. We introduce a batch multi-output Gaussian process (MOGP) framework to approximate these piecewise residuals, thereby mitigating the adverse effects of uncertainty. A particular structure of the covariance function enables us to convert the MOGP-based chance constraints CLF and CBF into second-order cone constraints, which leads to a convex optimization. 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 a simulation of a switching adaptive cruise control system.
- Learning high-order control barrier functions for safety-critical control with gaussian processes. arXiv preprint arXiv:2403.09573, 2024.
- Learning piecewise residuals of control barrier functions for safety of switching systems using multi-output gaussian processes. arXiv preprint, 2024.
- Control barrier functions: Theory and applications. In Proc. of ECC, pages 3420–3431. IEEE, 2019.
- Set-theoretic methods in control, volume 78. Springer, 2008.
- Michael S Branicky. Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on automatic control, 43(4):475–482, 1998.
- 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.
- Episodic learning for safe bipedal locomotion with control barrier functions and projection-to-state safety. In Proc. of L4DC, pages 1041–1053. PMLR, 2021.
- Stability analysis and control synthesis for switched systems: a switched lyapunov function approach. IEEE transactions on automatic control, 47(11):1883–1887, 2002.
- Stochastic hybrid model predictive control using gaussian processes for systems with piecewise residual dynamics. In Proc. of ACC, pages 2670–2677. IEEE, 2023.
- Bayesian learning-based adaptive control for safety critical systems. In Proc. of ICRA, pages 4093–4099. IEEE, 2020.
- Gpytorch: Blackbox matrix-matrix gaussian process inference with gpu acceleration. Advances in neural information processing systems, 31, 2018.
- Jack K Hale. Ordinary differential equations. Courier Corp., 2009.
- 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.
- Input-to-state stability of impulsive and switching hybrid systems with time-delay. Automatica, 47(5):899–908, 2011.
- Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles. In Proc. of ACC, pages 243–249. IEEE, 2021.
- Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems. Nonlinear Analysis: Hybrid Systems, 49:101340, 2023.
- Safety verification of hybrid systems using barrier certificates. In International Workshop on Hybrid Systems: Computation and Control, pages 477–492. Springer, 2004.
- Stabilization with guaranteed safety using control lyapunov–barrier function. Automatica, 66:39–47, 2016.
- Gaussian process optimization in the bandit setting: No regret and experimental design. arXiv preprint arXiv:0912.3995, 2009.
- Learning for safety-critical control with control barrier functions. In Proc. of L4DC, pages 708–717. PMLR, 2020.
- 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.