Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
arXiv:2609.15197v1 Announce Type: new Abstract: This letter proposes a formal synthesis of Robust Koopman-Model Predictive Control (RK-MPC), a novel data-driven approach to formal synthesis of systems with nonlinear dynamics.