Advanced safety filter based on SOS Control Barrier and Lyapunov Functions (2401.06901v2)
Abstract: This paper presents a novel safety filter framework that ensures both safety and the preservation of the legacy control action within a nominal region. This modular design allows the safety filter to be integrated into the control hierarchy without compromising the performance of the existing legacy controller within the nominal region. This is accomplished by formulating multiple Control Barrier Functions (CBFs) and Control Lyapunov-like Functions (CLFs) conditions, alongside a forward invariance condition for the legacy controller, as sum-of-squares constraints utilizing Putinar's Positivstellensatz. Additionally, the state-dependent inequality constraints of the resulting Quadratic Program -- encoding the CBF and CLF conditions -- are designed to remain inactive within the nominal region, ensuring perfect tracking of the legacy control action. Our safety filter design is also the first to include quadratic input constraints, and does not need an explicit specification of the attractor, as it is implicitly defined by the legacy controller. To avoid the chattering effect and guarantee the uniqueness and Lipschitz continuity of solutions, the state-dependent inequality constraints of the Quadratic Program are selected to be sufficiently regular. Finally, we demonstrate the method in a detailed case study involving the control of a three-phase ac/dc power converter.
- 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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.