Search papers, labs, and topics across Lattice.
This paper presents a Transformer-Actor-Critic Model Predictive Control (MPC) architecture that ensures closed-loop stability for complex control problems by proving that Transformer networks can achieve global incremental Input-to-State Stability (未ISS). Utilizing Riemannian contraction theory, the authors analyze the dynamics between the physical plant and the predictive neural network, integrating these theoretical bounds as a training regularizer to develop a certifiably robust policy. The effectiveness of this framework is demonstrated through experiments on a nonlinear 3D drone model performing target-reaching and obstacle-avoidance tasks.
Achieving certifiable robustness in complex control tasks, this novel MPC framework ensures stability through a unique blend of Transformer networks and Riemannian contraction analysis.
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 ($未$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.
