General
Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion
arXiv cs.SY0 views
arXiv:2609.15197v2 Announce Type: replace 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.
Source：https://arxiv.org/abs/2609.15197PreviousTotal Variation Distance Estimation in Autoregressive ModelsNextComputationally Constrained First-Order Prediction-Correction Approach for Time-Varying Convex Optimization
Related posts
Trefftz DG Approximation of the T-Matrix for Scattering by Periodic Layered Structures
0arXiv cs.NA
Ferrofluids: Modeling and Approximation
0arXiv cs.NA
Variable decoupling and the Kolmogorov Superposition Theorem for rational functions
0arXiv cs.NA
Subagents Conwidered Harmful
0Hacker News New
Verano, AMD's first step toward a Zen-based superchip to rival Vera Rubin
0Hacker News New
Monads in Lean
0Hacker News New