High-Order Control Barrier Function

Updated 22 November 2025

High-Order Control Barrier Functions are mathematical frameworks that ensure safety by maintaining forward invariance of sets via nested auxiliary and class-K functions.
They extend classical control barrier functions to handle high relative degree constraints, enabling robust and fixed-time convergence in complex systems.
Recent developments integrate learning-based and adaptive approaches with QP formulations to enhance robustness, smoothness, and real-time feasibility.

A High-Order Control Barrier Function (HOCBF) is a mathematical and algorithmic framework for ensuring forward invariance of sets defined by safety constraints of high (relative) degree with respect to the input in control-affine systems. HOCBFs generalize the control barrier function (CBF) paradigm, which is fundamental for modular safety-critical control, by extending its applicability to constraints that depend on higher-order derivatives—such as position-level or output-level constraints in robotic, automotive, and aerospace systems. Recent advances have addressed not only the construction and real-time implementation of HOCBFs, but also fundamental challenges concerning finite-time convergence, smoothness, robustness, input regularity, and systematic parameter synthesis across various system classes and application contexts.

1. Mathematical Foundations and Classical Construction

Let $\dot{x} = f(x) + g(x)u$ , $x \in \mathbb{R}^n$ , $u \in \mathbb{R}^m$ , denote a smooth, control-affine system. A safety specification is encoded via a smooth function $h : \mathbb{R}^n \rightarrow \mathbb{R}$ and its zero superlevel set $\mathcal{C} = \{ x : h(x) \geq 0 \}$ . The barrier's relative degree $r$ is the smallest integer such that the control appears in the $r$ -th Lie derivative: $L_gL_f^{r-1}h(x) \neq 0$ , while all prior derivatives are independent of $u$ .

An HOCBF is recursively defined via auxiliary buffer functions: $\psi_0(x) = h(x), \quad \psi_i(x) = \dot{\psi}_{i-1}(x) + \alpha_i( \psi_{i-1}(x) ), \quad i = 1, \ldots, r,$ where each $\alpha_i$ is a class- $\mathcal{K}$ function. The core safety constraint is: $L_f^r h(x) + L_gL_f^{r-1}h(x)u + \sum_{i=1}^{r-1}L_f^i(\alpha_{r-i}\circ \psi_{r-i-1})(x) + \alpha_r(\psi_{r-1}(x)) \geq 0,$ imposed for all $x \in \bigcap_{i=1}^r \mathcal{C}_i$ , with $\mathcal{C}_i = \{ x : \psi_{i-1}(x) \geq 0 \}$ (Panja, 17 Aug 2024, Xiao et al., 2020, Xiao et al., 2019). This induces a nested set invariance structure, guaranteeing that state trajectories initialized in the intersection remain safe indefinitely under any Lipschitz control satisfying the inequality (Xiao et al., 2019, Pond et al., 5 Feb 2025).

2. Extensions and Structured HOCBF Designs

Fixed-Time HOCBFs

Classical HOCBFs yield only asymptotic convergence to the safe set when initialized outside. "Fixed time convergence guarantees for Higher Order Control Barrier Functions" introduces a formulation that enforces entry into $\mathcal{C}$ exactly at a user-specified time $T_f$ (K et al., 18 Jul 2025). This is achieved via a structured differential constraint,

$(D + a)^r h(x) \geq 0,$

where $D$ is the time derivative, and $a$ is designed (in closed form, as a function of the initial values and $T_f$ ) so the solution trajectory

$h(t) = (c_0 + c_1 t + \cdots + c_{r-1} t^{r-1}) e^{-a t}$

satisfies $h(T_f) = 0$ . This approach eliminates the inherent parameter-coupling and tuning complexity of standard HOCBFs for high $r$ and yields robust, tractable QP constraints with a single timing parameter (K et al., 18 Jul 2025).

Rectified and Backstepping-Based HOCBFs

Alternative methodologies, such as Rectified CBFs (ReCBFs), leverage activation functions to rectify higher-order constraints and yield a bona fide (first-order) CBF whose invariance properties can be checked using classical tools (Ong et al., 4 Dec 2024). ReCBF corrections are sparsely activated—only when necessary—improving regularity and reducing conservatism near singularities or weak relative-degree loci. For strict-feedback and high relative-degree systems, CBF-Backstepping and composite barrier synthesis provide another rigorous approach to constructing safety filters, incorporating performance-critical controllers and ensuring local Lipschitz continuity even in the presence of non-uniform relative-degree or singular control directions (Taylor et al., 2022, Tan et al., 2021).

3. Robustness, Adaptivity, and Learning

HOCBF robustness to bounded parametric uncertainty is addressed by high-order robust adaptive CBFs (HO-RaCBFs), which combine concurrent parameter estimation with worst-case compensation in the HOCBF constraint (Cohen et al., 2022). The adaptation tightens uncertainty bounds online, resulting in vanishing conservatism. Gaussian Process-based learning methods further extend HOCBFs’ applicability by modeling model errors and re-casting the safety constraint as a chance-constrained second-order cone program, affording closed-loop probabilistic safety certificates under model uncertainty (Aali et al., 14 Mar 2024). Adaptive adjustment of the barrier decay rates can also be realized via time-varying or state-dependent penalty functions, preserving real-time feasibility under time-varying actuation limits or dynamics (Xiao et al., 2020, Toulkani et al., 12 Nov 2024).

4. Practical Realization, Computation, and Synthesis

HOCBF inequalities are affine in the control, facilitating embedding within quadratic programs solved at high frequency. Recent advances demonstrate QP-based safety filters for systems with input bounds, actuator dynamics, and multiple or mixed relative degrees, including multi-input and underactuated systems (Xiao et al., 2022, Toulkani et al., 12 Nov 2024). Filtered CBF frameworks enforce Lipschitz continuity on the input signal by dynamically filtering the control law and extending the barrier constraints to the augmented system, offering guaranteed smoothness and input constraint adherence (Liu et al., 30 Mar 2025).

Automated and provable synthesis of HOCBFs, including their class- $\mathcal{K}$ functions and multiple interacting barriers, can be achieved through convex sum-of-squares (SOS) programming, providing formal certificates of forward invariance and real-time implementable polynomial controllers (Pond et al., 5 Feb 2025). Discrete-time and MPC formulations translate the HOCBF recursion to difference operators and guarantee recursive feasibility through iterative convexification, making them compatible with receding-horizon optimization and high-rate digital hardware (Liu et al., 2022, Xu et al., 19 Mar 2025).

5. Comparative Performance, Applications, and Design Guidelines

HOCBFs have been extensively validated in collision avoidance, robotic manipulation, legged locomotion, automotive (ACC, lane-keeping), and aerospace applications (Wong et al., 5 May 2025, Wei et al., 24 Oct 2024, Toulkani et al., 12 Nov 2024, Xiao et al., 2021, Panja, 17 Aug 2024). Fixed-time HOCBFs demonstrate superior convergence and tractability under hard deadline constraints, outperforming traditional and ad hoc finite-time CBF designs (K et al., 18 Jul 2025). Adaptive and filtered designs guarantee feasibility with tight bounds, actuator lags, or noisy environments (Liu et al., 30 Mar 2025, Toulkani et al., 12 Nov 2024). For multi-input systems or structured physical platforms, integral-augmentation and geometric transformation strategies respectively maximize control authority and QP feasibility (Xiao et al., 2022).

When designing HOCBF controllers, critical parameters include the order $r$ of the barrier, the shape and gain of each $\alpha_i$ , and, in discrete/sampled systems, the approximation error bound. Monotonic tuning of a single decay/gain parameter, as in the Truncated Taylor CBF or fixed-time formulations, simplifies design for high-order constraints (Xu et al., 19 Mar 2025). In many real-time settings, QP solve times are well within practical limits (typically sub-millisecond to a few milliseconds per step) (K et al., 18 Jul 2025, Toulkani et al., 12 Nov 2024, Liu et al., 30 Mar 2025).

6. Limitations, Open Problems, and Research Directions

Despite their versatility, HOCBFs exhibit increased complexity with growing relative degree, introducing more nested constraints and heightened sensitivity to parameter tuning (Panja, 17 Aug 2024, Xu et al., 19 Mar 2025). Singularities associated with weak relative-degree directions can lead to controller ill-posedness or conservatism (Ong et al., 4 Dec 2024). Recent works address these issues through rectified feedback, backstepping-based composite barriers, and careful margin design near singular sets (Ong et al., 4 Dec 2024, Tan et al., 2021).

Other emerging challenges include: integrating HOCBFs with temporal logic specification frameworks at scale (Xiao et al., 2021, Liang et al., 2023); ensuring global feasibility and scalability for high-dimensional platforms (especially with nonconvex or multi-constraint safe sets); developing automated and learning-augmented synthesis pipelines robust to offline modeling and online disturbances; and transferring HOCBF theory to contexts with stochastic disturbances or partial observability ((Aali et al., 14 Mar 2024), future research directions).

References: