Advanced safety filter based on SOS Control Barrier and Lyapunov Functions (2401.06901v1)
Abstract: This paper presents a novel safety filter framework based on Control Barrier Functions (CBFs) and Control Lyapunov-like Functions (CLFs). The CBF guarantees forward invariance of the safe set, constraining system trajectories within state constraints, while the CLF guides the system away from unsafe states towards a nominal region, preserving the performance of a nominal controller. The first part of this work focuses on determining compatible CBF and CLF in the presence of linear or quadratic input constraints. This is achieved by formulating the CBF and CLF conditions, along with the input constraints, as Sum of Squares (SOS) constraints using Putinar's Positivstellensatz. For solving the resulting SOS optimization problem, we employ an alternating algorithm that simultaneously searches for a feasible controller in the class of rational functions of the state. The second part of this work details the implementation of the safety filter as a Quadratically Constrained Quadratic Program (QCQP), whose constraints encode the CBF and CLF conditions as well as the input constraints. To avoid the chattering effect and guarantee the uniqueness and Lipschitz continuity of solutions, the state-dependent inequality constraints of the QCQP are selected to be sufficiently regular. Finally, we demonstrate the method on a detailed case study involving the control of a three-phase ac/dc power converter connected to an infinite bus.
- Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems. IEEE Control Systems Magazine, 43(5):137–177, 2023.
- M.Z. Romdlony and B. Jayawardhana. Uniting control Lyapunov and control barrier functions. In 53rd IEEE Conference on Decision and Control, pages 2293–2298. IEEE, 2014.
- Control barrier functions: Theory and applications. In 2019 18th European control conference (ECC), pages 3420–3431. IEEE, 2019.
- Control barrier function based quadratic programs with application to adaptive cruise control. In 53rd IEEE Conference on Decision and Control, pages 6271–6278. IEEE, 2014.
- A. Clark. Verification and synthesis of control barrier functions. In 2021 60th IEEE Conference on Decision and Control (CDC), pages 6105–6112. IEEE, 2021.
- Permissive barrier certificates for safe stabilization using sum-of-squares. In 2018 annual American control conference (ACC), pages 585–590. IEEE, 2018.
- Sos construction of compatible control Lyapunov and barrier functions. IFAC-PapersOnLine, 56(2):10428–10434, 2023. 22nd IFAC World Congress.
- Safety verification and controller synthesis for systems with input constraints. IFAC-PapersOnLine, 56(2):1698–1703, 2023.
- H. Dai and F. Permenter. Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints. In 2023 American Control Conference (ACC), pages 4116–4123. IEEE, 2023.
- W. Tan and A. Packard. Searching for control Lyapunov functions using sums of squares programming. sibi, 1(1), 2004.
- Convex synthesis of control barrier functions under input constraints. IEEE Control Systems Letters, 2023.
- On the feasibility and continuity of feedback controllers defined by multiple control barrier functions for constrained differential inclusions. In 2022 American Control Conference (ACC), pages 5160–5165. IEEE, 2022.
- G. Valmorbida and J. Anderson. Region of attraction estimation using invariant sets and rational Lyapunov functions. Automatica, 75:37–45, 2017.
- H.K. Khalil. Nonlinear Systems. Pearson Education. Prentice Hall, 2002.
- P. Wieland and F. Allgöwer. Constructive safety using control barrier functions. IFAC Proceedings Volumes, 40(12):462–467, 2007.
- M. Laurent. Sums of squares, moment matrices and optimization over polynomials. Emerging applications of algebraic geometry, pages 157–270, 2009.
- F. Blanchini. Set invariance in control. Automatica, 35(11):1747–1767, 1999.
- M. Krstic. Inverse optimal safety filters. IEEE Transactions on Automatic Control, 2023.
- Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 62(8):3861–3876, 2016.
- Sufficient conditions for the lipschitz continuity of qp-based multi-objective control of humanoid robots. In 52nd IEEE Conference on Decision and Control, pages 2920–2926. IEEE, 2013.
- Distributed barrier certificates for safe operation of inverter-based microgrids. pages 1042–1047, 2019.
- Power electronics: converters, applications, and design. John wiley & sons, 2003.
- Overview of control and grid synchronization for distributed power generation systems. IEEE Transactions on industrial electronics, 53(5):1398–1409, 2006.
- K. Jittorntrum. Sequential algorithms in nonlinear programming. The Australian National University (Australia), 1978.