VigilMPC: Certified Online Tube Model Predictive Control for Safe Real-Time Neuromodulation
VigilMPC accepts a predictor update only when a backup plan remains feasible under tightened constraints. Recursive feasibility and constraint satisfaction follow under the tube MPC assumptions. Evaluation uses simulated neural dynamics and a switching benchmark, rather than clinical deployment.
Can a predictive controller safely update its learned dynamics online? model predictive control MPC stability recursive feasibility distributed control system level synthesis learning augmented algorithms algorithms with predictions competitive analysis robustness consistency online optimization