References & Citations
Electrical Engineering and Systems Science > Systems and Control
Title: A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions
(Submitted on 31 Aug 2022 (v1), last revised 14 Mar 2024 (this version, v2))
Abstract: Safety is a critical property for control systems in medicine, transportation, manufacturing, and other applications, and can be defined as ensuring positive invariance of a predefined safe set. This paper investigates the problems of verifying positive invariance of a semi-algebraic set as well as synthesizing sets that can be made positive invariant through Control Barrier Function (CBF)-based control. The key to our approach consists of mapping conditions for positive invariance to sum-of-squares constraints via the Positivstellensatz from real algebraic geometry. Based on these conditions, we propose a framework for verifying safety of CBF-based control including single CBFs, high-order CBFs, multi-CBFs, and systems with trigonometric dynamics and actuation constraints.
In the area of synthesis, we propose algorithms for constructing CBFs, namely, an alternating-descent approach and a local CBF approach. We evaluate our approach through a case study on a linearized quadrotor model with actuation constraints.
Submission history
From: Andrew Clark [view email][v1] Wed, 31 Aug 2022 19:31:31 GMT (99kb)
[v2] Thu, 14 Mar 2024 17:20:28 GMT (3627kb)
Link back to: arXiv, form interface, contact.