arXiv AI

Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems

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
Oct 22

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.

By Hendrik Alsmeier, Maik Pfefferkorn, Rolf Findeisen
arXiv AI
Aug 5

Shielding for Higher-Order Safety

arXiv:2608. 03662v1 Announce Type: new Abstract: Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety.

By Filip Cano, Thomas A. Henzinger, Konstantin Kueffner