Abstract:This article introduces the Pareto Control Barrier Function (PCBF) algorithm to maximize the inner safe set of dynamical systems under input constraints. Traditional Control Barrier Functions (CBFs) ensure safety by maintaining system trajectories within a safe set but often fail to account for realistic input constraints. To address this problem, we leverage the Pareto multi-task learning framework to balance competing objectives of safety and safe set volume. The PCBF algorithm is applicable to high-dimensional systems and is computationally efficient. We validate its effectiveness through comparison with Hamilton-Jacobi reachability for an inverted pendulum and through simulations on a 12-dimensional quadrotor system. Results show that the PCBF consistently outperforms existing methods, yielding larger safe sets and ensuring safety under input constraints.

What problem does this paper attempt to address?

### Problems the paper attempts to solve The paper aims to solve the problem of maximizing the internal safety set of a dynamic system under input constraints. Traditional control barrier functions (CBFs) can ensure safety by keeping the system trajectory within the safety set, but usually fail to take into account the actual input constraints. This results in the safety set may no longer be forward - invariant in the presence of input limitations, thus affecting the operational flexibility of the system. ### Specific problem description **Problem definition**: Given a dynamic system $\dot{x} = f(x)+g(x)u$, where $x\in X\subseteq\mathbb{R}^n$, $u\in U\subseteq\mathbb{R}^m$, and $f$ and $g$ are locally Lipschitz continuous functions. To ensure safety, the concept of a safety set $S$ is introduced: \[S\triangleq\{x\in X:h(x)\geq0\}\] where $h:X\rightarrow\mathbb{R}$ is a continuously differentiable function. The safety set $S$ includes all states where the system remains safe during operation. However, due to the existence of input constraints, it becomes difficult to ensure the forward - invariance of the entire safety set. Therefore, the concept of an internal safety set is introduced. **Definition of internal safety set**: The internal safety set $C$ is a non - empty closed subset of the safety set $S$, and there exists a feedback controller $\pi:C\rightarrow U$ such that $C$ remains forward - invariant under the system dynamics. **Research objective**: The goal of this paper is to find the largest internal safety set $C^*\subseteq S$ and its corresponding control strategy $\pi:C^*\rightarrow U$ under the given input constraints of the system, such that $C^*$ remains forward - invariant under the system dynamics. ### Solutions **Method overview**: The authors propose the Pareto control barrier function (PCBF) algorithm, which uses the Pareto multi - task learning framework to balance safety and the volume of the internal safety set. The PCBF algorithm is suitable for high - dimensional systems and is computationally efficient. The effectiveness of PCBF is verified by comparison with Hamilton - Jacobi reachability analysis. **Main contributions**: 1. **Maximizing the internal safety set**: Propose the PCBF algorithm to determine the largest internal safety set under input constraints. 2. **Reducing training time**: Improve training efficiency by applying the Gaussian sampling method. 3. **Benchmark system verification**: Verify the effectiveness of the method through simulations of the inverted pendulum and 12 - dimensional quadrotor systems. ### Method details **Loss function design**: The loss function of PCBF consists of a feasibility loss $L_{\text{feas}}$ and a volume loss $L_{\text{vol}}$. These two losses are calculated by sampling in the state space to ensure that the data density is close to the known safe state $x_e$. The specific loss functions are as follows: \[L_{\text{feas}}=\frac{1}{N_N}\sum_{x_i\in X_N\cap C_{h_\theta}}\max\{0,-\sup_{u\in U}\phi_\theta(x_i,u)\}\] \[\phi_\theta(x,u)=L_fh_\theta(x)+L_gh_\theta(x)u+\alpha(h_\theta(x))\] \[L_{\text{vol}}=\frac{1}{N_N}\sum_{x_i\in X_N\cap C_{h_\theta}}(nn_\theta(x_i)-nn_\theta(x_e))^2\] **Pareto multi - task learning (PMTL)**

Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds

State-action control barrier functions: Imposing safety on learning-based control with low online computational costs

Safe Adaptive Control for Uncertain Systems with Complex Input Constraints

Control Barrier Functions for Systems with Multiple Control Inputs

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

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

Multi-Layered Safety-Critical Control Design for Robotic Systems Via Control Barrier Functions

Control Barrier Functions With Circulation Inequalities

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

Safe Control Design through Risk-Tunable Control Barrier Functions

Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems

Discrete-Time Control Barrier Function: High-Order Case and Adaptive Case.

Time-Varying Soft-Maximum Control Barrier Functions for Safety in an A Priori Unknown Environment

Safety of Dynamical Systems with Multiple Non-Convex Unsafe Sets Using Control Barrier Functions

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

Extent-compatible control barrier functions