跳去內容

狀態空間

出自維基百科,自由嘅百科全書
  想搵電腦科學嘅狀態空間嘅話,請睇狀態空間 (電腦科學)

狀態空間法粵拼zong6 taai3 hung1 gaan1 faat3英文State-space representation)係現代控制理論入便一種分析物理系統嘅數學模型,用一階微分方程差分方程將啲輸入、輸出同埋狀態變數連成一個整體嘅。狀態變數嘅值會比照任一時間值同埋輸入變數個外部影響值而變化。輸出變數嘅值取決於狀態變數嘅值。

狀態空間」係歐幾里得空間,空間軸上嘅變數即係狀態變數。系統嘅狀態可以表示為呢個空間入便嘅一枚狀態向量。輸入變數、輸出變數、狀態變數都表示為向量,嚟抽象化輸入輸出同埋系統狀態。將啲狀態向量擺到一幅座標圖度(二維嘅話好多時橫軸係某個狀態變數,棟軸係個變數嘅導數)就得到一幅相圖;更高維就對應相空間。連埋啲隨住時間演變嘅狀態點就得到好多摣相軌線。空間入便取返某個常數畀其中一條軸,就可以得到一片龐加萊截面,啲相軌就俾截面截成好多截點。透過相軌與及龐加萊截面可以繞過而唔使求解微分方程個解析解,嚟探討系統嘅性質同埋系統狀態嘅演化趨勢。

若果個動態系統係線性時唔變而且係有限維嘅,係噉微分方程代數方程可以用矩陣形式表示。[1][2]狀態空間法嘅特點係可以顯著噉代數化個通用嘅系統理論,令到可以運用啲Kronecker向量矩陣結構。呢啲結構可以有效噉用嚟研究啲帶調製抑或唔帶調製嘅系統。[3]狀態空間法(亦都稱為「時域方法」)提供唨一種方便又緊緻嘅方式去建模跟分析多輸入多輸出嘅系統。一唔係嘅話,對於輸入跟輸出,必須要寫低拉普拉斯變換先可以幫有關系統嘅所有信息編嗮碼。戥頻域方法唔同,狀態空間法唔會局限於啲衹有線性分量、零初始條件嘅系統。

狀態空間模型唔單止應用喺控制工程同埋相關嘅電腦科學與及電氣工程[4]入便,仲可以應用於經濟學[5]統計學[6]、同埋神經科學等學科[7]。譬如,喺計量經濟學入便,可以使狀態空間模型捉一個時間序列拆成趨勢同周期、鬭合各個指標成為一個綜合指數[8]、揾到經濟周期嘅轉折點、抑或係用潛在又未觀察到嘅時間序列來估算GDP。[9][10]好多應用程序憑藉卡曼濾波器嚟使返之前啲觀察結果去幫當前仲未知嘅狀態變數生成估計值。[11][12]

狀態變數

[編輯]

內部狀態變數係啲系統變數嘅最細可能子集、之可以表示得嗮任何畀定時間嘅系統整體狀態[13],譬如位置變數同埋佢啲導數。表示法當中嘅數字,代表畀定系統所需要到嘅狀態變數嘅最細數目,好多時亦都等於定義返個系統嘅微分方程嘅階數,但唔一定。若果系統係攞遞移函數嘅形式表示,噉狀態變數嘅最細數目就等於(簡化成真分數之後嘅)遞移函數分母嘅階數。

要留意返嘅係,將狀態空間形式轉換成遞移函數形式可能會漏唨一啲系統嘅內部信息,而且噉樣嘅遞移函數可能會話個系統係穩定嘅,即管狀態空間話喺某啲狀態點會唔穩定。

喺電路入便,狀態變數嘅數目好多時(亦都唔一定)同電路入便嘅能量存儲元件(譬如電容器電感器)數目相同。定義到嘅狀態變數必須係線性無關嘅,即係唔得將某啲狀態變數寫成其他狀態變數嘅線性組合,一唔係就冇辦法求解個系統。

唔局限於狀態空間法,有一個概念係狀態轉移矩陣,講明初始狀態點樣轉到某時刻狀態

喺畀定一隻初始值嗰陣,可以用轉移矩陣求得某時刻嘅狀態;對未知嘅轉移矩陣求解,相當於嘗試對狀態進行求解。一般用到嘅方法係Picard迭代法嚟去逼近個解,根據返:

,其中

有:

迭代之後就會趨向。再根據系統嘅其他約束特質(譬如線性、時唔變)同埋結合狀態空間嘅描述嚟簡化成簡潔啲嘅形式。

線性系統

[編輯]

基本形式

[編輯]
線性狀態空間方程嘅框圖表示

考慮到輸入,輸出與及狀態變數,最普遍嘅狀態空間形式嚟表徵一個線性系統即似下低噉、由狀態方程同埋輸出方程組成:[14]

其中:

係「狀態向量」, ;
係「輸出向量」, ;
係「輸入向量」(又叫「控制向量」), ;
係「狀態矩陣」(又叫「系統矩陣」),
係「輸入矩陣」,
係「輸出矩陣」,
係「饋通矩陣」(又叫「前饋矩陣」)(喺系統模型冇直接饋通嘅情況下, 係零矩陣),
好多時啲向量裏便啲元素都對應返某件嘢嘅位置變數與及佢啲幾階導數(即速度、加速度之類)。

對於線性系統,由於有,微分方程狀態解(見#狀態變量)喺Picard迭代之後最終有:

拉氏變換之後得返好有用嘅式 :

喺呢個一般表述入便,所有矩陣都仲可以隨時間變化得(即佢哋啲元可以取決於時間);但係,喺常見嘅LTI系統(Linear time-invariant system,「線性時唔變系統」)入便,啲矩陣係時唔變嘅,所以唔跟時間變化。時間變數可以係連續嘅(譬如)又可以係離散(譬如)。喺後一種情況下,攞離散時間變數嚟到代替混合系統允許啲時域既有連續部分又有離散部分。

根據做開嘅假設,狀態空間模型可以攞下低嘅形式嚟表示:

系統類型 狀態空間模型
連續時唔變
連續時變
顯式離散時唔變
顯式離散時變
連續時唔變個拉普拉斯域
離散時唔變個Z域

例:連續時間LTI系統

[編輯]

可以從矩陣嘅特徵值研究返個連續時間LTI系統(continuous-time linear time-invariant system,即嗰啲同時間相關嘅矩陣係線性嘅)佢嘅穩定性跟自然響應特性。透過將系統嘅遞移函數寫成分數形式,可以確定到個時唔變狀態空間模型嘅穩定性

遞移函數嘅分母個特徵多項式係透過取行列式計出:

呢個多項式嘅根(特徵值)就對應系統遞移函數嘅極點(即奇點,喺嗰度遞移函數個幅值大細唔受限)。呢啲極點可以用嚟分析系統係漸近穩定定係臨界穩定嘅。另一種攞嚟確定穩定性嘅方法又唔涉及計算特徵值嘅,係去分析系統嘅Lyapunov穩定性

喺分子入便揾到嘅零點可以相應攞來確定個系統係唔係處於最細相位

即管系統唔係內部穩定(本身穩定)嘅,系統都可能處於一種輸入-輸出穩定狀態(請睇BIBO穩定)。呢種情況出現喺若果啲唔穩定極點俾零抵消嘅情況(嗰陣時啲遞移函數入便嘅奇異點係剔除得嘅)。

系統性質

[編輯]

可控性

[編輯]

狀態可控性條件意味著喺允許嘅輸入之下,有可能喺一定嘅時間窗口之內,引導個狀態從任意初始值到任意最終值。連續時唔變線性狀態空間模型係控制得嘅若且唯若以下條件成立:

其中rank係矩陣入便線性無關行(橫排)嘅數目,而n係狀態變數嘅數目。

另外,可控性都可以用Jordan標準型嚟做判據,要陣入便啲組成Jordan標準型嘅Jordan塊孻屘行(橫排)對到陣啲行同時滿足:

  1. 陣啲行唔係全零行;
  2. 同特徵值嘅Jordan塊,對應陣嘅嗰啲行互相之間線性無關。

可觀察性

[編輯]

可觀察性係一種度量標準,度量返可以幾大程度上通過瞭解系統嘅外部輸出推斷返系統內部狀態。系統嘅可觀察性跟可控制性係數學對偶(即,可控制性表示輸入值可以將任何初始狀態帶入任何所需最終狀態,可觀察性表示已知輸出值軌跡可以畀足信息嚟預測返系統嘅初始狀態)。

連續時唔變線性狀態空間模型係觀察得嘅,若且唯若以下條件成立:

類似,可觀察性都可以用Jordan標準型嚟做判據,要陣入便啲組成Jordan標準型嘅Jordan塊第一列(豎排)對到陣啲列同時滿足:

  1. 陣啲列唔係全零列;
  2. 同特徵值嘅Jordan塊,對應陣嘅嗰啲列互相之間線性無關。

穩定性

[編輯]

關於穩定性,有同外部穩定性有關嘅BIBO穩定性,亦有同內部穩定性有關嘅平衡穩定性(諸如Lyapunov穩定性、漸近穩定性之類)。非線性系統嘅平衡狀態唔係唯一嘅,之線性系統嘅狀態矩陣A可逆嗰陣個平衡狀態衹有係零。

BIBO穩定性關注系統嘅零狀態響應,而平衡穩定性關注系統嘅零輸入響應。其中,Lyapunov穩定性係動力系統穩定性理論嘅基礎。穩定性嘅確定同狀態矩陣A密切相關。

BIBO穩定性
[編輯]
内文:BIBO穩定性

BIBO穩定性代表輸入有界嗰陣輸出都係有界嘅。呢個可以當作係啲唔穩定極點俾零抵消嗮嘅情況。

真分遞移函數對個系統進行建模嗰陣,BIBO穩定性嘅充要條件係個系統啲所有極點都必須喺嗮複平面嘅左便平面當中,也即係話所有極點都擁有負實部。

Lyapunov穩定性
[編輯]
漸近穩定性
[編輯]

狀態空間嘅原點喺Lyapunov穩定性嘅平衡狀態之餘、滿足埋以下條件嘅如果存在,噉呢個狀態空間個原點度就叫做「時間之下嘅漸近穩定狀態」。

進多一步,無關嗰陣,狀態空間個原點就叫做「統一漸近穩定狀態」

LTI系統漸近穩定嘅充要條件係系統嘅所有特徵值( A嘅特徵值)都擁有負實部。

啲穩定性之間嘅關係
[編輯]

一個漸進穩定嘅系統都係BIBO穩定嘅。反之,個系統唔控得抑或唔察得嗰陣,BIBO穩定又唔一定係漸近穩定,因為遞移函數啲極值係狀態矩陣A頻譜(特徵值嘅集合)嘅真子集。但係,個LTI系統既控得又察得陣時,以下呢四個命題就又等價返:系統係BIBO穩定嘅、系統係漸近穩定嘅、遞移函數啲極點都有負實部、系統嘅特徵值(A嘅特徵值)都有負實部。

遞移函數

[編輯]

連續時唔變線性狀態空間模型嘅「遞移函數」可以透過下低方式得出:

首先捉下式做拉氏變換

得出

接下嚟,合併啲項,得出

因此

入個輸出方程式

得出

假設初始條件為零單輸入單輸出系統(SISO)之下遞移函數個定義就為輸出與輸入之比。但係,對於多輸入多輸出系統(MIMO),冇定義有呢個比率。係噉,假設初始條件為零,噉遞移函數矩陣就可以從下式得出

其中,係數係噉樣得出

所以, 係具有維度嘅矩陣,其中包含每個輸入輸出組合嘅遞移函數。由於呢個矩陣表示法好簡單,所以狀態空間好多時攞來表示多輸入多輸出系統。 Rosenbrock系統矩陣可以攞嚟連繫埋狀態空間同埋佢個遞移函數

典範實現

[編輯]

任意畀定嘅、嚴格正確嘅遞移函數都可以藉由以下方式輕鬆噉轉成狀態空間,得到啲典範嘅實現(canonical realizations)。呢度個示例係四維嘅單輸入單輸出系統:

畀定遞移函數,為唨顯示分子跟分母入便嘅所有係數,展開成下低嘅形式:

噉就可以通過以下方式直接挃啲係數入狀態空間模型入便:

呢種狀態空間實現叫做控得典範式(controllable canonical form),因為保證得到嘅模型係控制得嘅(即,由於個控制入唨一串連積分器,所以佢可以改變每個狀態)。

遞移函數係數仲可以用於構造另一種典範式:

呢種狀態空間嘅實現叫做察得典範式(observable canonical form,因為可以保證得到嘅模型係觀察得嘅(即,因為輸出係從一串連積分器得出,所以每個狀態都會對個輸出產生影響)。

真分遞移函數

[編輯]

單之真分而唔係嚴格真分(真分指個分母最高階高過抑或係等於個分子)嘅遞移函數亦都可以好容易噉實現。呢度嘅技巧係捉遞移函數分成兩部分:嚴格真分嘅部分同埋常量:

然之後可以使用上面顯示嘅技術捉嚴格真分嘅遞移函數轉換成典範嘅狀態空間實現。常量嘅狀態空間實現就直程係。佮埋之後就得到個狀態空間實現,其中矩陣ABC由嚴格真分嗰部分確定,矩陣D由常數確定。

下低個示例可以幫助理解:

係噉得到個控制得嘅實現形式:

注意輸出點都直接取決於輸入(D矩陣),由於遞移函數入便有常數。

回輸

[編輯]
具有回輸嘅典型狀態空間模型

回輸嘅常用方法係將輸出乘以回輸矩陣K並設成系統嘅輸入: 。由於K嘅值唔受限制,因此對於負回輸可以好容易噉取反。個負號(通用符號)衹係標記性質,冇佢對最終結果都冇影響。

係噉,冇回輸嘅狀態空間模型:

就變成:

求解下低個輸出方程之後捉佢挃返狀態方程得到:

噉樣做嘅好處係,可以通過對特徵分解(eigendecomposition)嚟設啱個K、嚟控制A嘅特徵值。噉樣假設到個閉環系統係控制得嘅,或者可以通過揀啱尐個K令到A啲唔穩定嘅特徵值穩定返。

例子

[編輯]

對於嚴格真分嘅系統,D等於零。另一個相當普遍嘅情況係,所有狀態都做嗮輸出嗰陣,即y = x,得出C = I,即單位矩陣。噉樣就可以簡化個方程式成:

噉樣就可以單之對做特徵分解。

帶設定值(參考值)輸入嘅回輸

[編輯]
帶設定值嘅輸出回輸

除唨提供回輸之外,,可以使噉樣嘅形式加埋。

噉樣個基本式

就變成

求解下低個輸出方程之後捉佢挃返狀態方程得到:

對呢個系統嘅一種相當普遍嘅簡化係唔使饋通而剔丟D,噉樣簡化個等式成:

運動對象示例

[編輯]

經典嘅線性系統係一件嘢嘅一維運動。譬如,有件嘢喺平面上高水平摥動,而且褦住一條連到一幅牆嘅彈簧,根據牛頓運動定律有:

其中

  • 係位置;係速度;係加速度
  • 係施加嘅力
  • 係黏性摩擦係數
  • 係彈簧係數
  • 係件嘢嘅質量

狀態方程寫成

其中

  • 代表件嘢嘅位置
  • 係件嘢嘅速度
  • 係件嘢嘅加速度
  • 輸出係件嘢嘅位置

考慮可控制性測試

之對於所有係全階嘅。呢個意味著,若果個系統嘅初始狀態已知(),同埋係常數,係噉就有特定彈簧係數可以摥喐件嘢到系統入便嘅任何其他位置。

考慮埋可觀察性測試

亦都係全階嘅。即係話,呢個系統係控制得又觀察得嘅。

非線性系統

[編輯]

狀態空間模型嘅愈發普適形式可以寫成兩個函數:

上高條係狀態方程,下低條係輸出方程。若果個函數係狀態跟輸入嘅線性組合,啲等式就可以使之前嘅矩陣符號表示返。個都可以從函數參數入便剔丟,若果個系統係冇受迫到嘅(譬如,冇輸入)。

擺嘅例子

[編輯]

經典嘅非線性系統係一件簡單嘅唔受迫

其中

  • 係件擺戥重力方向嘅角度
  • 係件擺嘅質量(假設條擺桿嘅質量為零)
  • 係重力加速度
  • 係鉸口嘅摩擦係數
  • 係件擺嘅半徑(表面到質量嘅重心)

然之後可以寫出狀態方程

其中

  • 係件擺嘅角度
  • 係件擺嘅角速度
  • 係件擺嘅角加速度

狀態方程式亦都可以寫成一般形式:

件擺嘅不動點對於角速度、角加速度係零嗰陣,滿足靜止嘅力學平衡。對於整數n,即有:

但呢啲點唔一定係穩定點奇數n嗰陣,件擺查實係俾頂喺最高點,有少少擾動個狀態就會變。從相空間嚟睇,穩定點度係相軌嘅匯聚點、散度爲負;唔穩定點度相軌分開、散度爲正,而且啲相流(phase flows)會最終流去唔同嘅穩定點。

睇埋

[編輯]

[編輯]
  1. Katalin M. Hangos; R. Lakner; M. Gerzson (2001). Intelligent Control Systems: An Introduction with Examples. Springer. p. 254. ISBN 978-1-4020-0134-5.
  2. Katalin M. Hangos; József Bokor; Gábor Szederkényi (2004). Analysis and Control of Nonlinear Process Systems. Springer. p. 25. ISBN 978-1-85233-600-4.
  3. Vasilyev A.S.; Ushakov A.V. (2015). "Modeling of dynamic systems with modulation by means of Kronecker vector-matrix representation". Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 15 (5): 839–848. doi:10.17586/2226-1494-2015-15-5-839-848.
  4. Roesser, R. (1975). "A discrete state-space model for linear image processing". IEEE Transactions on Automatic Control. 20 (1): 1–10. doi:10.1109/tac.1975.1100844. ISSN 0018-9286.
  5. Stock, J.H.; Watson, M.W. (2016), "Dynamic Factor Models, Factor-Augmented Vector Autoregressions, and Structural Vector Autoregressions in Macroeconomics", Handbook of Macroeconomics (英文), Elsevier, 2: 415–525, doi:10.1016/bs.hesmac.2016.04.002, ISBN 978-0-444-59487-7
  6. Durbin, James; Koopman, Siem Jan (2012). Time series analysis by state space methods. Oxford University Press. ISBN 978-0-19-964117-8. OCLC 794591362.
  7. Smith, Anne C.; Brown, Emery N. (2003). "Estimating a State-Space Model from Point Process Observations". Neural Computation. 15 (5): 965–991. doi:10.1162/089976603765202622. ISSN 0899-7667. PMID 12803953.
  8. James H. Stock & Mark W. Watson, 1989. "New Indexes of Coincident and Leading Economic Indicators," NBER Chapters, in: NBER Macroeconomics Annual 1989, Volume 4, pages 351-409, National Bureau of Economic Research, Inc.
  9. Bańbura, Marta; Modugno, Michele (2012-11-12). "Maximum Likelihood Estimation of Factor Models on Datasets with Arbitrary Pattern of Missing Data". Journal of Applied Econometrics. 29 (1): 133–160. doi:10.1002/jae.2306. ISSN 0883-7252. {{cite journal}}: |hdl-access= requires |hdl= (help)
  10. "State-Space Models with Markov Switching and Gibbs-Sampling", State-Space Models with Regime Switching, The MIT Press, 2017, doi:10.7551/mitpress/6444.003.0013, ISBN 978-0-262-27711-2
  11. Kalman, R. E. (1960-03-01). "A New Approach to Linear Filtering and Prediction Problems". Journal of Basic Engineering (英文). 82 (1): 35–45. doi:10.1115/1.3662552. ISSN 0021-9223.
  12. Harvey, Andrew C. (1990). Forecasting, Structural Time Series Models and the Kalman Filter. Cambridge: Cambridge University Press. doi:10.1017/CBO9781107049994
  13. Nise, Norman S. (2010). Control Systems Engineering (第6版). John Wiley & Sons, Inc. ISBN 978-0-470-54756-4.
  14. Brogan, William L. (1974). Modern Control Theory (第1版). Quantum Publishers, Inc. p. 172.

進一步閱讀

[編輯]
On the applications of state-space models in econometrics
  • Durbin, J.; Koopman, S. (2001). Time series analysis by state space methods. Oxford, UK: Oxford University Press. ISBN 978-0-19-852354-3.

連出去

[編輯]