狀態空間

系統的狀態變數是指系統變數中，可以表示任一時間系統完整狀態的最小子集合。要表示一系統需要的狀態變數最小值n，通常也是該系統微分方程式的階數。若系統是以傳遞函數來表示，狀態變數的最小個數等於傳遞函數分母多項式的階數。在電路中狀態變數的個數常常就是電路中儲能元件（如電容器及電感器）的個數。 ^[3] 

一個有p個輸入、q個輸出及n個狀態變數的線性系統，可以用以下的狀態空間表示法來表示： ^[3] 

其中：

稱為狀態向量，

稱為輸出向量，

稱為輸入向量（或控制向量），

稱為狀態矩陣，

稱為輸入矩陣，

稱為輸出矩陣，

稱為前饋矩陣（若系統沒有直接從輸入到輸出的路徑，此矩陣為零矩陣），

通式中所有的矩陣均允許隨着時間而變化，此時所表示的就是線性時變系統。若表示的是線性非時變系統，則通式的矩陣都不會隨着時間變化。時間變數t可以是連續的（例如

）或是離散的（例如

）。若是後者，其時間變數一般會標示為k。混合系統允許同時使用連續及離散的時域。依不同的假設，狀態空間表示法可以是以下的這些形式：

連續線性非時變系統的穩定性及響應特性可以由矩陣A的特徵值得到，也可以由系統對應的乘積型傳遞函數中得到。其型式如下所示： ^[3] 

傳遞函數的分母等於

的行列式所得的特徵多項式：

其多項式的根即為矩陣A的特徵值，也是傳遞函數的極點。極點可以用來分析系統是否為指數穩定、臨界穩定或者根本不穩定。李雅普諾夫穩定性是另一種不需計算特徵值，也可以判斷穩定性的方式。

由傳遞函數的分子

可以找到多項式的零點，可用來判斷系統是否是最小相位。

即使系統沒有內部穩定性，仍有可能是輸入輸出穩定系統。此情形時的不穩定極點和零點相消，為一個可去奇點。

傳遞函數可用來描述線性非時變系統的特性。一個連續時間的線性非時變系統，可以用以下的方式，將其狀態空間表示式轉換為傳遞函數： ^[3] 

首先，對下式進行拉氏轉換

可得到

再針對

化簡，可得到

可以用此式來替換以下輸出方程式中的

結果如下

傳遞函數定義為系統輸出相對於輸入的比值

因此可得到

必需是

的矩陣。

若線性非時變系統有多個輸入及輸出時，其傳遞函數（也稱為傳遞矩陣）表示每一組輸入及輸出的關係，傳遞矩陣的每一個元素都是一組特定輸入及輸出的傳遞函數，不過多重輸入多重輸出（MIMO）的系統多仍使用狀態空間的方式進行分析，較少使用傳遞函數或傳遞矩陣。

將一個系統由狀態空間表示式轉換為傳遞函數時，系統內部的資訊無法完整的轉換，可能系統表示為狀態空間表示式中在特定位置時會不穩定，但是用傳遞函數表示時卻是一個穩定的系統。

一系統的狀態可控制性表示對於系統的一組初始狀態及一組終止狀態，存在一組輸入，使得此係統在有限時間內，可以由初始狀態轉移到終止狀態。一個連續線性時不變系統以狀態空間表示時，系統當且僅當在以下秩的等式成立時才有可控制性： ^[3] 

（秩就是矩陣中線性獨立橫行的數目）

可觀察性是可以依一系統的輸出得知其系統內部的初始狀態。一系統的可觀察性及可控制性有數學上的對偶關係，可控制性是指可以利用輸入將系統由初始狀態轉換成任意的最終狀態，而可觀察性是指系統的輸出軌跡預測其初始狀態。 ^[1] 

一個連續時間的線性非時變系統可觀察性，當且僅當下式成立：

任一個嚴格真分的傳遞函數，可以依以下的方式轉換為狀態空間的表示法（以下以一個4階、單一輸入及輸出的系統為例）： ^[3] 

先將傳遞函數分子分母展開成以下的形式：

其分子分母的係數可以放進以下的狀態空間表示式中：

這種狀態空間的實現方式稱為“可控制正則型”（controllable canonical form），方便判斷系統的可控制性（控制輸入經過一連串的積分器後，即可影響每一個狀態），因此。

傳遞函數也可以轉換為以下的狀態空間表示式：

這種狀態空間的實現方式稱為“可觀察正則型”（observable canonical form），方便判斷系統的可觀察性（輸出是經過狀態變數一連串積分後的輸出，因此可經由狀態變數影響系統的輸出）。

若傳遞函數只是真分傳遞函數，不滿足嚴格真分的條件，可以將傳遞函數分為一嚴格真分數及常數的和，即可轉換為狀態空間的表示方式 ^[2] 

利用上一段的作法可以將嚴格真分傳遞函數轉換為正則型的狀態空間表示式。而常數部分可以轉換為

。因此狀態空間表示式的矩陣A、B及C可利用傳遞函數的嚴格真分部分求得，而矩陣D可利用常數部分求得。

例如以下的真分傳遞函數

其可控制正則型的實現如下

其輸出直接受到輸入的影響，原因就是因為傳遞函數的常數部分。

典型有反饋的狀態空間模型 ^[3] 

要為系統增加反饋，可以將輸出乘以一矩陣K，當作系統的輸入：

。因此係統

可改寫為以下的形式

求解

，代入狀態方程式中可得

此作法的好處是整個系統的特性不止是由矩陣A的特徵值決定，也可以由K的適當設定及

的特徵值分解來調整。不過此作法的前提是開回路系統本身是可控制的，或者矩陣A的不穩定特徵值可以由適當的K調整為穩定。

有一種常見的簡化法是令矩陣D為零矩陣，矩陣C為單位矩陣，因此方程式可以簡化為以下的形式：

需進行特徵值分解的矩陣縮小為

。

以下將狀態空間模型以函數的形式來表示。 ^[3] 

第一個方程式為狀態方程式，第二個方程式為輸出方程式。

此表示法可以表示線性系統及非線性系統。若函數

是狀態及輸入的線性組合，則以上方程式可以改寫為矩陣的形式。

若系統沒有外力（沒有輸入項），則以上方程式中的u(t)可以省略。

狀態空間表示法即為一種將物理系統表示為一組輸入、輸出及狀態的數學模式，而輸入、輸出及狀態之間的關係可用許多一階微分方程來描述。

為了使數學模式不受輸入、輸出及狀態的個數所影響，輸入、輸出及狀態都會以向量的形式表示，而微分方程（若是線性非時變系統，可將微分方程轉變為代數方程）則會以矩陣的形式來來表示。

狀態空間表示法提供一種方便簡捷的方法來針對多輸入、多輸出的系統進行分析並建立模型。一般頻域的系統處理方式需限制在常係數，啓始條件為0的系統。而狀態空間表示法對系統的係數及啓始條件沒有限制。 ^[4]