arXiv Machine Learning

Certified Neural Approximation of Robust Nonlinear Model Predictive Control

The paper presents a framework for creating neural network controllers that inherit the safety and stability guarantees of a robust model predictive control (MPC) policy. By treating the neural network’s approximation error as a bounded input disturbance and incorporating it into the MPC design, the method ensures recursive feasibility and stability before deployment. The approach is offline and constructive, requiring only Lipschitz bounds, and simulations show the learned controller matches the original MPC’s closed‑loop behavior while reducing online computation.

arXiv Machine Learning
Oct 16

Planning to Learn: Real-Time Robust Adaptive Control on the GPU with Guaranteed Future Learning

The paper introduces A‑SLS, a learning‑aware robust adaptive model predictive control framework that forecasts future parameter uncertainty and preserves correlations among disturbances, parameter errors, and estimate updates to build tight reachable sets. It presents a GPU‑accelerated solver enabling real‑time performance on high‑dimensional systems, demonstrated on a quadruped with 61 states and a Crazyflie drone that learns dynamics online to stabilize during flight.

By Anutam Srinivasan, Siddhant Panse, Glen Chou
arXiv Machine Learning
Jun 4

Certified Neural Approximations of Nonlinear Dynamics

arXiv:2505. 15497v3 Announce Type: replace Abstract: Neural networks hold great potential to act as approximate models of nonlinear dynamical systems, with the resulting neural approximations enabling verification and control of such systems.

By Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate
arXiv AI
Jul 2

GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics

arXiv:2607. 01203v1 Announce Type: cross Abstract: This paper studies real-time robust optimal control for uncertain nonlinear systems, where linear time-varying (LTV) approximations make planning tractable but require sound linearization error bounds (LEBs) to guarantee robust constraint satisfaction.

By Jeffrey Fang, Keyi Shen, Anutam Srinivasan, Glen Chou
arXiv Machine Learning
Aug 11

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics

arXiv:2604. 26836v3 Announce Type: replace Abstract: Predictive safety filters (PSFs) leverage model predictive control to enforce constraint satisfaction during deep reinforcement learning (RL) exploration, yet their reliance on first-principles models or Gaussian processes limits scalability and broader applicability.

By Bernd Frauenknecht, Lukas Kesper, Daniel Mayfrank, Henrik Hose, Sebastian Trimpe