Adaptive Barrier-Margin Regularization
Implementation & benchmark of arXiv:2607.15961 — Dynamic Constraint Reconstruction Based Control Barrier Functions for Safety-Critical Control of High-Dimensional Manipulators
Source paper: Dynamic Constraint Reconstruction Based Control Barrier Functions for Safety-Critical Control of High-Dimensional Manipulators arXiv:2607.15961 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train a neural policy against the same dynamically reconstructed barrier used during inference. Penalize barrier violations using the current observer uncertainty margin, causing the policy to avoid states where safety would require large corrective projections.
Formulas
Mathematical statement
Let $u_\theta(x)$ be a neural policy, and let $\hat d_t$ and $\varepsilon_{d,t}$ denote the disturbance estimate and uncertainty radius. Define the reconstructed barrier residual $r_t=\kappa\varepsilon_{d,t}-\hat\psi_2(x_t,\hat d_t,u_\theta(x_t))$. Penalize positive residuals with a smooth squared softplus term. The uncertainty radius is adapted from observed residual errors and should provide empirical coverage $\Pr(\|d-\hat d\|\leq\varepsilon_d)\geq1-\delta$. This transfers the paper's safety-margin mechanism into a policy regularizer while retaining an inference-time barrier filter.
Implementation notes
Add the adaptive barrier term to supervised control learning, behavioral cloning, or actor updates in an RL algorithm. Keep the inference-time QP safety filter active, but train the policy to produce actions that satisfy the reconstructed constraint before projection. Initially detach $\hat d$ and $\varepsilon_d$ from policy gradients so the policy cannot manipulate the observer or uncertainty estimate. For every transition, update the observer, estimate the one-step residual from a known or learned dynamics model, update $\varepsilon_d$ using the displayed clipped Robbins-Monro rule, compute $r_t$, and backpropagate $L_{\mathrm{task}}+\beta\operatorname{softplus}(r_t/\tau)^2$. If true disturbances are unavailable, use held-out model residuals in simulation where the perturbation is known. The first experiment should behavior-clone an inverse-dynamics controller for a cart-pole or two-dimensional point mass with bounded unmodeled force. Compare ordinary training, a fixed robust barrier penalty, and the adaptive reconstructed penalty. Record violations, QP intervention norm, tracking error, and empirical uncertainty coverage while sweeping disturbance amplitude. The prediction is a calibration transition: below the observer's capacity, coverage remains above $1-\delta$, violations remain near zero, and intervention norm decreases; once disturbance amplitude causes coverage to fall below $1-\delta$, violations rise sharply unless the margin is enlarged.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built and ran an adaptive barrier-margin regularization MVP with baseline, fixed-margin, and adaptive-margin policies plus an inference-time projection filter. The update’s fixed point, convergence factor, and linear scaling with disturbance amplitude matched predictions closely, but the mean-error Robbins–Monro update produced about 0.625 coverage rather than the claimed 0.9 coverage. The mechanism is visible as an adaptive safety/tracking tradeoff, but the full safety claim did not hold, so worked=false.
- Agent confidence
- 9/10
- Baseline
- Across sigma={0.05,0.10,0.20,0.40}: post-filter violations 0.497, intervention 0.700, tracking MSE 0.498.
- Idea
- Adaptive epsilon={0.0447,0.0894,0.1787,0.3575}; post-filter violations={0.0003,0.0174,0.0671,0.1223}, intervention=0 in all cases, tracking MSE={0.759,0.835,0.998,1.370}. Predicted epsilon fixed point 0.355556 vs observed 0.355556; predicted convergence factor 0.775 vs observed 0.775000; predicted and observed coverage were approximately 0.6247 and 0.625.
Limitations: This is a scalar supervised toy experiment, not cart-pole, RL, a learned observer, or a real QP safety filter. Gaussian disturbances were used; quantile/conformal calibration, long-horizon closed-loop dynamics, and formal safety guarantees were not tested.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- REPORT.md 2.4 KB View
- experiment.py 4.2 KB View Raw
- report.md 1.6 KB View
- results.json 4.2 KB View Raw