Все новости
Цифровой Двойник

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.

Заголовок оригинала
Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
Читать первоисточник: arXiv — Systems and Control (eess.SY)

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.