Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
2406.02709
0
0
Abstract
Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF can be constructed. This paper draws connections between partial feedback linearization and CBF synthesis. We illustrate that when a control affine system is input-output linearizable with respect to a smooth output function, then, under mild regularity conditions, one may extend any safety constraint defined on the output to a CBF for the full-order dynamics. These more general results are specialized to robotic systems where the conditions required to synthesize CBFs simplify. The CBFs constructed from our approach are applied and verified in simulation and hardware experiments on a quadrotor.
Create account to get full access
Overview
- The paper presents a method for constructing control barrier functions (CBFs) for partially feedback linearizable systems, which are a class of nonlinear systems.
- The goal is to synthesize CBFs that can be used to design safe and stable controllers for these systems, ensuring they remain within a desired safe set.
- The approach combines tools from feedback linearization, control Lyapunov functions, and CBFs to address the challenge of constructing CBFs for this broader class of systems.
Plain English Explanation
Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems focuses on a method for creating control barrier functions (CBFs) for a specific type of nonlinear system, known as a partially feedback linearizable system.
CBFs are mathematical functions that can be used to design controllers that keep a system within a desired "safe" region of operation, even in the face of disturbances or uncertainties. For many nonlinear systems, constructing these CBFs can be challenging. The key insight of this paper is a technique that combines tools from feedback linearization, control Lyapunov functions, and CBFs to address this challenge for a broader class of systems.
By developing this method, the researchers aim to enable the design of safe and stable controllers for a wider range of real-world applications, such as robotics, autonomous vehicles, and power systems, where it is critical to ensure the system remains within safe operating limits.
Technical Explanation
Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems presents a novel approach for constructing control barrier functions (CBFs) for a class of nonlinear systems known as partially feedback linearizable systems.
The authors first provide a formal problem formulation, outlining the key challenges in synthesizing CBFs for this broader class of systems beyond the typical fully feedback linearizable case. They then propose a constructive method that combines tools from feedback linearization, control Lyapunov functions, and CBFs to address this challenge.
The core idea is to leverage the partial feedback linearizability of the system to construct a CBF that satisfies the necessary conditions for safety-critical control. This involves designing an auxiliary control Lyapunov function and using it to guide the synthesis of the CBF. The authors provide detailed mathematical proofs to demonstrate the validity and properties of the proposed approach.
The paper also includes numerical simulations on a two-link robot arm example to validate the effectiveness of the method in designing safe controllers for partially feedback linearizable systems.
Critical Analysis
The Constructive Safety-Critical Control paper presents a compelling approach for constructing control barrier functions (CBFs) for a broader class of nonlinear systems. The key contribution is the ability to handle partially feedback linearizable systems, which expands the applicability of CBF-based control beyond the typical fully feedback linearizable case.
One potential limitation mentioned in the paper is the requirement for the system to have a specific structure, which may not be satisfied in all real-world applications. Additionally, the authors note that the method relies on the existence of a suitable control Lyapunov function, which may not always be easy to obtain.
Further research could explore relaxing some of these assumptions or investigating alternative approaches for constructing CBFs for partially feedback linearizable systems. Additionally, more extensive empirical evaluation on a diverse set of real-world applications could help validate the practicality and robustness of the proposed method.
Overall, the Constructive Safety-Critical Control paper represents a valuable contribution to the field of safe and stable control for nonlinear systems, and the proposed approach has the potential to enable the design of robust and adaptive safe controllers for a wider range of applications.
Conclusion
Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems presents a novel method for constructing control barrier functions (CBFs) for a class of nonlinear systems known as partially feedback linearizable systems. By combining tools from feedback linearization, control Lyapunov functions, and CBFs, the authors have developed a technique to address the challenge of synthesizing CBFs for this broader class of systems.
The proposed approach has the potential to enable the design of safe and stable controllers for a wider range of real-world applications, such as robotics, autonomous vehicles, and power systems, where ensuring the system remains within safe operating limits is critical. While the method has some limitations, it represents a valuable contribution to the field of safe and stable control for nonlinear systems, and further research and empirical evaluation could lead to even more robust and adaptive safe controllers in the future.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark
0
0
Safety and stability are essential properties of control systems. Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) have been proposed to ensure safety and stability respectively. However, previous approaches typically verify and synthesize the CBFs and CLFs separately, satisfying their respective constraints, without proving that the CBFs and CLFs are compatible with each other, namely at every state, there exists control actions that satisfy both the CBF and CLF constraints simultaneously. There exists some recent works that synthesized compatible CLF and CBF, but relying on nominal polynomial or rational controllers, which is just a sufficient but not necessary condition for compatibility. In this work, we investigate verification and synthesis of compatible CBF and CLF independent from any nominal controllers. We derive exact necessary and sufficient conditions for compatibility, and further formulate Sum-Of-Squares program for the compatibility verification. Based on our verification framework, we also design an alternating nominal-controller-free synthesis method. We evaluate our method in a linear toy, a non-linear toy, and a power converter example.
6/28/2024
➖
Synthesis and verification of robust-adaptive safe controllers
Simin Liu, Kai S. Yun, John M. Dolan, Changliu Liu
0
0
Safe control with guarantees generally requires the system model to be known. It is far more challenging to handle systems with uncertain parameters. In this paper, we propose a generic algorithm that can synthesize and verify safe controllers for systems with constant, unknown parameters. In particular, we use robust-adaptive control barrier functions (raCBFs) to achieve safety. We develop new theories and techniques using sum-of-squares that enable us to pose synthesis and verification as a series of convex optimization problems. In our experiments, we show that our algorithms are general and scalable, applying them to three different polynomial systems of up to moderate size (7D). Our raCBFs are currently the most effective way to guarantee safety for uncertain systems, achieving 100% safety and up to 55% performance improvement over a robust baseline.
4/4/2024
⛏️
New!Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise
Chuyuan Tao, Wenbin Wan, Junjie Gao, Bihao Mo, Hunmin Kim, Naira Hovakimyan
0
0
Control Barrier Function (CBF) is an emerging method that guarantees safety in path planning problems by generating a control command to ensure the forward invariance of a safety set. Most of the developments up to date assume availability of correct state measurements and absence of disturbances on the system. However, if the system incurs disturbances and is subject to noise, the CBF cannot guarantee safety due to the distorted state estimate. To improve the resilience and adaptability of the CBF, we propose a resilient estimator-based control barrier function (RE-CBF), which is based on a novel stochastic CBF optimization and resilient estimator, to guarantee the safety of systems with disturbances and noise in the path planning problems. The proposed algorithm uses the resilient estimation algorithm to estimate disturbances and counteract their effect using novel stochastic CBF optimization, providing safe control inputs for dynamical systems with disturbances and noise. To demonstrate the effectiveness of our algorithm in handling both noise and disturbances in dynamics and measurement, we design a quadrotor testing pipeline to simulate the proposed algorithm and then implement the algorithm on a real drone in our flying arena. Both simulations and real-world experiments show that the proposed method can guarantee safety for systems with disturbances and noise.
7/2/2024
Using Dynamic Safety Margins as Control Barrier Functions
Victor Freire, Marco M. Nicotra
0
0
This paper provides an approach to design control barrier functions (CBFs) using the notion of dynamic safety margins (DSMs). In particular, it is shown that DSMs are CBFs for an augmented system. The proposed approach can handle multiple state and input constraints using the control-sharing property of CBFs. Moreover, it makes no assumption on the relative degree of the constraints. Numerical simulations show that the method outperforms existing DSM-based approaches, while also guaranteeing safety and recursive feasibility.
4/3/2024