All news

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.

Original headline
Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
Read the original: arXiv — Systems and Control (eess.SY)

Translation and summary are machine-generated from the source. The full article is not republished; its rights belong to the source.