跳轉到

1981 - H∞ 魯棒控制#

案件摘要#

1981 年，George Zames（贊姆斯）發表〈Feedback and Optimal Sensitivity〉 （回饋與最佳靈敏度），提出 \(H_\infty\) （H-infinity）最佳化： 在「最壞擾動」下最小化系統增益。LQG 控制（見 1960-Kalman狀態空間與濾波.md） 針對特定的高斯雜訊最佳化——但真實世界的擾動不是高斯、模型處處有誤差； Zames 的反問：如果我不知道擾動的機率分佈，只知道它的大小有限，怎麼設計最好的控制器？ 答案：最小化最壞情況的增益——minimax 哲學進入控制理論，魯棒控制誕生。

前因#

  • LQG 的魯棒性缺陷：1980 年代初期，Doyle 與 Stein 證明 LQG 控制器的增益裕度可以任意差——「最佳」的 LQG 可能對模型誤差極度敏感！最佳 ≠ 魯棒。
  • Bode 的水床效應（1945）：靈敏度的積分有下界——性能 trade-off 是數學天罰（見 1945-Bode回饋放大器設計.md）。Zames 早年研究水床效應，深知「頻域 trade-off」的數學。
  • Nyquist 的頻域傳統：頻域語言（增益 vs 頻率）最適合描述「模型誤差」——模型誤差天然是頻域概念（低頻準、高頻亂）。
  • 泛函分析的工具：Hardy 空間 \(H_\infty\) 、算子理論——「系統增益的範數」有現成的數學語言。

線索與推理#

第 1 步：問題的精確形式#

控制系統的靈敏度函數：

\[ S(s) = \frac{1}{1 + L(s)} \]

其中 \(L = CP\) 是開環迴路。 \(|S(j\omega)|\) 是「擾動到輸出的放大倍數」： \(|S|\) 小 ⇒ 擾動被抑制； \(|S|\) 大 ⇒ 擾動被放大。

Zames 的問題：最小化最壞頻率的靈敏度：

\[ \min_{C} \; \|S\|_\infty = \min_C \sup_{\omega} |S(j\omega)| \]

** \(\sup_\omega\) （最壞頻率）是關鍵：不是平均、不是特定頻率，而是最壞情況**—— 不管擾動長什麼樣，只要它有限，最壞增益就被壓住。

第 2 步：為什麼不用 LQG？#

LQG 針對高斯白雜訊最佳化（ \(E[w^T W w]\) ，期望值）：

面向 LQG \(H_\infty\)
擾動模型 特定（高斯白雜訊） 任意（能量有限即可）
優化目標 平均誤差（ \(L_2\) 期望） 最壞增益（ \(\sup\) ）
哲學 最佳化（optimization） 博弈論（與擾動對弈）
魯棒性 可任意差（Doyle–Stein） 內建魯棒性

minimax 哲學：把設計視為與擾動對弈——擾動是你的對手， 它會選最壞的形狀攻擊你；你的控制器要在對手的最壞攻擊下最小化損失。 這是博弈論（von Neumann minimax）進入控制理論。

第 3 步：為什麼 \(H_\infty\) 是「魯棒」的數學？#

模型誤差天然是頻域概念。設名義受控體 \(P_0\) 、真實受控體 \(P = P_0(1 + \Delta)\) ， 其中 \(\|\Delta\|_\infty < \delta\) （誤差增益有限）。小增益定理：

\[ \text{閉環魯棒穩定} \;\Longleftarrow\; \|S_0\|_\infty \cdot \delta < 1 \]

其中 \(S_0\) 是名義靈敏度。直覺：閉環對模型誤差的敏感度被 \(\|S_0\|_\infty\) 決定—— 壓低最壞靈敏度，就自動容忍所有增益有限的模型誤差。 ** \(\|S\|_\infty\) 是「魯棒性的度量」**——這正是 Zames 的洞見。

第 4 步：綜合靈敏度（mixed sensitivity）#

實際設計不只壓 \(S\) ，還要壓控制靈敏度 \(U = CS\) （避免控制量爆炸）：

\[ \min_C \left\| \begin{matrix} W_1 S \\ W_2 U \\ W_3 T \end{matrix} \right\|_\infty \]

其中 \(T = \dfrac{L}{1+L}\) 是補靈敏度、 \(W_i\) 是頻域加權（低頻壓 \(S\) 、高頻壓 \(T\) 與 \(U\) ）。 水床效應的馴服：無法處處壓低靈敏度（Bode 積分約束），但可以選擇在哪裡壓—— \(W_1\) 低頻大（穩態精度）、 \(W_3\) 高頻大（魯棒穩定）——trade-off 被顯式化。

後果#

  • 魯棒控制誕生：「最壞情況最佳化」成為控制設計的新哲學。
  • Doyle–Glover–Khargonekar–Francis（1987）完成 \(H_\infty\) 的狀態空間解法——理論可用了（見 1987-H∞狀態空間解法.md）。
  • 航空、航天、化工的魯棒控制應用：飛行控制律（Boeing、Airbus）用 \(H_\infty\) 設計。
  • 泛函分析與控制理論的合流： \(H_\infty\) 、Hankel 範數、算子理論成為控制數學的主流。

結案陳詞#

Zames 的偵探手法是「換一種對手」：LQG 對抗特定的雜訊， \(H_\infty\) 對抗最壞的擾動。minimax 哲學——你不知道對手長什麼樣， 就按最壞情況設計。LQG 的魯棒性缺陷（最佳 ≠ 魯棒）由此被修正： 控制理論從「最佳化」進入「博弈」時代。