Computationally Efficient Near-Optimal Control for Current Ripple Reduction and Optimization of Three-Phase Motors via LMIs

技術要約：LMIを用いた三相モータの電流リップル低減のための計算効率の高い準最適制御

問題提起
電圧源インバータ（VSI）によって駆動される三相永久磁石同期電動機（PMSM）の最適制御は、システムの非線形性と制御集合（有限制御集合、FCS）の離散的な性質により、本質的に困難である。既存の解決策は二極化している。混合整数軌道最適化手法はリアルタイム実装において計算コストが高すぎる場合が多く、一方で値反復法（value-iteration approaches）は、システムの次元やグリッドの粒度が増大するにつれて、過剰な時間と記憶容量を必要とする「次元の呪い」に苦しむ。さらに、空間ベクトル変調（SVM）などの変調方式を用いる従来の間接制御法は、一定のスイッチングレートを強制するため、バッテリー駆動アプリケーションにおけるエネルギーと性能のトレードオフにおいて非効率となる可能性がある。本論文の目的は、制御依存の性能限界を効率的に特徴付け、電流リップルの低減とスイッチング努力のバランスをとるスイッチング戦略を提供し、ハードウェアおよび設計パラメータの迅速な評価を可能にすることである。

手法
著者らは、最適制御問題の無限ホライゾン・バリュー関数を近似するために、線形行列不等式（LMI）ベースのフレームワークを提案している。核となる手法は以下の通りである：

1. システムモデリング： PMSMをロータ座標系でモデル化し、マルチレベルインバータの離散的なスイッチング状態から導出される有限制御集合を用いる。ダイナミクスは、有限個の電圧ベクトルを持つサンプリングデータシステムとして扱われる。
2. バリュー関数の近似： ベルマン方程式を直接解く代わりに、反復的ベルマン不等式（$\hat{V} \leq T^M \hat{V}$）を満たすバリュー関数の下界近似 $\hat{V}$ を求めることで問題を緩和する。
3. 二次形式によるパラメータ化： 近似バリュー関数は、ロータ角に依存しない二次形式（$\hat{V}(\xi) = \xi^\top P \xi + 2q^\top \xi + r$）としてパラメータ化される。この選択は、ロータ角が制御不能な変数であるという事実に着想を得ている。
4. LMI定式化： すべての状態とロータ角に対してベルマン不等式が成立するという条件を、S-procedureを用いてLMIのシステムへとキャストする。これにより、問題は扱いやすい凸最適化プログラム（具体的には半正定値計画問題）へと変換され、オフラインで解くことが可能となる。
5. 制御則： 計算されたバリュー関数は、オンラインではホライゾン1のモデル予測制御（MPC）則における「テイルコスト（tail cost）」として使用される。各タイムステップにおいて、コントローラは即時追従誤差と、事前に計算された $\hat{V}$ によって推定される割引将来コストの和を最小化する離散電圧ベクトルを選択する。
6. 安定性検証： クローズドループシステムの実行可能安定性を保証するための検証手順が開発された。これには、バリュー関数の劣レベル集合 $\Omega_\delta$ の正の不変性の証明と、無限ホライゾン平均コスト（電流リップル）の上限の確立が含まれる。

主な貢献

• 効率的なオフライン合成： LMIを用いてバリュー関数を近似する手法を導入しており、これは従来の価値反復法よりも大幅に高速である。
• 角度に依存しないパラメータ化： 二次かつ角度に依存しない基底関数を用いて、すべてのロータ回転角に対してベルマン不等式を強制するLMIベースの条件を導出した。
• 実用的な安定性認証： クローズドループシステムの正の不変性を認証し、定常性能を束縛する検証手順を開発した。
• 低オーバーヘッドのオンライン制御： 有限制御集合MPC（FCS-MPC）のような重いオンライン最適化の負担を回避し、有限集合上の二次関数の評価のみを必要とする、計算効率の高いスイッチング則を実現した。

結果
電気自動車用途を想定したPMSMモデルを用いて、提案されたLMI-ADP法を、標準的なPI制御＋空間ベクトル変調（PI-SVM）およびFCS-MPCと比較するシミュレーションを実施した。

• 性能： 提案手法は、全高調波歪み（THD）とスイッチング回数の間で良好なトレードオフを実現している。性能は、通常より長い予測ホライゾンを使用するFCS-MPCに匹敵し、一定のスイッチング努力量に対してはPI-SVMを大幅に上回るリップル低減性能を示す。
• 計算コスト：
  • オフライン： LMIベースの合成は、価値反復法よりも数桁高速である。2レベルインバータの場合、LMI法は約4秒であったのに対し、価値反復法は約55分を要した。
  • オンライン： LMI-ADPコントローラのオンライン計算負荷は約0.36 ms（MATLAB内）であり、これはFCS-MPC（約13.4 ms）よりも大幅に低く、PI-SVM（約5.5 µs）よりはわずかに高い。著者らは、組み込み実装によってLMI-ADPの時間をマイクロ秒レベルまで短縮できると述べている。
• スケーラビリティ： 本手法はマルチレベルインバータ（最大5レベル）にも拡張可能であり、オフライン計算時間は管理可能な範囲に留まっている（例：5レベルインバータで約30秒）。

意義と主張
本論文は、提案されたLMIベースのアプローチが、スイッチング努力と電流リップルの間で「良好なトレードオフ」を提供し、FCS-MPCと同等の性能を達成しつつ「大幅に低い計算コスト」を実現すると主張している。主な意義は、バリュー関数を効率的に計算することで、システム構成や設計パラメータ（インバータのレベル数など）を迅速に評価できる点にある。これにより、現代の電気自動車におけるハードウェアと制御ポリシーの協調設計（co-design）が容易になる。

著者らは、自身の研究の限界についても謙虚な姿勢を維持している。二次基底関数を使用しているため、近似は価値反復法によって得られる真値と比較して「タイトさに欠ける（far from tight）」ことを認めており、これがバリュー関数の表現力を制限している。したがって、本手法は公称モデルに基づいて開発されており、パラメータ変動に対するロバスト性や実験的な検証が今後の調査課題として挙げられている。本論文は、すべてのスイッチングシステムに対する一般的な最適制御問題を解決することを目的としているのではなく、特に有限制御集合を持つPMSMの性能上限を効率的に特徴付けることを目的としている。