---
title: One-Step CBF-CLF QP
url: https://www.emergentmind.com/topics/one-step-cbf-clf-quadratic-program
type: topic
---

# One-Step CBF-CLF QP

A One-Step CBF-CLF Quadratic Program is a per-sample or per-event convex optimization problem for control-affine systems that enforces safety through Control Barrier Function constraints and stabilization or tracking through Control Lyapunov Function constraints on a single control action at the current state, rather than over a prediction horizon. In the standard formulation, the system is written as \( \dot{x} = f(x) + g(x)u \), the CBF constraint is kept hard to preserve forward invariance of a safe set, and the CLF constraint is often softened by a slack variable so that safety takes priority when the two objectives conflict [2402.08027][2603.19424]. In the literature, the same “one-step” label also covers event-triggered or sample-and-hold implementations that solve the optimization once at an update instant and then hold the input over a certified interval [1903.03692].

## 1. Canonical formulation

For a control-affine system
\[
\dot{x} = f(x) + g(x)u,\quad x\in\mathbb{R}^n,\ u\in\mathbb{R}^m,
\]
the standard one-step CBF-CLF-QP computes the control by solving, at the current state, a strictly convex quadratic objective subject to affine safety and stability inequalities. A generic formulation used in the literature is
\[
\begin{aligned}
&\min_{u,\delta}\quad \tfrac{1}{2}u^\top H u + f_q^\top u + \tfrac{w}{2}\delta^2 \\
\text{s.t.}\quad
&L_f V(x)+L_g V(x)u \le -c\,V(x)+\delta,\\
&L_f h_i(x)+L_g h_i(x)u+\alpha_i(h_i(x)) \ge 0,\quad i=1,\dots,p,\\
&u\in\mathcal{U},
\end{aligned}
\]
where \(V\) is a CLF, \(h_i\) are CBFs, \(H\succ 0\) weights control effort, \(c>0\) sets the CLF decay rate, and \(w>0\) penalizes relaxation of the CLF constraint [2402.08027]. A closely related baseline minimizes \( \|u-u_{\mathrm{nom}}\|_2^2 + p_\delta \delta^2 \) subject to the same structure, with \(u_{\mathrm{nom}}\) interpreted as a nominal or reference control when such a signal is available [2603.19424].

The asymmetry between the constraints is central. The CBF inequality is ordinarily hard, because it encodes forward invariance of the safe set
\[
\mathcal{C}=\{x\in\mathbb{R}^n\mid h(x)\ge 0\},
\]
whereas the CLF inequality is commonly softened by \(\delta\ge 0\) so that feasibility can be retained near safety boundaries or under input limits [2603.19424]. This architecture appears in min-norm, reference-tracking, and filter-based forms. Some implementations omit the slack entirely and instead solve
\[
\min_{u\in U} u^\top u
\]
subject to an ECBF constraint and a hard CLF decrease condition, which yields a simpler but less forgiving feasible set [1903.03692].

The objective is not unique. In some applications the QP is explicitly a minimum-norm projector onto the intersection of CLF and CBF half-spaces; in others it minimizes deviation from a learned policy or a legacy controller. A plausible implication is that the phrase “one-step CBF-CLF-QP” identifies the constraint architecture more than a single cost function: the shared structure is instantaneous optimization over one control move with CBF-enforced safety and CLF-shaped performance.

## 2. Meaning of “one-step”

The “one-step” qualifier distinguishes these controllers from horizon-based methods such as MPC. The optimization is solved at the current time only, producing one control input that is applied immediately; the procedure is then repeated at the next update [2603.18910]. In spacecraft close-proximity operations, for example, the runtime filter is described as “one-step” precisely because it optimizes over a single control input \(u\) at the current time, not over a prediction horizon, and minimally adjusts a learned command to satisfy hard safety constraints while encouraging stability [2603.18910].

A stricter interpretation appears in self-triggered implementations, where the QP is solved once at an event time \(t_k\), yielding \(u_k\), and the input is held under Zeroth-Order Hold:
\[
u(t)=u_k,\quad t\in[t_k,t_k+\tau_k].
\]
The update time is then determined by certified bounds rather than by a fixed clock. In this setting, the “safe period” \(\tau_{\mathrm{CBF}}\) is computed so that the CBF inequality remains satisfied continuously over the hold interval, while a separate \(\tau_{\mathrm{CLF}}\) bounds how long the CLF can continue decreasing under the held control; the next event occurs at
\[
t_{k+1}=t_k+\min(\tau_{\mathrm{CBF}},\tau_{\mathrm{CLF}}).
\]
This construction was introduced to address unnecessary controller updates and possible between-sample safety violations under periodic control [1903.03692].

The self-triggered formulation also changes the interpretation of guarantees. In the double-integrator case study, periodic control with fixed step \(t_p=0.75\) s violated the position constraint \(x_1\ge x_{1,\min}\), whereas the self-triggered controller updated more frequently near the boundary and the CLF update period converged to approximately \(0.3166\) s near equilibrium; the reported QP solve time was approximately \(0.0019\) s per event [1903.03692]. This suggests that “one-step” can refer either to per-sample convex filtering or to a solve-once-and-hold paradigm, provided the optimization remains instantaneous rather than horizon-based.

## 3. Constraint architecture: CBFs, CLFs, and relative degree

The simplest one-step CBF-CLF-QP uses a relative-degree-one CBF,
\[
L_f h(x)+L_g h(x)u+\alpha(h(x))\ge 0,
\]
and an exponential CLF inequality,
\[
L_f V(x)+L_g V(x)u+\epsilon V(x)\le 0,
\]
both affine in \(u\). This is the setting of zeroing CBFs and exponentially stabilizing CLFs in the standard control-affine model [1903.03692]. When the barrier has higher relative degree, the CBF constraint must be lifted. A common construction is the Exponential CBF, which replaces the first-order inequality by
\[
L_f^{r_b}h(x)+L_gL_f^{r_b-1}h(x)\,u + K_b\,\xi_b(x)\ge 0,
\]
with \(K_b\) chosen so that the associated companion dynamics are Hurwitz [1903.03692]. High-order and input-constrained variants play the same role in other domains, including marine vehicles and spacecraft safety filters [2004.01054][2603.18910].

Multiple safety constraints are typically handled by stacking linear inequalities. For soft continuum manipulators, one baseline one-step QP uses one CLF for tip regulation and a separate CBF for every robot–obstacle sphere pair,
\[
a_{i,j}^\top u + b_{i,j}\ge 0,\quad \forall i,j,
\]
together with a soft CLF inequality and optional input bounds [2603.19424]. Because this can create a large number of constraints, an alternative replaces all pairwise barriers by a single log-sum-exp aggregate
\[
h_{\mathrm{LSE}}(q)= -\frac{1}{\kappa}\log\!\Big(\sum_{i,j}\exp(-\kappa h_{i,j}(q))\Big),
\]
for which the paper states the implication \(h_{\mathrm{LSE}}(q)\ge 0 \Rightarrow h_{i,j}(q)\ge 0\ \forall i,j\) [2603.19424].

Other constructions alter the barrier rather than the QP. For relative-degree-two spacecraft keep-out and approach-corridor constraints, an input-constrained barrier
\[
H(x)=h(x)+\frac{|\dot h(x)|\,\dot h(x)}{2u_{\max}}
\]
is used so that the admissibility condition remains affine in the commanded acceleration and explicitly accounts for actuator limits [2603.18910]. For Cassie, multiple non-overlapping obstacles are encoded by a single continuously differentiable composite barrier
\[
B_M(x)=\prod_{i=1}^{M}\sigma_{\kappa_i}(B_i(x)),
\]
where each \(B_i\) is an individual obstacle barrier and \(\sigma_{\kappa_i}\) is a \(C^1\) saturation; the resulting QP size remains constant even as the number of obstacles changes [2301.01906].

These variants preserve the one-step character of the controller while changing its geometry. The underlying pattern is stable: the optimization remains low-dimensional in the control input, but the barrier layer can range from a single first-order inequality to stacked ECBFs, HOCBFs, or smooth aggregated barriers.

## 4. Feasibility, compatibility, and equilibrium pathologies

A central difficulty of one-step CBF-CLF-QPs is that safety and stability constraints can be simultaneously infeasible. This is especially pronounced when fixed CBF decay rates are combined with actuator saturation. One proposed remedy introduces an online CBF decay-rate variable \(\omega\) and solves
\[
\begin{aligned}
\min_{u,\delta,\omega}\quad &
\tfrac{1}{2}(u-u_{\mathrm{ref}})^\top R(u-u_{\mathrm{ref}})+p\,\delta^2+p_\omega(\omega-\omega_0)^2 \\
\text{s.t.}\quad &
L_f V(x)+L_g V(x)u \le -\gamma(V(x))+\delta,\\
&L_f h(x)+L_g h(x)u+\omega\,\alpha(h(x))\ge 0,
\end{aligned}
\]
and the corresponding theorem states that, for any \(x\) with \(h(x)>0\), the one-step optimal-decay CBF-QP and CLF-CBF-QP are feasible and yield a unique optimizer when \(\mathcal{U}_{\mathrm{adm}}(x)\) is convex and nonempty [2103.12375].

Feasibility, however, is not the only structural issue. In the driftless, full-rank setting with quadratic CLFs and multiple quadratic CBFs, it is proved that undesirable equilibrium points occur for most systems, that all nontrivial equilibria lie on safety boundaries, and that their stability depends on the CLF and CBF geometrical properties [2402.08027]. In that analysis, stable boundary equilibria arise when the CLF descent direction is constrained by active barriers in a way that halts progress, and the paper introduces CLF-CBF compatibility as the property that the only stable equilibrium is the CLF global minimum [2402.08027].

A different response is to alter the filter itself. A relaxed-compatibility CBF-CLF-QP replaces the usual stabilizing nominal-controller assumption with a milder boundary condition and solves
\[
\min_{u,s}\ \frac{1}{2}\|u-\pi(x)\|^2+\frac{p}{2}(s-1)^2
\]
subject to
\[
\mathcal L_f b(x)+\mathcal L_g b(x)u+s\,\alpha(b(x))\ge 0,\qquad
\mathcal L_f V(x)+\mathcal L_g V(x)u+\beta(b(x))\gamma(x)\le 0.
\]
Under relaxed compatibility, this program is guaranteed feasible, the optimal control law is locally Lipschitz continuous, safety is guaranteed, local asymptotic stability follows, and there are no equilibrium points in the interior of the control invariant set except at the origin [2407.00414].

For scalar-input systems, recent work goes further and removes online optimization altogether. A necessary and sufficient compatibility condition is derived for simultaneous satisfaction of the CLF and CBF inequalities, and when it holds, two explicit continuous feedback laws built from the Lie-derivative data yield asymptotic stabilization and forward invariance without online quadratic programming [2603.22654]. This suggests that, at least in the single-input case, one-step QP feasibility can be recast as a purely geometric compatibility problem rather than a numerical one.

## 5. Robust, probabilistic, and learning-augmented extensions

The one-step CBF-CLF-QP has been extended to uncertainty, estimation error, and learned model mismatch by modifying either the constraints or the optimization class. Under additive disturbances and state-estimation errors, a robust CBF-FxT-CLF-QP uses tightened barrier inequalities and a fixed-time CLF condition. At each sampling instant, it solves for \(u\) and a CLF slack \(s\) so as to enforce robust static and dynamic CBFs together with
\[
L_f V(\hat{x}) + L_g V(\hat{x})u
\le
-\alpha_1 \hat V(\hat{x})^{\gamma_1}
-\alpha_2 \hat V(\hat{x})^{\gamma_2}
+\delta_1 \hat V(\hat{x}) + l_V\gamma + s,
\]
which the paper uses to guarantee robust forward invariance of the safe sets and fixed-time convergence to the goal set under its assumptions [2004.01054].

When uncertainty is modeled nonparametrically, the one-step QP often becomes a second-order cone program. In GP-CBF-CLF-SOCP, Gaussian-process posterior mean and variance terms are inserted into the nominal CLF and CBF Lie derivatives, producing chance constraints of the form
\[
L_{\tilde f}h + L_{\tilde g}h\,u + \mu_h(x,u) - \beta \sigma_h(x,u) + \alpha(h(x)) \ge 0,
\]
and analogous CLF inequalities. The resulting deterministic reformulation is convex, and the paper derives necessary and sufficient pointwise feasibility conditions for the SOC CBF constraint [2106.07108].

Learning-based formulations preserve the one-step filter but learn the model errors inside it. In RL-CBF-CLF-QP, reinforcement learning estimates affine corrections to the CLF, CBF, and other control-affine constraints, and the online controller solves a one-step QP over the transverse input \(\mu\) using these learned corrections [2004.07584]. In a separate output-feedback line, confidence-aware safe and stable control uses an observer state \(\hat{x}\), an EKF-style confidence matrix \(S=P^{-1}\), and a convex one-step program with objective
\[
\frac{1}{2}u^\top R_u u - c_1 \lambda_{\min}(S_{\mathrm{next}}) + p\delta^2,
\]
so that the controller simultaneously enforces a CLF-CBF filter and increases the observer’s slowest-mode confidence [2403.09067].

Attack models lead to yet another modification. For control-input false data injection attacks satisfying an at-most-exponential envelope, an attack-resilient one-step CLF-CBF-QP adds adaptive compensation terms to both constraints and proves uniformly ultimately bounded stability and uniform ultimate safety under the stated growth assumptions [2605.20144]. Across these extensions, the basic one-step idea remains intact: the controller still computes a single control move from current information, but the admissible half-spaces are replaced by robust, probabilistic, learned, or adaptive surrogates.

## 6. Applications, computation, and departures from QP

One-step CBF-CLF-QPs are used as real-time filters in settings where the optimization dimension is small enough for online deployment. In spacecraft close-proximity operations, a runtime filter based on CWH dynamics solves
\[
\min_{u,\delta}\ \tfrac{1}{2}\|u-u_{\mathrm{NN}}\|_2^2+\tfrac{1}{2}w_\delta\delta^2
\]
at \(T_s=0.1\) s while enforcing hard barrier constraints for a spherical keep-out zone or conical approach corridor and a soft CLF centered at decision points. Representative compute times are reported as an average of \(5.8\) ms on a PC and \(28.1\) ms on an ESP32-S3-N16R8, both within the \(10\) Hz update budget [2603.18910].

In tendon-driven soft continuum robots, the baseline one-step CLF-CBF-QP is used for whole-body obstacle avoidance with pairwise sphere barriers. The paper reports a QP solver runtime of \(45.53\ \mu\)s/call and a closed-form replacement runtime of \(4.22\ \mu\)s/call on CPU, corresponding to a speedup of approximately \(10.8\times\); it also reports that sampling-based planning took approximately \(244\) s in one setpoint experiment [2603.19424]. That comparison is significant because it shows why alternatives to one-step QPs are being pursued: the QP is already real-time, but analytic reductions can matter when the number of barriers grows with spatial discretization.

Locomotion and navigation supply a different class of demonstrations. Cassie uses a one-step CLF-CBF-QP together with a single continuously differentiable multi-obstacle barrier built from LiDAR-derived obstacle approximations, enabling safe planning around multiple non-overlapping obstacles in simulation and experiment [2301.01906]. In multi-goal reach-and-avoid navigation, the QP itself can remain unchanged while the engaged CLF is switched according to a conflict metric based on cosine similarity between \(\nabla V\) and \(\nabla h\); in multi-agent multi-goal experiments, this conflict-aware switching reduced both completion time and timeout rates relative to a baseline sequential goal policy [2606.21577].

The computational record therefore supports two complementary conclusions. First, one-step CBF-CLF-QPs are sufficiently light for many embedded and robotic applications. Second, their known limitations—constraint conflict, conservatism, scaling with many barriers, and equilibrium pathologies—have motivated closed-form controllers, compatibility-based redesigns, and switching or aggregation mechanisms rather than abandonment of the one-step paradigm itself.

Source: https://www.emergentmind.com/topics/one-step-cbf-clf-quadratic-program