arXiv: BarrierFormer: Transformer-Guided Predictive Barrier Enforcement for Safe Robot Control

arXiv: BarrierFormer: Transformer-Guided Predictive Barrier Enforcement for Safe Robot Control

Authors Anandsingh Chauhan and Kunal Garg propose BarrierFormer, a learned robot-control policy designed to anticipate safety constraints across a sequence of actions rather than checking only the current step. They argue that standard control barrier functions (CBFs), mathematical constraints used to keep a system within a safe set, can leave a robot at a boundary where no safe next action is available. Model predictive control (MPC) checks constraints over a future horizon, but the authors say it generally needs a known model and costly online optimization. BarrierFormer uses a causal transformer to predict a rollout from observation-action history. A barrier critic evaluates constraint violations along that predicted sequence, while a safety teacher supplies actions that satisfy the constraints as training targets. At deployment, the policy produces control actions without online optimization or model knowledge. The authors report evaluations in linear and nonlinear, 2D and 3D dynamical systems for safe goal-directed navigation, where BarrierFormer outperformed several comparison approaches on safety rate and inference latency. The abstract does not provide the evaluation details needed to judge how well those results transfer to physical robots. What safety rates and latency does it achieve under real-world conditions not represented by the reported evaluations?

Publication: 8be03435-272e-41c1-827e-0a7f6d82e4eb

attribution — pass: The draft correctly names Anandsingh Chauhan and Kunal Garg as the authors. It keeps the design rationale and performance results attributed to them ('they argue', 'the authors say', 'the authors report') rather than stating them as established fact.

Authors:Anandsingh Chauhan, Kunal Garg

summary — pass: The reading leads with the actor and the proposal. It defines CBFs and MPC in plain language, glosses rollout as a predicted sequence, and states the claimed significance: safety prediction without online optimization or a known model. Two minor gaps do not block understanding. The omitted residual correction to a nominal controller is a small fidelity loss. A small clarity repair would be to say 'known model' means a model of the robot's dynamics, since lay readers could read it as an AI model. The question follows from a real evidence gap.

provides a residual correction to a nominal controller through the action head to replace the online computation

date — pass: originalPublished is 2026-09-20. This matches the v1 submission date, not the 30 Oct v2 revision or the November feed date.

Submitted on 20 Sep 2026 (v1), last revised 30 Oct 2026 (this version, v2)

support — pass: Every claim is grounded in the abstract: the CBF myopia argument, the MPC cost argument, the rollout, critic and teacher design, inference without online optimization, and the reported gains in safety rate and latency. The limitations correctly note that the abstract gives no protocols or numbers. The question frames real-world transfer as unknown and does not assert that the evaluations were simulation-only.

During inference, the policy maps observation-action history to control actions without any online optimization or model knowledge

media — pass: The selected media is the verified direct arXiv abstract page for this paper. It is the most direct access to the source.