TTCBF: A Truncated Taylor Control Barrier Function for High-Order Safety Constraints
Jianye Xu, Bassam Alrifaee
TL;DR
Safety-critical control hinges on keeping the state inside a forward-invariant safe set defined by a barrier function $h$. This paper introduces TTCBF, a Truncated Taylor CBF, which handles high-relative-degree constraints in discrete time using a single class $\mathcal{K}$ function and a truncated Taylor expansion with $\\Delta T = r\\Delta t$, while bounding the remainder to guarantee forward invariance. An adaptive variant, aTTCBF, adds online gain $\\eta(t_k)$ with a coefficient-free $\\hat{\\alpha}$ to further improve adaptability, reducing design complexity relative to existing adaptive high-order CBFs. The authors formulate a CLF-CBF-QP that minimizes deviation from a nominal controller while enforcing safety and stability, and validate on a relative-degree-$6$ spring-mass system and in cluttered corridor navigation, showing improved speed tracking, reduced control effort, and fewer design parameters. Overall, TTCBF and aTTCBF offer practical, scalable safety guarantees for high-order constraints in robotics.
Abstract
Control Barrier Functions (CBFs) enforce safety by rendering a prescribed safe set forward invariant. However, standard CBFs are limited to safety constraints with relative degree one, while High-Order CBF (HOCBF) methods address higher relative degree at the cost of introducing a chain of auxiliary functions and multiple class K functions whose tuning scales with the relative degree. In this paper, we introduce a Truncated Taylor Control Barrier Function (TTCBF), which generalizes standard discrete-time CBFs to consider high-order safety constraints and requires only one class K function, independent of the relative degree. We also propose an adaptive variant, adaptive TTCBF (aTTCBF), that optimizes an online gain on the class K function to improve adaptability, while requiring fewer control design parameters than existing adaptive HOCBF variants. Numerical experiments in a relative-degree-six spring-mass system and a cluttered corridor navigation validate the above theoretical findings.
