Stress-Testing Relative-Degree-Two Higher-Order Control Barrier Functions: Authority Limits, Numerical Robustness and Boundary Behavior

Higher-order control barrier functions (HOCBFs) provide a systematic means of enforcing safety constraints of relative degree greater than one. In practice the closed-form HOCBF filter can be compromised by insufficient control authority, numerical integration error, and initialisation on or near the boundary of the safe set. This paper presents a comprehensive stress-test suite for a relative-degree-two HOCBF applied to a three-state nonlinear system. We quantify the minimum actuation magnitude required to preserve forward invariance, demonstrate that a modest safety margin together with tightened solver tolerances eliminates spurious barrier violations, and show that a 25 % increase in the dominant nonlinearity exponent is safely rejected. Boundary initialisation produces a theoretically expected transient overshoot that cannot be instantaneously corrected by a relative-degree-two controller. Open-loop trajectories diverge catastrophically, confirming the necessity of the safety filter. All revised source code, numerical results and recommendations are supplied as supplementary material.

Authors

Publication Details

Published
2026-11-09
DOI
https://doi.org/10.33774/coe-2026-bvgqz
Primary Topic
Formal Methods in Verification
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

Stress-Testing Relative-Degree-Two Higher-Order Control Barrier Functions: Authority Limits, Numerical Robustness and Boundary Behavior

Sergei Stepanov
Formal Methods in Verification
preprint

Stress-Testing Relative-Degree-Two Higher-Order Control Barrier Functions: Authority Limits, Numerical Robustness and Boundary Behavior

Sergei Stepanov
preprint en

Abstract

Higher-order control barrier functions (HOCBFs) provide a systematic means of enforcing safety constraints of relative degree greater than one. In practice the closed-form HOCBF filter can be compromised by insufficient control authority, numerical integration error, and initialisation on or near the boundary of the safe set. This paper presents a comprehensive stress-test suite for a relative-degree-two HOCBF applied to a three-state nonlinear system. We quantify the minimum actuation magnitude required to preserve forward invariance, demonstrate that a modest safety margin together with tightened solver tolerances eliminates spurious barrier violations, and show that a 25 % increase in the dominant nonlinearity exponent is safely rejected. Boundary initialisation produces a theoretically expected transient overshoot that cannot be instantaneously corrected by a relative-degree-two controller. Open-loop trajectories diverge catastrophically, confirming the necessity of the safety filter. All revised source code, numerical results and recommendations are supplied as supplementary material.

Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon