狀態變數
系統的狀態變數是指系統變數中,可以表示任一時間系統完整狀態的最小子集合。要表示一系統需要的狀態變數最小值n,通常也是該系統微分方程式的階數。若系統是以
傳遞函式來表示,狀態變數的最小個數等於傳遞函式分母多項式的階數。在電路中狀態變數的個數常常就是電路中儲能元件(如
電容器及
電感器)的個數。
線性系統
一個有p個輸入、q個輸出及n個狀態變數的
線性系統,可以用以下的狀態空間表示法來表示:
其中:
稱為前饋矩陣(若系統沒有直接從輸入到輸出的路徑,此矩陣為零矩陣),
通式中所有的矩陣均允許隨著時間而變化,此時所表示的就是線性時變系統。若表示的是線性非時變系統,則通式的矩陣都不會隨著時間變化。時間變數t可以是連續的(例如
)或是離散的(例如
)。若是後者,其時間變數一般會標示為k。
混合系統允許同時使用連續及離散的時域。依不同的假設,狀態空間表示法可以是以下的這些形式:
系統形式 | 狀態空間模型 |
連續非時變系統 | |
連續時變系統 | |
離散非時變系統 | |
離散時變系統 | |
連續非時變系統 轉換到s域 | |
離散非時變系統 轉換到Z-域 | |
非時變系統
連續線性非時變系統的穩定性及回響特性可以由矩陣
A的
特徵值得到,也可以由系統對應的乘積型
傳遞函式中得到。其型式如下所示:
其多項式的根即為矩陣
A的
特徵值,也是傳遞函式的
極點。極點可以用來分析系統是否為指數穩定、臨界穩定或者根本不穩定。
李雅普諾夫穩定性是另一種不需計算特徵值,也可以判斷穩定性的方式。
由傳遞函式的分子
可以找到多項式的零點,可用來判斷系統是否是最小相位。
即使系統沒有內部穩定性,仍有可能是輸入輸出穩定系統。此情形時的不穩定極點和零點相消,為一個
可去奇點。
傳遞函式
傳遞函式可用來描述線性非時變系統的特性。一個連續時間的線性非時變系統,可以用以下的方式,將其狀態空間表示式轉換為傳遞函式:
首先,對下式進行拉氏轉換
可得到
結果如下
若線性非時變系統有多個輸入及輸出時,其傳遞函式(也稱為傳遞矩陣)表示每一組輸入及輸出的關係,傳遞矩陣的每一個元素都是一組特定輸入及輸出的傳遞函式,不過多重輸入多重輸出(MIMO)的系統多仍使用狀態空間的方式進行分析,較少使用傳遞函式或傳遞矩陣。
將一個系統由狀態空間表示式轉換為傳遞函式時,系統內部的資訊無法完整的轉換,可能系統表示為狀態空間表示式中在特定位置時會不穩定,但是用傳遞函式表示時卻是一個穩定的系統。
可控制性
一系統的狀態可控制性表示對於系統的一組初始狀態及一組終止狀態,存在一組輸入,使得此系統在有限時間內,可以由初始狀態轉移到終止狀態。一個連續線性時不變系統以狀態空間表示時,系統
若且唯若在以下
秩的等式成立時才有可控制性:
(秩就是矩陣中線性獨立橫行的數目)
可觀察性
可觀察性是可以依一系統的輸出得知其系統內部的初始狀態。一系統的可觀察性及可控制性有數學上的對偶關係,可控制性是指可以利用輸入將系統由初始狀態轉換成任意的最終狀態,而可觀察性是指系統的輸出軌跡預測其初始狀態。
一個連續時間的線性非時變系統可觀察性,若且唯若下式成立:
正則實現
任一個嚴格真分的傳遞函式,可以依以下的方式轉換為狀態空間的表示法(以下以一個4階、單一輸入及輸出的系統為例):
先將傳遞函式分子分母展開成以下的形式:
其分子分母的係數可以放進以下的狀態空間表示式中:
這種狀態空間的實現方式稱為“可控制正則型”(controllable canonical form),方便判斷系統的可控制性(控制輸入經過一連串的積分器後,即可影響每一個狀態),因此。
傳遞函式也可以轉換為以下的狀態空間表示式:
這種狀態空間的實現方式稱為“可觀察正則型”(observable canonical form),方便判斷系統的可觀察性(輸出是經過狀態變數一連串積分後的輸出,因此可經由狀態變數影響系統的輸出)。
真分傳遞函式
若傳遞函式只是真分傳遞函式,不滿足嚴格真分的條件,可以將傳遞函式分為一嚴格真分數及常數的和,即可轉換為狀態空間的表示方式
利用上一段的作法可以將嚴格真分傳遞函式轉換為正則型的狀態空間表示式。而常數部分可以轉換為
。因此狀態空間表示式的矩陣
A、
B及
C可利用傳遞函式的嚴格真分部分求得,而矩陣
D可利用常數部分求得。
例如以下的真分傳遞函式
其可控制正則型的實現如下
其輸出直接受到輸入的影響,原因就是因為傳遞函式的常數部分。
反饋
典型有反饋的狀態空間模型
要為系統增加反饋,可以將輸出乘以一矩陣
K,當作系統的輸入:
。因此系統
可改寫為以下的形式
此作法的好處是整個系統的特性不止是由矩陣
A的特徵值決定,也可以由
K的適當設定及
的特徵值分解來調整。不過此作法的前提是開迴路系統本身是可控制的,或者矩陣
A的不穩定特徵值可以由適當的
K調整為穩定。
有一種常見的簡化法是令矩陣
D為
零矩陣,矩陣
C為
單位矩陣,因此方程式可以簡化為以下的形式:
非線性系統
以下將狀態空間模型以函式的形式來表示。
第一個方程式為狀態方程式,第二個方程式為輸出方程式。
此表示法可以表示線性系統及非線性系統。若函式
是狀態及輸入的線性組合,則以上方程式可以改寫為矩陣的形式。
若系統沒有外力(沒有輸入項),則以上方程式中的u(t)可以省略。
表示法
狀態空間表示法即為一種將
物理系統表示為一組輸入、輸出及狀態的數學模式,而輸入、輸出及狀態之間的關係可用許多一階微分方程來描述。
為了使數學模式不受輸入、輸出及狀態的個數所影響,輸入、輸出及狀態都會以
向量的形式表示,而微分方程(若是線性非時變系統,可將微分方程轉變為
代數方程)則會以矩陣的形式來來表示。
作用
狀態空間表示法提供一種方便簡捷的方法來針對多輸入、多輸出的系統進行分析並建立模型。一般
頻域的系統處理方式需限制在常係數,啟始條件為0的系統。而狀態空間表示法對系統的係數及啟始條件沒有限制。