aiqbench analysis
This research establishes formal stability guarantees for Transformer-based Model Predictive Control by proving global incremental Input-to-State Stability and applying Riemannian contraction theory to physical plant dynamics. By integrating these theoretical bounds as training regularizers, the approach yields certifiably robust policies validated on complex nonlinear drone maneuvers. This work bridges the gap between deep learning flexibility and rigorous control theory requirements for safe autonomous systems.
Stable Transformer-Actor-Critic Model Predictive Control: A Contraction Analysis Approach
arXiv:2606.20197v3 Announce Type: replace Abstract: Actor-Critic Model Predictive Control (MPC) effectively addresses complex, non-convex control problems, but guaranteeing the closed-loop stability of sequence-based learning models within these pipelines remains challenging. This paper introduces a novel Transformer-Actor-Critic MPC architecture with formal robustness guarantees. First, we prove that Transformer networks can satisfy global incremental Input-to-State Stability ($\delta$ISS). We then leverage Riemannian contraction theory to analyze the interconnected dynamics between the physical plant and the predictive neural network. Finally, we integrate these theoretical bounds as a training regularizer to yield a certifiably robust policy. The framework is validated on a nonlinear 3D drone model executing target-reaching and obstacle-avoidance maneuvers.
Abstract:Actor-Critic Model Predictive Control (MPC) effectively addresses complex, non-convex control problems, but guaranteeing the closed-loop stability of sequence-based learning models within these pipelines remains challenging. This paper introduces a novel Transformer-Actor-Critic MPC architecture with formal robustness guarantees. First, we prove that Transformer networks can satisfy global incremental Input-to-State Stability ($\delta$ISS). We then leverage Riemannian contraction theory to analyze the interconnected dynamics between the physical plant and the predictive neural network. Finally, we integrate these theoretical bounds as a training regularizer to yield a certifiably robust policy. The framework is validated on a nonlinear 3D drone model executing target-reaching and obstacle-avoidance maneuvers.
Robotics (cs.RO)
arXiv:2606.20197 [cs.RO]
(or arXiv:2606.20197v3 [cs.RO] for this version)
https://doi.org/10.48550/arXiv.2606.20197 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 192 words
Related coverage
News Archive 2026
Quantum Computing Report · Jul 25, 2026
The J-Space Debate, Agent Swarms, and Pacing Frontier AI - Digital Minds Newsletter #4
LessWrong · Sep 18, 2026

Little Venice, Little Sparta: The UAE Statecraft Meets The War On Iran - Analysis
eurasiareview.com · Sep 24, 2026

News
Quantum Computing Report · Jul 25, 2026