查看“︁H-infinity控制”︁的源代码

'''''H''<sub>∞</sub>'''（'''''H''-infinity'''）'''控制法'''是[[控制理論]]中用來設計[[控制器]]，可以達到穩定性，並且可以保證性能的設計方式。要使用''H''<sub>∞</sub>方法，控制器的設計者需將控制問題表示為[[最优化|數學最佳化]]問題，並且找到使最佳化成立的控制器。

''H''<sub>∞</sub>較傳統控制技術好的優點是可以應用在包括多個變數，各頻道之間有互相耦合的問題，而''H''<sub>∞</sub>的缺點是其因為技巧以及其中的數學，若要成功的應用，需要對需控制的系統有很好的建模。很重要的是所得的控制器只是在規定的成本函數下是最佳的，若用一般評估控制器性能方式來評比（例如整定時間、使用能量等），不一定是最佳的。而且像飽和之類的非線性特性也很不好處理。''H''<sub>∞</sub>是在1970年代末及1980年代初由{{le|喬治·贊姆斯|George Zames}}（靈敏度最小化、sensitivity minimization）<ref name="Zames" />、J. William Helton（宽带匹配、broadband matching）<ref name="Helton"/>及{{le|Allen Tannenbaum|Allen Tannenbaum}}（增益裕度最佳化、gain margin optimization）<ref name="Tannenbaum"/>等人提出。

''H''<sub>∞</sub>控制的名稱是因為最佳化所在的數學空間：''H''<sub>∞</sub>是由在[[複平面]]開放右半邊Re(''s'')&nbsp;>&nbsp;0 內[[解析函数|解析]]及有界的[[矩陣]]函數形成的[[哈代空間]]。the ''H''<sub>∞</sub>模是函數在此空間內的最大單一值。（可以解釋為在不同頻率、不同方向下的最大增益，若針對[[SISO系統]]，就是頻率響應的最大值）。''H''<sub>∞</sub>技術可以用來使擾動對閉迴路的影響最小化，依照問題的陳述方式，影響可以用穩定性或是性能來表示。

同時要針對性能強健性以及穩定性強健性進行最佳化很不容易。有一個比較類似的作法是[[H-infinity迴路整形|''H''<sub>∞</sub>迴路整形]]，可以讓控制器的設計者應用經典的迴路整形概念到多變數的頻率響應中，以得到性能強健性，再在系統頻寬附近再微調響應，讓穩定性強健性也可以最佳化。

目前已有可以合成''H''<sub>∞</sub>控制器的商業軟體。
== 問題敘述 ==

首先，處理問題時，會用以下的標準組態來進行：

[[Image:H-infty plant representation.png]]

受控體''P''有二個輸入，外來輸入''w''包括了參考信號以及干擾，以及控制變數''u''。有二個輸出，誤差信號''z''是希望可以最小化的值，以及用來控制系統的測量變量''v''。在方塊''K''中會利用''v''來計算控制變數''u''。注意以上的'''P'''和'''K'''是[[矩陣]]，其餘的都是[[向量]]。

若配合公式，系統為

:<math>\begin{bmatrix} z\\ v \end{bmatrix} = \mathbf{P}(s)\, \begin{bmatrix} w\\ u\end{bmatrix} = \begin{bmatrix}P_{11}(s) & P_{12}(s)\\P_{21}(s) & P_{22}(s)\end{bmatrix} \, \begin{bmatrix} w\\ u\end{bmatrix}</math>

:<math>u = \mathbf{K}(s) \, v</math>

因此可以用下式表示''z''對''w''的相依性：

:<math>z=F_\ell(\mathbf{P},\mathbf{K})\,w</math>

稱為下線性分式轉換（lower linear fractional transformation），<math>F_\ell</math>定義為（其下標表示「較低的」）

:<math>F_\ell(\mathbf{P},\mathbf{K}) = P_{11} + P_{12}\,\mathbf{K}\,(I-P_{22}\,\mathbf{K})^{-1}\,P_{21}</math>

因此<math>\mathcal{H}_\infty</math>控制設計的目標是找到控制器<math>\mathbf{K}</math>使用<math>F_\ell(\mathbf{P},\mathbf{K})</math>依照<math>\mathcal{H}_\infty</math>計算時有最小值。相同的定義也可以用在<math>\mathcal{H}_2</math>控制器設計。[[傳遞函數矩陣]]<math>F_\ell(\mathbf{P},\mathbf{K})</math>的無限模定義為：

:<math>||F_\ell(\mathbf{P},\mathbf{K})||_\infty = \sup_\omega \bar{\sigma}(F_\ell(\mathbf{P},\mathbf{K})(j\omega))</math>

其中<math>\bar{\sigma}</math>是矩陣<math>F_\ell(\mathbf{P},\mathbf{K})(j\omega)</math>的最大[[奇異值]]。

閉迴路控制器可以達到的''H''<sub>∞</sub>模主要和''D''<sub>11</sub>有關（系統的表示方式為(''A'', ''B''<sub>1</sub>, ''B''<sub>2</sub>, ''C''<sub>1</sub>, ''C''<sub>2</sub>, ''D''<sub>11</sub>, ''D''<sub>12</sub>, ''D''<sub>22</sub>, ''D''<sub>21</sub>)）。有以下幾種方式可以設計''H''<sub>∞</sub>控制器：
* 針對閉迴路進行[[Youla-Kucera參數化]]，但結果常常會得到非常高階數的控制器。
* 以[[Riccati方程]]為基礎的作法，要求解二個Riccati方程來找到控制器，不過需要較多簡化的假設。
* 以最佳化為基礎的Riccati方程重整，會用到[[線性矩陣不等式]]，但需要的假設較少。

== 相關條目 ==
*[[哈代空間]]
*[[H square]]
*[[H-infinity迴路整形]]
*[[線性平方高斯控制]]（LQG）
*[[羅森布魯克系統矩陣]]

==參考資料==
{{reflist|
refs=
<ref name="Zames">
{{cite journal
 | first = George
 | last = Zames
 | title = Feedback and optimal sensitivity: Model reference transformations, multiplicative seminorms, and approximate inverses
 | journal = IEEE Trans. Automatic Control
 | volume = 26
 | issue = 2
 | pages = 301–320
 | year = 1981
 | doi=10.1109/tac.1981.1102603
}}
</ref>

<ref name="Helton">
{{cite journal
 | first = J. William
 | last = Helton
 | title = Orbit structure of the Mobius transformation semigroup action on H-infinity (broadband matching)
 | journal = Adv. Math. Suppl. Stud.
 | volume = 3
 | pages = 129–197
 | year = 1978
}}
</ref>

<ref name="Tannenbaum">
{{cite journal
 | first = Allen
 | last = Tannenbaum
 | author-link = Allen Tannenbaum
 | title = Feedback stabilization of linear dynamical plants with uncertainty in the gain factor
 | journal = International Journal of Control
 | volume = 32
 | issue = 1
 | pages = 1–16
 | year = 1980
 | doi = 10.1080/00207178008922838
}}
</ref>
}}

== 參考文獻 ==
{{refbegin}}

*{{citation
 | first1 = V.
 | last1 = Barbu
 | first2 = S. S.
 | last2 = Sritharan
 | year = 1998
 | title = H-infinity Control of Fluid Dynamics
 | journal = Proceedings of the Royal Society A
 | volume = 545
 | pages = 3009–3033
 | url = http://www.nps.edu/Academics/Schools/GSEAS/SRI/R19.pdf
 | doi = 10.1098/rspa.1998.0289
 | accessdate = 2017-08-31
 | archive-date = 2016-03-03
 | archive-url = https://web.archive.org/web/20160303210107/http://www.nps.edu/Academics/Schools/GSEAS/SRI/R19.pdf
 | dead-url = no
 }}.

*{{citation
 | last1 = Doyle
 | first1 = John
 | last2 = Francis
 | first2 = Bruce
 | last3 = Tannenbaum
 | first3 = Allen
 | title = Feedback Control Theory
 | year = 1992
 | publisher = MacMillan
}}.

*{{citation
 | last1 = Green
 | first1 = M.
 | last2 = Limebeer
 | first2 = D.
 | title = Linear Robust Control
 | year = 1995
 | publisher = Prentice Hall
}}.

*{{citation
 | last = Simon
 | first = Dan
 | title = Optimal State Estimation: Kalman, H-infinity, and Nonlinear Approaches
 | year = 2006
 | publisher = Wiley
 | url = http://academic.csuohio.edu/simond/estimation/
 | accessdate = 2017-08-31
 | archive-date = 2010-12-30
 | archive-url = https://web.archive.org/web/20101230101133/http://academic.csuohio.edu/simond/estimation/
 | dead-url = no
 }}.

*{{citation
 | last1 = Skogestad
 | first1 = Sigurd
 | last2 = Postlethwaite
 | first2 = Ian
 | title = Multivariable Feedback Control: Analysis and Design
 | year = 1996
 | publisher = Wiley
 | isbn = 0-471-94277-4
}}.

*{{citation
 | last1 = Skogestad
 | first1 = Sigurd
 | last2 = Postlethwaite
 | first2 = Ian
 | title = Multivariable Feedback Control: Analysis and Design
 | year = 2005
 | publisher = Wiley
 | isbn = 0-470-01167-X
 | edition = 2nd
 | url = http://www.nt.ntnu.no/users/skoge/book/
 | accessdate = 2017-08-31
 | archive-date = 2016-11-26
 | archive-url = https://web.archive.org/web/20161126060707/http://www.nt.ntnu.no/users/skoge/book/
 | dead-url = no
 }}.

{{refend}}

[[Category:控制理論]]
[[Category:哈代空間]]