TY  - RPRT
TI  - Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
AU  - Shun Hirose
AU  - Shiu Mochiyama
AU  - Yoshihiko Susuki
PY  - 2026
UR  - https://arxiv.org/abs/2609.15197
ID  - 2609.15197
ER  -