[論文レビュー] Proofs of "LQG Control For MIMO System Over Multiple TCP-like Erasure Channels"

Emanuele Garone, Bruno Sinopoli+2 more|ArXiv.org|Sep 11, 2009

Cybersecurity and Information Systems被引用数 3

ひとこと要約

本稿は、複数のTCPに類似した消失チャネルを介するMIMOシステムにおける無限時間LQG制御について、制御リカッチ方程式の存在および収束を厳密に証明する。新規の行列代数的アプローチにより閉形式の制御則を導出し、共分散行列に作用する線形作用素に基づくリャプノフ型議論を用いて安定性を証明する。

ABSTRACT

Here we will provide the proofs of the results stated in the Infinite Horizon LQG Control section of [1] by focusing on the control law and the related MARE. The analysis of the observation case can be achieved in a dual way and it is partially covered by [2].

研究の動機と目的

• 複数のTCPに類似した消失チャネル下でのMIMOシステムにおける制御リカッチ方程式の存在および収束を厳密に証明すること。
• チャネル状態の実現値の下での二次的コスト関数の最小化を通じて、導出された制御則の最適性を確立すること。
• 共分散行列に作用する線形作用素を用いた議論により、リカッチ反復の単調性および収束を示すこと。
• 安定性および性能のための等価なLMI条件を導出し、制御方策の数値的検証を可能にすること。
• 双対性原理を用いて部分的にカバーされた双対観測ケースへの分析の拡張。

提案手法

• 消失確率に重み付けされたすべてのチャネル状態サブセットの期待値を用いて、制御リカッチ方程式（MARE）を導出する。
• すべてのチャネル状態実現値における期待コストを集約する補助関数 φ(K,X) を導入し、フィードバックゲイン K をパrameterとする。
• 最適ゲイン K̄_X が φ(K,X) を最小化することを証明し、閉形式解 K̄_X = -AᵀXB̄N [Σ_I η_I²(N_I(U+BᵀXB)N_I)]⁻¹ を得る。
• 共分散行列の時間発展をモデル化するための線形作用素 L(Y) = Σ_I η_I²(F_I Y F_Iᵀ) を用い、収束解析を可能にする。
• シュール補題および同値変換を用いて、リカッチ不等式を線形行列不等式（LMI）に変換する。
• 安定化解の存在と導出されたLMIの可解性の等価性を確立する。

実験結果

リサーチクエスチョン

• RQ1 複数の消失チャネルを介するMIMOシステムにおける無限時間LQG制御問題は、一意の安定化解を有するか？
• RQ2 最適制御則は閉形式で表現可能であり、すべてのチャネル状態実現値においてグローバル最適であるか？
• RQ3 リカッチ反復が一意の固定点に収束する条件は何か？
• RQ4 安定化解の存在を特徴付ける等価なLMI条件は存在するか？
• RQ5 制御則下でシステムの共分散はどのように変化するのか？安定性はどのような保証があるか？

主な発見

• 最適制御ゲイン K̄_X は補助関数 φ(K,X) の最小化者として得られ、リカッチ方程式が満たされることを保証する。
• 正定値解が存在する条件下で、任意の初期共分散 S₀ ≥ 0 に対して、リカッチ反復は一意の固定点 S̄ に収束する。
• 線形作用素 L(Y) を用いたリャプノフ型議論により収束が証明され、スペクトル半径が 1 より小さいとき、Lᵏ(W) → 0 (k → ∞) が成り立つ。
• 作用素 L(Y) が、ある正定値 Y に対して Y > L(Y) を満たす条件下で、線形的かつ単調的かつ収縮的であることが示された。
• 等価なLMI条件が導出され、安定化解の存在が、特定の変数 Y および Z を含むあるLMIの可解性と等価であることが証明された。
• LMIの定式化により、安定化解の数値的検証が可能となり、制御器設計のための計算フレームワークが提供された。