--- title: Reciprocal Resistance-Based Control Barrier Function url: https://www.emergentmind.com/topics/reciprocal-resistance-based-control-barrier-function-rrcbf type: topic --- # Reciprocal Resistance-Based Control Barrier Function Searching arXiv for the cited RRCBF paper and closely related CBF background papers. {"query":"arXiv 2507.18888 Reciprocal Resistance-based control barrier function 2503.18524 1609.06408", "max_results": 10} Using the arXiv search tool to retrieve the relevant records. arXiv search query: "2507.18888" Reciprocal Resistance-Based Control Barrier Function (RRCBF) denotes a control-barrier construction for disturbed affine nonlinear systems in which the conventional zeroing-barrier inequality is augmented by a reciprocal resistance-like term of the form $\beta(1/h(x))$. In the formulation introduced in "Enhancing Robustness of Control Barrier Function: A Reciprocal Resistance-based Approach" [2507.18888], this term grows unboundedly as the safety function $h(x)\to 0^+$, thereby creating a buffer zone near the boundary of the safe set and enabling robustness against bounded disturbances without requiring explicit prior knowledge of disturbance bounds in the controller design. The framework includes the underlying reciprocal resistance-based barrier function (RRBF), its control version RRCBF, high-order extensions for relative-degree-$r$ constraints, and a disturbance observer-based variant. ## 1. Terminology and conceptual lineage The term *RRCBF* is recent and should be distinguished from earlier barrier-function nomenclature. In "Control Barrier Function Based Quadratic Programs for Safety Critical Systems" [1609.06408], *reciprocal control barrier function* (RCBF) refers to a reciprocal barrier $B(x)$, typically $B(x)=1/h(x)$ or $B(x)=-\log(h(x)/(1+h(x)))$, together with an inequality on $L_f B + L_g B\,u$. That framework does not use the term *resistance-based*. A second source of possible ambiguity arises in "Feasibility of multiple robust control barrier functions for bounding box constraints" [2503.18524]. There, *RCBF* means *robust control barrier function*, and the relevant construction is a resistance-based augmented barrier $$ H(t,x)=h(t,x)+\frac{|\dot h(t,x)|\dot h(t,x)}{2a_{\max}}, $$ which incorporates a braking-distance term. That paper explicitly does not analyze a reciprocal transformation $b=1/H$. Against that background, the 2025 note [2507.18888] introduces a distinct object: the *reciprocal resistance-based barrier function* (RRBF) and its control counterpart RRCBF. Its characteristic feature is not a reciprocal change of variables alone, but the insertion of a reciprocal resistance-like term directly into the barrier inequality, $$ L_f h(x)+L_g h(x)\,u+\alpha(h(x))-\beta\!\left(\frac{1}{h(x)}\right)\ge 0, $$ for extended class-$\mathcal K$ functions $\alpha$ and $\beta$. This places RRCBF at the intersection of two earlier strands: reciprocal-barrier sensitivity near the boundary and robust barrier shaping against disturbances. ## 2. Core formulation and buffer-zone mechanism The formulation in [2507.18888] considers two disturbance models. For matched disturbances, the control design is based on $$ \dot x=f(x)+g(x)\big(u+d(t,x)\big), $$ where $x\in\mathbb X\subset\mathbb R^n$, $u\in\mathbb R^m$, $f$ and $g$ are locally Lipschitz on the compact admissible state set $\mathbb X$, and $\|d(t,x)\|\le \bar d$ for some unknown constant $\bar d>0$. For unmatched disturbances, used to establish RRBF robustness at the barrier level, the model is $$ \dot x=f(x)+d(t,x). $$ Safety is encoded by a continuously differentiable function $h:\mathbb R^n\to\mathbb R$, with $$ \mathcal S:=\{x\in\mathbb R^n\mid h(x)\ge 0\},\qquad \partial\mathcal S:=\{x:h(x)=0\},\qquad \mathrm{Int}(\mathcal S):=\{x:h(x)>0\}. $$ For comparison, the conventional zeroing CBF condition for relative degree one is $$ L_f h(x)+L_g h(x)\,u+\alpha_e(h(x))\ge 0, $$ for some extended class-$\mathcal K$ function $\alpha_e$. The motivating scalar mechanism is the disturbed differential equation $$ \dot z=-\alpha z+\frac{\beta}{z}+w(t,z), $$ with $z>0$, $\alpha,\beta>0$, and $|w(t,z)|\le \bar w$. The reciprocal term $\beta/z$ diverges as $z\to 0^+$ and prevents loss of positivity. Under the worst-case disturbance $w(t,z)=-\bar w$, one obtains $\dot z\ge 0$ for $z\in(0,z_1]$, where $$ z_1=\frac{\sqrt{\bar w^2+4\alpha\beta}-\bar w}{2\alpha}. $$ Under $w(t,z)=+\bar w$, one has $\dot z\le 0$ for $z\in[z_2,\infty)$, with $$ z_2=\frac{\sqrt{\bar w^2+4\alpha\beta}+\bar w}{2\alpha}. $$ This provides the paper’s template for disturbance domination near the boundary. For the autonomous system $\dot x=f(x)$, an RRBF is a continuously differentiable $h$ such that there exist extended class-$\mathcal K$ functions $\alpha$ and $\beta$ satisfying $$ L_f h(x)+\alpha\big(h(x)\big)-\beta\!\left(\frac{1}{h(x)}\right)\ge 0, \qquad \forall x\in \mathrm{Int}(\mathcal S). $$ Equivalently, $$ \dot h(x)\ge -\alpha(h(x))+\beta\!\left(\frac{1}{h(x)}\right). $$ For the disturbed affine system, the corresponding RRCBF condition is $$ \sup_{u\in\mathbb R^m}\left[L_f h(x)+L_g h(x)\,u+\alpha(h(x))-\beta\!\left(\frac{1}{h(x)}\right)\right]\ge 0, \qquad \forall x\in \mathrm{Int}(\mathcal S), $$ with admissible-control set $$ \mathcal K_{\mathrm{RRCBF}}(x):= \left\{u\in\mathbb R^m\ \Big|\ L_f h(x)+L_g h(x)\,u+\alpha(h(x))-\beta\!\left(\frac{1}{h(x)}\right)\ge 0\right\}. $$ A central geometric notion is the *buffer zone*. Let $h_s>0$ be the unique solution of $$ \alpha(h_s)-\beta(1/h_s)=0. $$ Then define $$ \mathbb S:=\{x\in\mathbb X\mid h(x)\ge h_s\},\qquad \partial\mathbb S:=\{x\mid h(x)=h_s\}. $$ The region $$ \{x\mid 00$, then $\mathrm{Int}(\mathcal S)$ is forward invariant. The proof splits the state space into the robust subset $\mathbb S$ and the buffer zone. On $\partial\mathbb S$, the RRBF inequality gives $\dot h\ge 0$, so $\mathbb S$ is forward invariant by Nagumo’s theorem. For initial conditions in $\mathrm{Int}(\mathcal S)\setminus \mathbb S$, the function $$ V_C(x):=h_s-h(x)\ge 0 $$ satisfies $$ \dot V_C\le \alpha(h)-\beta(1/h)<0, $$ which implies convergence toward $\partial\mathbb S$. The robustness theorem extends this argument to unmatched bounded disturbances. If $$ \dot x=f(x)+d(t,x), $$ then $$ \dot h(x)=L_f h(x)+\nabla h(x)\cdot d(t,x) \ge -\alpha(h(x))+\beta\!\left(\frac{1}{h(x)}\right)-|\nabla h(x)\cdot d(t,x)|. $$ Because $\nabla h$ is bounded on compact $\mathbb X$ and $d$ is bounded, there exists $D>0$ such that $|\nabla h\cdot d|\le D$, hence $$ \dot h(x)\ge -\alpha(h(x))+\beta\!\left(\frac{1}{h(x)}\right)-D. $$ If $h_b>0$ is the unique solution of $$ \alpha(h_b)+D=\beta(1/h_b), $$ then $\dot h(x)\ge 0$ whenever $h(x)\in(0,h_b]$. This excludes exit through the boundary and preserves positivity of $h$. For matched disturbances, if $u(x)\in \mathcal K_{\mathrm{RRCBF}}(x)$, then $$ \dot h(x)\ge -\alpha(h(x))+\beta\!\left(\frac{1}{h(x)}\right)+L_g h(x)\,d(t,x), $$ and the same dominance argument applies by boundedness of $L_g h$ and $d$. An important point in the paper is that controller synthesis does not require explicit knowledge of $D$ or $\bar d$; the guarantee depends only on the existence of finite disturbance bounds and on the divergence of $\beta(1/h)$ as $h\to 0^+$. ## 4. High-order and disturbance-observer extensions For safety constraints of relative degree $r\ge 2$, [2507.18888] defines a high-order RRCBF (HO-RRCBF). Let $h$ satisfy $$ L_gL_f^k h(x)=0,\quad k=0,\ldots,r-2,\qquad L_gL_f^{r-1}h(x)\neq 0. $$ Define recursively $$ \psi_0(x):=h(x),\qquad \psi_i(x):=\dot\psi_{i-1}(x)+\alpha_i\big(\psi_{i-1}(x)\big),\quad i=1,\ldots,r, $$ and the sets $$ \mathbb S_0:=\{x:\psi_0(x)\ge 0\},\ \ldots,\ \mathbb S_{r-2}:=\{x:\psi_{r-2}(x)\ge 0\},\ \mathbb S_{r-1}:=\{x:\psi_{r-1}(x)>0\}, $$ with $$ \bar{\mathbb S}:=\bigcap_{i=0}^{r-1}\mathbb S_i. $$ Using $$ O(h(x)):=\sum_{i=1}^{r-1}L_f^{\,i}\big(\alpha_{r-1}\circ\psi_{r-i-1}(x)\big), $$ the HO-RRCBF condition is $$ \sup_{u\in\mathbb R^m}\Big[ L_f^{\,r} h(x)+L_gL_f^{\,r-1}h(x)\,u+\alpha_r\big(\psi_{r-1}(x)\big) -\beta\!\Big(\frac{1}{\psi_{r-1}(x)}\Big)+O(h(x)) \Big]\ge 0, $$ for all $x\in\bar{\mathbb S}$. The resulting invariance theorem states that if a Lipschitz controller satisfies the HO-RRCBF constraint and the initial conditions obey $\psi_i(x(t_0))>0$ for $i=0,\ldots,r-1$, then $\bar{\mathbb S}$ is forward invariant. The proof reduces the highest-order condition to an RRBF-type inequality in the variable $\psi_{r-1}$ and then propagates invariance down the recursion. The same paper introduces a disturbance observer-based RRCBF (DO-RRCBF). With disturbance estimate $\hat d(t,x)$ and estimation error $e_d(t,x):=d(t,x)-\hat d(t,x)$, a typical local error model is $$ \dot e_d=-L(x)e_d+\dot d(t,x), $$ with suitable gain $L(x)>0$. The DO-RRCBF inequality becomes $$ \sup_{u\in\mathbb R^m}\left[ L_f h(x)+L_g h(x)\big(u+\hat d(t,x)\big)+\alpha(h(x))-\beta\!\left(\frac{1}{h(x)}\right) \right]\ge 0, $$ and the corresponding admissible set is $$ \mathcal K_{\mathrm{DO\text{-}RRCBF}}(x):= \left\{ u\mid L_f h+L_g h(u+\hat d)+\alpha(h)-\beta(1/h)\ge 0 \right\}. $$ A stated advantage is that DO-RRCBF does not require an explicit bound on the estimation error in the barrier constraint. The reciprocal resistance term is used to dominate residual estimation error near the boundary while the disturbance estimate reduces conservatism away from it. ## 5. Controller synthesis, tuning, and limitations The implementation in [2507.18888] is QP-based. A CLF-CBF formulation combines stabilization via a control Lyapunov function $V(x)$ and safety via the RRCBF constraint: $$ \begin{aligned} (u^*(x),\delta^*(x))=\arg\min_{(u,\delta)}\ &\tfrac12\|u\|^2+\tfrac{\mu}{2}\delta^2 \\ \text{s.t.}\quad &L_f V(x)+L_g V(x)\,u+\alpha_V(V(x))\le \delta,\\ &L_f h(x)+L_g h(x)\,u+\alpha(h(x))-\frac{\beta}{h(x)}\ge 0,\\ &u\in\mathcal U. \end{aligned} $$ Here $\delta$ is a slack variable for the CLF constraint and $\mu>0$ is its weight. If a nominal controller $u_0(x)$ is already available, the barrier can be used as a safety filter: $$ \begin{aligned} u^*(x)=\arg\min_u\ &\tfrac12\|u-u_0(x)\|^2\\ \text{s.t.}\quad &L_f h(x)+L_g h(x)\,u+\alpha(h(x))-\frac{\beta}{h(x)}\ge 0,\\ &u\in\mathcal U. \end{aligned} $$ The high-order variant is imposed analogously by replacing the relative-degree-one inequality with the HO-RRCBF constraint. The paper repeatedly emphasizes linear choices $$ \alpha(s)=k_\alpha s,\qquad \beta(s)=k_\beta s. $$ Larger $k_\alpha$ accelerates convergence in the interior but can increase control effort. Larger $k_\beta$ strengthens disturbance dominance near $\partial\mathcal S$ but increases conservatism and numerical stiffness. The buffer threshold $h_s$ is determined by $\alpha(h_s)=\beta(1/h_s)$; according to the paper, reducing $k_\beta$ increases $h_s$ and yields a less conservative, larger robust subset $\mathbb S$. The principal numerical difficulty is the singularity as $h\to 0^+$. The proposed regularization is to replace $1/h(x)$ by $1/(h(x)+\sigma)$ with small $\sigma>0$, leading to $$ L_f h+\alpha(h)-\beta\!\left(\frac{1}{h+\sigma}\right)\ge 0. $$ Formal guarantees with this regularization require a disturbance bound $D$ on $|\nabla h\cdot d|$ and a choice $$ 0<\sigma<1/\beta^{-1}(D). $$ If $D$ is unknown, the paper suggests choosing a small $\sigma$ and validating empirically. The limitations identified in [2507.18888] are standard but consequential: singularity and numerical stiffness near the boundary, feasibility degradation under tight control limits, the fact that the RRCBF definition itself presumes matched disturbances in the control channel, and sensitivity of DO-RRCBF performance to observer tuning. ## 6. Relation to adjacent CBF frameworks and reported case studies Relative to ZBF/ZCBF, the RRCBF construction preserves the zeroing-barrier structure in $h$ but adds the reciprocal resistance term $\beta(1/h)$. The paper’s stated comparison is that ZBFs enforce invariance of $\mathcal S$ but may be sensitive near $\partial\mathcal S}$, whereas RRBF/RRCBF enforce forward invariance of $\mathrm{Int}(\mathcal S)$ and create a buffer zone in which the reciprocal term dominates disturbances. Relative to classical reciprocal CBFs in the sense of $B=1/h$ [1609.06408], RRCBF retains reciprocal sensitivity near the boundary but introduces an explicit disturbance-dominating term rather than only an inequality on $B$. This suggests a different robustness mechanism: not merely barrier blow-up, but direct reciprocal forcing in the $h$-dynamics. The distinction from the resistance-based robust CBF for bounding-box constraints in [2503.18524] is structural. That work augments $h$ with a braking-distance term $|\dot h|\dot h/(2a_{\max})$ to form $H(t,x)$ and derives feasibility conditions for multiple robust half-space constraints under input bounds and disturbances. By contrast, [2507.18888] augments the barrier inequality itself with $\beta(1/h)$ and does not rely on the $H$-type braking-distance construction. The two uses of “resistance-based” therefore refer to different mechanisms. The stochastic literature provides yet another nearby concept. "Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs" [2209.08728] studies reciprocal and zeroing control barrier functions for stochastic systems, with reciprocal barrier $B(x)=1/h(x)$ and generator inequality $\mathcal L B\le \gamma B$ for almost-sure-type safety in the paper’s FIiP sense. That framework is reciprocal but not resistance-based in the specific sense of [2507.18888]. The simulations reported in [2507.18888] are consistent with these distinctions. For the second-order linear system $$ \dot x_1=-x_2,\qquad \dot x_2=u+w(t),\qquad h(x)=x_1-x_2, $$ with nominal controller $u_0=x_1-2x_2-1$, $\alpha(s)=s$, $\beta(s)=2s$, and disturbance $w(t)=3\sin(t)$, the paper compares ZCBF, RCBF with $B(x)=1/h(x)$, and RRCBF. It reports that without disturbance, RRCBF renders $\mathrm{Int}(\mathcal S)$ invariant, with trajectories starting in $\mathbb S$ remaining there and those starting in the buffer zone converging to $\partial\mathbb S}$. With disturbance, ZCBF and RCBF allow trajectories to exit the safe set, whereas RRCBF prevents boundary violation. The adaptive cruise control study addresses a relative-degree-$>1$ safety constraint: $$ \begin{aligned} \dot v_l &= a_l,\\ \dot v_e &= -\tfrac{1}{m}(f_0+f_1 v_e+f_2 v_e^2)+\tfrac{1}{m}u+w(t),\\ \dot D &= v_l-v_e, \end{aligned} $$ with safety function $b(D)=D-D_0$, desired speed $v_d=20\ \mathrm{m/s}$, $D_0=80\ \mathrm m$, initial $v_l=v_e=15\ \mathrm{m/s}$, $a_l=0$, disturbance $w(t)=\sin(t)-0.5\sin(2t)$, control bound $u\in[-0.3mg,\,0.3mg]$, and gains $k=5$, $\alpha_1=\alpha_2=1$, $\beta=0.01$, observer gain $L=10$. The reported outcome is that RRCBF, DO-RRCBF, and RCBF with known disturbance bounds maintain strict safety under disturbances; DO-RRCBF reduces conservatism by compensating estimated disturbances and recovering nominal performance; and DO-CBF without an explicit estimation-error bound fails to maintain strict safety. Taken together, these results position RRCBF as a specific 2025 development within the broader CBF literature: a reciprocal-resistance augmentation of zeroing-barrier inequalities designed to preserve forward invariance of the interior safe set under bounded disturbances, to extend naturally to higher relative degree, and to admit standard QP-based safety filtering and CLF-CBF synthesis [2507.18888]. Source: https://www.emergentmind.com/topics/reciprocal-resistance-based-control-barrier-function-rrcbf