Abstract:Safety is one of the fundamental challenges in control theory. Recently, multi-step optimal control problems for discrete-time dynamical systems were formulated to enforce stability, while subject to input constraints as well as safety-critical requirements using discrete-time control barrier functions within a model predictive control (MPC) framework. Existing work usually focus on the feasibility or the safety for the optimization problem, and the majority of the existing work restrict the discussions to relative-degree one control barrier functions. Additionally, the real-time computation is challenging when a large horizon is considered in the MPC problem for relative-degree one or high-order control barrier functions. In this paper, we propose a framework that solves the safety-critical MPC problem in an iterative optimization, which is applicable for any relative-degree control barrier functions. In the proposed formulation, the nonlinear system dynamics as well as the safety constraints modeled as discrete-time high-order control barrier functions (DHOCBF) are linearized at each time step. Our formulation is generally valid for any control barrier function with an arbitrary relative-degree. The advantages of fast computational performance with safety guarantee are analyzed and validated with numerical results.

What problem does this paper attempt to address?

This paper attempts to address the issue of efficiently handling high-order discrete-time control barrier functions (DHOCBF) in model predictive control (MPC) to ensure system safety. Specifically, existing methods typically focus on the feasibility and safety of the optimization problem, but most studies are limited to control barrier functions of relative degree 1, and real-time computation becomes very challenging when considering longer time horizons. This paper proposes an iterative optimization framework applicable to control barrier functions of any relative degree, significantly reducing computation time while ensuring system safety by iteratively optimizing based on the linearization of nonlinear system dynamics and safety constraints. ### Main Contributions: 1. **MPC Strategy for Safety-Critical Tasks**: An MPC strategy for safety-critical tasks is proposed, where safety constraints can be enforced through high-order discrete-time control barrier functions (DHOCBF). The decay rate in each constraint can be relaxed to enhance the feasibility of the optimization and ensure the forward invariance of a series of safe sets. 2. **Optimal Control Framework**: An optimal control framework that guarantees safety is proposed, where DHOCBF constraints and system dynamics are linearized at each iteration and solved as constraints of a convex optimization problem. 3. **Numerical Validation**: Numerical examples demonstrate that the proposed framework is significantly faster than existing methods without sacrificing safety and feasibility. ### Problems Addressed: - **Real-Time Computational Efficiency**: Existing methods take a long time to compute when handling high-order control barrier functions, especially when considering longer time horizons. This paper significantly reduces computation time through iterative optimization and linearization methods. - **Applicability of High-Order Control Barrier Functions**: Existing methods are mostly limited to control barrier functions of relative degree 1, while the method in this paper is applicable to control barrier functions of any relative degree. - **Feasibility of the Optimization Problem**: By introducing slack variables and iterative optimization, the feasibility of the optimization problem is improved, especially when dealing with long time horizon problems. ### Application Background: - **Robotic Control**: In tasks such as robot navigation and obstacle avoidance, efficient control needs to be achieved while ensuring safety. - **Autonomous Driving**: In autonomous vehicles, complex dynamic environments need to be processed in real-time to ensure the safe driving of the vehicle. Through these contributions, this paper provides new ideas and methods to address the issues of computational efficiency and feasibility in safety-critical control tasks.

Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions

Iterative Convex Optimization for Safety-Critical Model Predictive Control

Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function

Safety MPC of Constrained Switched Systems with Control Barrier Function

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions

A linear MPC with control barrier functions for differential drive robots

High‐order Control Barrier Functions‐based Optimization Control for Time‐varying Nonlinear Systems with Full‐state Constraints: A Dynamic Sub‐safe Set Approach

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions

Learning-based Predictive Control for Nonlinear Systems with Unknown Dynamics Subject to Safety Constraints

Collision Avoidance for Convex Primitives via Differentiable Optimization Based High-Order Control Barrier Functions

Safety-critical Control with Control Barrier Functions: A Hierarchical Optimization Framework

Probabilistically safe controllers based on control barrier functions and scenario model predictive control

Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems

Model Predictive Control of Switched Linear Systems With Persistent Dwell-Time Constraints: Recursive Feasibility and Stability

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

Path Integral Methods with Stochastic Control Barrier Functions

Safety-Critical Control using Optimal-decay Control Barrier Function with Guaranteed Point-wise Feasibility

Constrained Optimal Control for Nonlinear Multi-Input Safety-Critical Systems with Time-Varying Safety Constraints

Iterative Non-Convex Distributed MPC with Flexible Termination Strategy