Abstract:This article addresses the problem of safety-critical control for multiagent systems with unknown dynamics in unknown environments. It has been shown that stabilizing affine control systems to desired (sets of) states while optimizing quadratic costs subject to state and control constraints can be reduced to a sequence of quadratic programs (QPs) by using control barrier functions (CBFs) and control Lyapunov functions (CLFs). One of the main challenges in this approach is obtaining accurate system dynamics of all components in the system, which is especially difficult when online model identification is required given limited computational resources and system data. We address this problem by proposing a robust framework (to unknown dynamics including uncertainties) through defining adaptive affine control dynamics that are updated based on the error states obtained by real-time sensor measurements. We define a CBF for a safety requirement on the unmodeled agents based on the adaptive dynamics and error states, and reformulate the safety-critical control problem as the abovementioned sequence of QPs. Then, we determine a set of events that trigger the QPs and ensure safety when solving them. We also derive a condition that guarantees the satisfaction of a CBF constraint between events. The proposed framework can also be used for state convergence guarantees for systems with unknown dynamics based on CLFs. We illustrate the effectiveness of the proposed framework on a robot control problem, an adaptive cruise control problem and a traffic merging problem using autonomous vehicles. We also compare the proposed event-driven method with the classical time-driven approach.

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions

Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions

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

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

Learning for Safety-Critical Control with Control Barrier Functions

Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics

Advances in the Theory of Control Barrier Functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems

Synthesis and verification of robust-adaptive safe controllers

Control Synthesis for Stability and Safety by Differential Complementarity Problem

Secure-by-Construction Synthesis for Control Systems

Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach

Sample-and-Hold Safety with Control Barrier Functions

Safe Control Design through Risk-Tunable Control Barrier Functions

Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests

A Learning-Based Method for Computing Control Barrier Functions of Nonlinear Systems With Control Constraints

Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics