[論文レビュー] Distributed Control Subject to Delays Satisfying an $\\mathcal{H}_\\infty$ Norm Bound

Nikolai Matni|arXiv (Cornell University)|Feb 7, 2014

Stability and Control of Uncertain Systems被引用数 5

ひとこと要約

本稿では、強い連結性を持つネットワークにおける通信遅延制約下で、凸的でLMIに基づく分散$η_\infty$コントローラ設計手法を提示する。コントローラーを局所的な有限インパulse応答（FIR）成分と、グローバルに遅延された無限インパulse応答（IIR）成分に分解することにより、合成問題は取り扱いやすい可解性テストに簡略化され、安定性と遅延誘発情報構造を保証する部分最適$η_\infty$性能が実現可能となる。

ABSTRACT

This paper presents a characterization of distributed controllers subject to delay constraints induced by a strongly connected communication graph that achieve a prescribed closed loop $\\mathcal{H}_\\infty$ norm. Inspired by the solution to the $\\mathcal{H}_2$ problem subject to delays, we exploit the fact that the communication graph is strongly connected to decompose the controller into a local finite impulse response component and a global but delayed infinite impulse response component. This allows us to reduce the control synthesis problem to a linear matrix inequality feasibility test.

研究の動機と目的

• 大規模システムにおける通信遅延制約下での部分最適分散$η_\infty$制御問題に対処すること。
• 通信グラフの強い連結性を活用して、$η_2$にインspiredされたFIR分解手法を$η_\infty$設定に拡張すること。
• 遅延制約下での$η_\infty$制御合成問題を、有限次元的で凸的な定式化として提示し、体系的なコントローラ設計を可能にすること。
• 「1984年」の$η_\infty$アプローチの計算負荷が大きいにもかかわらず、問題が取り扱いやすいLMI可解性テストを備えていることを示すこと。
• 遅延制約付き$η_\infty$制御が有限次元的にパラメータ化可能であることを示し、スケーラブルで明示的な解法の基盤を築くこと。

提案手法

• 通信グラフの強い連結性を活用して、分散コントローラーを局所的な有限インパulse応答（FIR）成分と、グローバルに遅延された無限インパulse応答（IIR）成分に分解する。
• FIR成分から導出される伝達関数行列のハンケルノルムに基づいて、線形行列不等式（LMI）可解性テストとして制御合成問題を定式化する。
• 非凸的な$η_\infty$問題を凸的可解性テストに還元するために、「1984年」の$η_\infty$制御アプローチ（スペクトル因数分解とネハリ近似）を用いる。
• コントローラーを$Q = V + \Delta_N D(V)$として構築する。ここで$V$はFIRフィルタであり、$D(V)$は状態空間解から導出されたIIR成分である。
• 性能バウンディング$\gamma$を再帰的アルゴリズムで調整し、LMI可解性条件$\|\tilde{\Gamma}_{\hat{R}_1}\| < 1$が満たされるまで繰り返す。
• 実装のための必要な伝達関数因数分解と近似を計算するために、付録の状態空間式を用いる。

実験結果

リサーチクエスチョン

• RQ1 通信遅延制約下での分散$η_\infty$制御問題は、凸的で有限次元の最適化問題に簡略化可能か？
• RQ2 通信グラフの強い連結性は、コントローラーをFIRと遅延付きIIR成分に分解するためにどのように活用可能か？
• RQ3 ハンケルノルムは、遅延制約下での所望の$η_\infty$性能バウンディングを達成するための可解性をどのように特徴付けるか？
• RQ4 提案手法は、遅延制約下での集中型$η_\infty$コントローラと比較して、どの程度の性能を維持するか？
• RQ5 LMIベースの定式化は、将来的な拡張（通信遅延の共同設計やコントローラー拡張）をサポートできるか？

主な発見

• 完全情報とFIRフィルタ制約下での3プレイヤー鎖状例において、提案手法は閉ループ$η_\infty$ノルム0.9772を達成し、中央集権的最適値と一致した。
• FIRフィルタのスパarsity制約下でも、同じ最適$η_\infty$ノルム0.9772が達成され、遅延のみのコントローラー（ノルム1.6856）と比較して顕著な性能向上を示した。
• 一般出力フィードバックケースでは、分散コントローラーが閉ループノルム1.515を達成し、中央集権的最適値1.502に非常に近い値であった。
• 同様の設定で遅延のみのコントローラーは、はるかに高いノルム2.213を示し、FIR成分の統合による性能向上が明確に示された。
• LMI可解性テストは、所望の$η_\infty$ノルムバウンディングを満たすコントローラーを正しく同定した。理論的定式化の正しさが裏付けられた。
• 本手法は、遅延制約付き$η_\infty$制御が有限次元的で凸的なパラメータ化を許容することを確認し、スケーラブルな拡張の道筋を示した。