https://the-digital-twin.com/news/formal-synthesis-of-robust-koopman-model-predictive-control-1b05ba
Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion...
Sep 15, 2026 - arXiv:2609.15197v1 Announce Type: new Abstract: This letter proposes a formal synthesis of Robust Koopman-Model Predictive Control (RK-MPC), a novel...
model predictive controlformal synthesiscase studyac dcpower conversion
https://www.dimi.univr.it/;jsessionid=abcgyZ-izEZ9Q6-Qf-zuz?ent=progetto&id=5514&lang=en
ROS-based design and synthesis of monitors for semi-formal verification of robotics...
Dep.Department of Engineering for Innovation Medicine,University of Verona
semi formalrosbaseddesignsynthesis