Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
arXiv:2609.15197
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. We formulate a novel optimization problem for RK-MPC by incorporating specifications described by Signal Temporal Logic and prove its closed-loop performance. Effectiveness of the proposed RK-MPC is evaluated by applying it to the reliable design of an AC-DC power converter.
arXiv comment6 pages, 3 figures, 1 table