[论文解读] 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系統，提供了無限時 horizon LQG控制的嚴謹證明，確立了控制Riccati方程的存在性與收斂性。透過一種創新矩陣代數方法推導出閉式控制律，並使用基於共變異數矩陣上線性算子的類Lyapunov論證證明穩定性。

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系統，嚴謹證明控制Riccati方程的存在性與收斂性。
• 透過在所有通道狀態實踐上最小化二次成本函數，確立所推導控制律的最優性。
• 利用作用於共變異數矩陣的線性算子，證明Riccati迭代的單調性與收斂性。
• 推導穩定性與性能的等價LMI條件，以實現控制策略的數值驗證。
• 將分析擴展至雙重觀測情形，部分透過對偶原理覆蓋。

提出的方法

• 透過對所有通道狀態子集取期望，並以丟失機率加權，推導控制Riccati方程（MARE）。
• 引入輔助函數 φ(K,X)，其聚合所有通道狀態實踐下的期望成本，參數化於反饋增益K。
• 證明最佳增益 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ᵀ) 來描述共變異數矩陣的演化，進而實現收斂性分析。
• 應用Schur補與合逿變換，將Riccati不等式轉化為線性矩陣不等式（LMI）。
• 確立穩定解的存在性與所推導LMI可行性的等價性。

实验结果

研究问题

• RQ1 多個丟失通道上的MIMO系統無限時 horizon LQG控制問題是否具有唯一的穩定解？
• RQ2 最佳控制律能否以閉式表達？其在所有通道狀態實踐下是否為全域最優？
• RQ3 Riccati迭代在何種條件下會收斂至唯一不動點？
• RQ4 是否存在等價的LMI條件，以表徵穩定解的存在性？
• RQ5 系統的共變異數在控制律下如何演化？有何保證穩定性？

主要发现

• 最佳控制增益 K̄_X 確認為輔助函數 φ(K,X) 的最小化者，確保Riccati方程成立。
• 在存在正定解的條件下，Riccati迭代對任意初始共變異數矩陣 S₀ ≥ 0，均收斂至唯一不動點 S̄。
• 透過使用線性算子 L(Y) 的類Lyapunov論證證明收斂性，顯示當譜半徑小於1時，Lᵏ(W) → 0（k → ∞）。
• 證明算子 L(Y) 在條件 Y > L(Y)（對某正定Y）下為線性、單調且收縮的。
• 推導出等價的LMI條件，證明穩定解的存在性等價於特定LMI（變數為Y與Z）的可行性。
• LMI公式化使得穩定解的數值驗證成為可能，並為控制器設計提供計算框架。