Reciprocal Resistance-Based Barrier Function

• RRBF is defined as a barrier function that embeds a reciprocal resistance term to establish a buffer zone near the safety boundary.
• It augments conventional zeroing barrier functions by enforcing a built-in repulsion as h approaches zero, ensuring forward invariance under unknown disturbances.
• Extensions to control-affine and high-relative-degree systems, including adaptive cruise control, demonstrate its practical robustness and minimal conservatism.

Reciprocal Resistance-Based Barrier Function (RRBF) is a barrier-function construction for disturbed affine nonlinear systems that augments the conventional zeroing barrier function framework with a reciprocal resistance-like term in order to enhance robustness without requiring explicit knowledge of disturbance bounds. Introduced in “Enhancing Robustness of Control Barrier Function: A Reciprocal Resistance-based Approach” (Wang et al., 25 Jul 2025), the framework defines a strengthened barrier condition on the interior of a safe set and uses the singular growth of a term of the form $\beta(1/h)$ as $h\to 0^+$ to create a built-in buffer zone near the safety boundary. The same idea is extended to control barrier functions, high-order relative-degree constraints, and disturbance-observer-based implementations, with simulation studies on a second-order linear system and adaptive cruise control (Wang et al., 25 Jul 2025).

1. Safe-set formulation and relation to zeroing barrier functions

Let $h:\mathbb{R}^n\to\mathbb{R}$ be a continuously differentiable safety function, and define the safe set

$C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$

with boundary $\partial C:=\{x\mid h(x)=0\}$ and interior $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$. This setup is the starting point for both the conventional zeroing barrier function (ZBF) and the reciprocal resistance-based construction (Wang et al., 25 Jul 2025).

A continuously differentiable $h$ is a ZBF if there exists an extended-class $K$ function $\alpha_e$ such that, for all $x\in\mathbb{R}^n$,

$h\to 0^+$0

For control-affine systems, it is standard that any Lipschitz controller satisfying

$h\to 0^+$1

renders $h\to 0^+$2 forward-invariant (Wang et al., 25 Jul 2025).

Within this formulation, the conventional ZBF contributes an outward-pointing correction through the class-$h\to 0^+$3 term near the boundary. The RRBF preserves that structure but supplements it with a term that becomes unbounded as $h\to 0^+$4 approaches zero from the positive side. This suggests that the intended modification is not a replacement of the ZBF principle, but a refinement designed specifically to strengthen disturbance rejection close to $h\to 0^+$5.

2. Definition of RRBF and the reciprocal-resistance mechanism

The RRBF is motivated by the scalar dynamics

$h\to 0^+$6

which combine linear decay with a reciprocal repulsion term (Wang et al., 25 Jul 2025). For the uncontrolled dynamics $h\to 0^+$7, a continuously differentiable function $h\to 0^+$8 is a Reciprocal Resistance-Based Barrier Function if there exist extended-class $h\to 0^+$9 functions $h:\mathbb{R}^n\to\mathbb{R}$0 such that, for all $h:\mathbb{R}^n\to\mathbb{R}$1,

$h:\mathbb{R}^n\to\mathbb{R}$2

In this inequality, $h:\mathbb{R}^n\to\mathbb{R}$3 retains the usual ZBF role, while $h:\mathbb{R}^n\to\mathbb{R}$4 grows unbounded as $h:\mathbb{R}^n\to\mathbb{R}$5. The paper characterizes this growth as creating a built-in “buffer.” Formally, the reciprocal term is not an auxiliary post-processing correction or a worst-case disturbance margin; it is embedded directly in the barrier condition itself (Wang et al., 25 Jul 2025).

The mechanism can be understood through the competition between $h:\mathbb{R}^n\to\mathbb{R}$6 and $h:\mathbb{R}^n\to\mathbb{R}$7. Since $h:\mathbb{R}^n\to\mathbb{R}$8 as $h:\mathbb{R}^n\to\mathbb{R}$9 and $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$0 as $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$1, there exists a unique $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$2 satisfying

$C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$3

This induces the set

$C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$4

with boundary $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$5 and interior $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$6 (Wang et al., 25 Jul 2025).

The region $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$7 is the operative buffer zone. In that region, the reciprocal term dominates strongly enough that trajectories are driven toward $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$8. A plausible implication is that RRBF redefines “safe operation” into two layers: the original safe set $C:=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},$9, and an inner set $\partial C:=\{x\mid h(x)=0\}$0 that functions as a robustness margin while remaining entirely contained in $\partial C:=\{x\mid h(x)=0\}$1.

3. Forward invariance and buffer-zone dynamics

The forward-invariance result is stated for $\partial C:=\{x\mid h(x)=0\}$2: if the RRBF inequality holds and $\partial C:=\{x\mid h(x)=0\}$3, then $\partial C:=\{x\mid h(x)=0\}$4 for all $\partial C:=\{x\mid h(x)=0\}$5 (Wang et al., 25 Jul 2025). The proof is organized around the intermediate threshold $\partial C:=\{x\mid h(x)=0\}$6.

On $\partial C:=\{x\mid h(x)=0\}$7, where $\partial C:=\{x\mid h(x)=0\}$8, the RRBF condition yields

$\partial C:=\{x\mid h(x)=0\}$9

By Nagumo’s theorem, $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$0 is forward-invariant. For states with $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$1, define

$\mathrm{Int}\,C:=\{x\mid h(x)>0\}$2

Then

$\mathrm{Int}\,C:=\{x\mid h(x)>0\}$3

Trajectories in $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$4 are therefore driven into $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$5 and remain there thereafter (Wang et al., 25 Jul 2025).

The significance of this argument is that the repelling action near the boundary is endogenous to the barrier inequality rather than supplied externally by a disturbance estimate or an explicit safety margin. The paper’s terminology of a “buffer zone” is mathematically tied to the strict decrease of $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$6 when $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$7. This is a stronger statement than merely asserting non-exit from $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$8: the construction enforces motion away from the near-boundary region.

A common misconception is that any reciprocal barrier quantity necessarily yields the same robustness behavior. The reported formulation is more specific. The buffer effect is tied to the RRBF inequality itself and the balance equation $\mathrm{Int}\,C:=\{x\mid h(x)>0\}$9, not merely to introducing an inverse of $h$0 in isolation (Wang et al., 25 Jul 2025).

4. Robustness to bounded disturbances without explicit disturbance bounds

For disturbed dynamics

$h$1

the framework assumes no a priori known disturbance bound, and assumes only that $h$2 and $h$3 are bounded on the admissible set $h$4 (Wang et al., 25 Jul 2025). Along trajectories,

$h$5

where $h$6 is an unknown upper bound on $h$7.

Define $h$8 by

$h$9

Then, whenever $K$0, one has $K$1. By the same Nagumo-and-Lyapunov-type argument used in the disturbance-free case, $K$2 remains forward-invariant without requiring explicit knowledge of $K$3 (Wang et al., 25 Jul 2025).

The key point is not that disturbances are absent or small, but that the reciprocal term automatically dominates them near $K$4. The paper states this directly: the reciprocal term $K$5 automatically dominates the unknown disturbance near the boundary. This distinguishes the construction from robust CBF methods that require an explicit worst-case bound in the online inequality. This also clarifies a possible misunderstanding: RRBF does not eliminate the existence of a disturbance bound in analysis; rather, it eliminates the need to know that bound explicitly when enforcing safety.

The trade-off is conservatism. The paper later reports that tuning $K$6 trades off buffer size versus conservatism in simulation (Wang et al., 25 Jul 2025). This suggests that increased near-boundary repulsion may enlarge the practical separation from the constraint surface even when exact disturbance magnitudes are unavailable.

5. Control extensions: RRCBF and high-order RRCBF

For the control-affine disturbed system

$K$7

the control counterpart is the Reciprocal Resistance-Based Control Barrier Function (RRCBF). A function $K$8 is a RRCBF if

$K$9

for all $\alpha_e$0 (Wang et al., 25 Jul 2025). Any Lipschitz $\alpha_e$1 satisfying this constraint renders $\alpha_e$2 forward-invariant even under unknown bounded disturbances.

The paper also extends the construction to high-relative-degree constraints. If $\alpha_e$3 has relative degree $\alpha_e$4, so that

$\alpha_e$5

then one defines recursively, for $\alpha_e$6,

$\alpha_e$7

where each $\alpha_e$8 is extended-class $\alpha_e$9 (Wang et al., 25 Jul 2025).

The high-order RRCBF (HO-RRCBF) condition is

$x\in\mathbb{R}^n$0

on the set

$x\in\mathbb{R}^n$1

A nested Nagumo-type argument then shows that $x\in\mathbb{R}^n$2 is forward-invariant under any admissible $x\in\mathbb{R}^n$3 (Wang et al., 25 Jul 2025).

This extension is technically important because many safety constraints in mechanical and transportation systems have relative degree greater than one. The recursive $x\in\mathbb{R}^n$4 construction preserves the familiar high-order barrier architecture while moving the reciprocal term to the terminal inequality. This suggests that the reciprocal-resistance principle is modular with respect to established high-order CBF constructions rather than restricted to relative-degree-one constraints.

6. Disturbance-observer integration and simulation evidence

To reduce conservatism when $x\in\mathbb{R}^n$5 is complex but estimateable, the framework introduces a disturbance-observer-based RRCBF (DO-RRCBF). Using, for example, the nonlinear DOB of Chen (2004),

$x\in\mathbb{R}^n$6

with $x\in\mathbb{R}^n$7, the RRCBF constraint is modified by replacing $x\in\mathbb{R}^n$8 with $x\in\mathbb{R}^n$9:

$h\to 0^+$00

The paper states that, because $h\to 0^+$01 still dominates the estimation error $h\to 0^+$02 when $h\to 0^+$03, strict safety is guaranteed and there is no need to know explicit bounds on $h\to 0^+$04 or its derivative. At the same time, the DOB compensates most of $h\to 0^+$05, recovering near-nominal performance in the interior of the safe set (Wang et al., 25 Jul 2025).

Two simulation studies are reported. In a second-order linear system,

$h\to 0^+$06

with safety function $h\to 0^+$07, nominal controller $h\to 0^+$08, and barrier parameters $h\to 0^+$09, $h\to 0^+$10, three QP-based filters were tested: ZCBF, RBF with $h\to 0^+$11, and RRCBF (Wang et al., 25 Jul 2025). Without disturbance, ZCBF and RBF guarantee invariance of $h\to 0^+$12, but trajectories can approach $h\to 0^+$13 very slowly; RRCBF shows the buffer region $h\to 0^+$14 with $h\to 0^+$15, and trajectories starting with $h\to 0^+$16 are driven up to $h\to 0^+$17. Under $h\to 0^+$18, both ZCBF and RBF lose invariance, whereas RRCBF robustly maintains $h\to 0^+$19. The paper also notes that tuning $h\to 0^+$20 trades off buffer size versus conservatism.

In an adaptive cruise control (ACC) example with

$h\to 0^+$21

the distance barrier is $h\to 0^+$22 with relative degree $h\to 0^+$23, desired speed $h\to 0^+$24, desired gap $h\to 0^+$25, barrier parameters $h\to 0^+$26, and $h\to 0^+$27 (Wang et al., 25 Jul 2025). The compared controllers are standard CBF, robust CBF (worst-case), DO-CBF (requires $h\to 0^+$28), RRCBF, and DO-RRCBF, under disturbance

$h\to 0^+$29

Standard CBF and DO-CBF without explicit error bound fail safety under $h\to 0^+$30. Robust CBF and RRCBF maintain safety but are highly conservative, with the following gap $h\to 0^+$31 staying well above $h\to 0^+$32. DO-RRCBF enforces strict safety $h\to 0^+$33 and allows $h\to 0^+$34 to hover close to $h\to 0^+$35, recovering nominal performance because $h\to 0^+$36 compensates most of $h\to 0^+$37 and $h\to 0^+$38 only dominates the small estimation error near the boundary (Wang et al., 25 Jul 2025).

Taken together, these results support several conclusions stated in the paper: the RRBF framework ensures forward invariance of $h\to 0^+$39 even under unknown bounded disturbances, does not require explicit disturbance bounds, creates a buffer zone near $h\to 0^+$40 through the $h\to 0^+$41 term, extends naturally to high-order constraints, and can recover near-nominal performance with minimal conservatism when combined with a disturbance observer (Wang et al., 25 Jul 2025). The main qualification is that robustness and conservatism remain coupled through the reciprocal term; the observer-based variant is introduced precisely to mitigate that coupling without sacrificing strict safety.