Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise

2407.00218

YC

0

Reddit

0

Published 7/2/2024 by Chuyuan Tao, Wenbin Wan, Junjie Gao, Bihao Mo, Hunmin Kim, Naira Hovakimyan

⛏️

Abstract

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.

Create account to get full access

or

If you already have an account, we'll log you in

Overview

  • This paper introduces a new approach called "sampling-based Resilient Control Barrier Functions" (RCBFs) for controlling uncertain nonlinear systems.
  • RCBFs use a sampling-based method to estimate the uncertain dynamics of the system and then design a control law that ensures the system remains within a desired safe set.
  • The proposed approach is designed to be robust to model uncertainty and disturbances, making it suitable for real-world applications.

Plain English Explanation

The paper presents a new way to control the behavior of complex systems, even when there is uncertainty about how the system works. This is important because many real-world systems, like robots or self-driving cars, have to operate in uncertain environments.

The key idea is to use "control barrier functions" - mathematical functions that define a "safe set" of states the system should stay within. [These are similar to the concepts discussed in the papers on learning piecewise residuals control barrier functions for safety, constructive safety-critical control, and learning robust output control barrier functions.]

However, instead of assuming the system model is known exactly, this new approach uses "sampling" to estimate the uncertain dynamics. It then designs a control law that keeps the system within the safe set, even in the face of this uncertainty.

The authors show that this "sampling-based Resilient Control Barrier Function" (RCBF) approach is effective at controlling uncertain nonlinear systems, making it a promising tool for real-world applications like robotics or autonomous vehicles, where dealing with uncertainty is crucial.

Technical Explanation

The paper proposes a new technique called "sampling-based Resilient Control Barrier Functions" (RCBFs) for controlling uncertain nonlinear systems. The key idea is to use a sampling-based method to estimate the uncertain dynamics of the system, and then design a control law that ensures the system remains within a desired safe set, even in the presence of model uncertainty and disturbances.

The authors first define the concept of a control barrier function (CBF), which is a mathematical function that characterizes a "safe set" of states that the system should remain within. [This builds on previous work on constructive safety-critical control and learning robust output control barrier functions.]

However, the key challenge is that the system model is often uncertain in practice. To address this, the authors propose a sampling-based approach to estimate the uncertain dynamics. They then design a control law that ensures the system satisfies the CBF constraint, even in the presence of this uncertainty.

Specifically, the authors introduce the concept of a "resilient" CBF (RCBF), which is a CBF that is robust to the estimated uncertainty. They show that by optimizing the control input to satisfy the RCBF constraint, the system can be guaranteed to remain within the safe set, even when the true system dynamics differ from the estimated model.

The authors demonstrate the effectiveness of the RCBF approach through simulation experiments on several nonlinear systems, including an inverted pendulum and a quadrotor. The results show that the RCBF-based controller outperforms traditional CBF approaches in terms of maintaining safety in the face of model uncertainty and disturbances.

Critical Analysis

The proposed RCBF approach represents a promising advancement in the field of safe control for uncertain nonlinear systems. By incorporating sampling-based uncertainty estimation into the control barrier function framework, the authors have developed a technique that can provide strong safety guarantees even when the system model is not precisely known.

One potential limitation of the approach is that it relies on the ability to accurately sample the uncertain system dynamics. In practice, this may be challenging, especially for high-dimensional or complex systems. The authors acknowledge this and suggest that techniques like Bayesian neural networks could be used to improve the sampling process.

Additionally, the RCBF approach, like other CBF-based methods, may struggle to handle highly nonlinear or discontinuous safe sets. The authors mention that extending the method to handle more general safe sets is an area for future research.

Overall, the RCBF approach represents an important step forward in the field of safe control for uncertain systems. Its ability to provide robust safety guarantees, even in the face of model uncertainty, makes it a promising technique for real-world applications in robotics, autonomous vehicles, and beyond.

Conclusion

The paper introduces a new approach called "sampling-based Resilient Control Barrier Functions" (RCBFs) for controlling uncertain nonlinear systems. RCBFs use a sampling-based method to estimate the uncertain dynamics of the system and then design a control law that ensures the system remains within a desired safe set, even in the presence of model uncertainty and disturbances.

The proposed RCBF approach represents an important advancement in the field of safe control for complex, real-world systems, where dealing with uncertainty is crucial. By incorporating robust uncertainty estimation into the control barrier function framework, the authors have developed a technique that can provide strong safety guarantees, making it a promising tool for applications in robotics, autonomous vehicles, and beyond.

While the RCBF approach has some limitations, such as the need for accurate sampling of the uncertain dynamics, the authors have laid the groundwork for further research and development in this area. As the field of safe control for uncertain systems continues to evolve, the RCBF approach is likely to be an important contribution to the ongoing efforts to create more reliable and robust control systems for real-world applications.



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

Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes

Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes

Mohammad Aali, Jun Liu

YC

0

Reddit

0

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.

Read more

4/22/2024

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

Max H. Cohen, Ryan K. Cosner, Aaron D. Ames

YC

0

Reddit

0

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.

Read more

6/6/2024

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov

YC

0

Reddit

0

This paper introduces CBFKit, a Python/ROS toolbox for safe robotics planning and control under uncertainty. The toolbox provides a general framework for designing control barrier functions for mobility systems within both deterministic and stochastic environments. It can be connected to the ROS open-source robotics middleware, allowing for the setup of multi-robot applications, encoding of environments and maps, and integrations with predictive motion planning algorithms. Additionally, it offers multiple CBF variations and algorithms for robot control. The CBFKit is demonstrated on the Toyota Human Support Robot (HSR) in both simulation and in physical experiments.

Read more

4/11/2024

🏋️

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations

Lars Lindemann, Alexander Robey, Lejun Jiang, Satyajeet Das, Stephen Tu, Nikolai Matni

YC

0

Reddit

0

This paper addresses learning safe output feedback control laws from partial observations of expert demonstrations. We assume that a model of the system dynamics and a state estimator are available along with corresponding error bounds, e.g., estimated from data in practice. We first propose robust output control barrier functions (ROCBFs) as a means to guarantee safety, as defined through controlled forward invariance of a safe set. We then formulate an optimization problem to learn ROCBFs from expert demonstrations that exhibit safe system behavior, e.g., data collected from a human operator or an expert controller. When the parametrization of the ROCBF is linear, then we show that, under mild assumptions, the optimization problem is convex. Along with the optimization problem, we provide verifiable conditions in terms of the density of the data, smoothness of the system model and state estimator, and the size of the error bounds that guarantee validity of the obtained ROCBF. Towards obtaining a practical control algorithm, we propose an algorithmic implementation of our theoretical framework that accounts for assumptions made in our framework in practice. We validate our algorithm in the autonomous driving simulator CARLA and demonstrate how to learn safe control laws from simulated RGB camera images.

Read more

4/4/2024