arXiv Science⌕ Search

arXiv subjects

Shun Hirose

Publications and source records attributed to Shun Hirose.

2 recordsLinked to original sources
arXiv2026

Experimental Realization of Koopman-Model Predictive Control for an AC-DC Converter

This paper experimentally demonstrates the Koopman-Model Predictive Control (K-MPC) for a real AC-DC converter. The converter is typically modeled with a nonlinear time-variant plant. We introduce a new dynamical approach to lifting measurable dynamics from the plant and constructing a linear time-invariant model that is consistent with control objectives of the converter. We show that the lifting approach, combined with the K-MPC controller, performs well across the full experimental system and outperforms existing control strategies in terms of both steady-state and transient responses.

eess.SY↗
arXiv2026

Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion

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.

eess.SY↗