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.