# 可控制性

**可控制性**（Controllability）是控制系統中的重要特性，在許多控制問題中都很重要，例如是否可以透過回授穩定一個本身不穩定的系統，或是最佳控制的相關問題。

可控制性及可觀測性是同一個問題上的对偶概念。

簡單來說，可控制性是指是否可以透過一些允許的程序讓系統調整到其組態空間內的任何一個組態。隨著其系統模型或是框架的不同，定義也會略有改變。

以下是一些在系統或是控制文獻中出現過的可控制性定義：

* 狀態可控制性（State controllability）
* 輸出可控制性（Output controllability）
* 行為框架中的可控制性（Controllability in the behavioural framework）

## 狀態可控制性

狀態可控制性是指在确定性系統的状态空间內，也就是系統所有狀態變數數值組成的集合，可以完全描述系統在任一時間以下的狀態。特別是不需要有關系統以往的資訊，只要知道目前的狀態，以後所有的狀態都是已知的。

完全狀態可控制性（有時也稱為狀態可控制性）是指外在輸入（由控制變數組成的向量）可以在有限時間內將系統由任意狀態改變為另一個狀態。

可控制性表示可以使系統到達任意狀態，但不表示系統可以維持在該狀態，有可能系統只是在該狀態停留短暫間而已。

## 連續時間線性系統

考慮連續時間下的線性系統

 WIKINIUM\_MATH\_PH\_0
 WIKINIUM\_MATH\_PH\_2
存在一個控制 WIKINIUM\_MATH\_PH\_4 使系統在時間 WIKINIUM\_MATH\_PH\_6 至時間 WIKINIUM\_MATH\_PH\_8 ，由狀態 WIKINIUM\_MATH\_PH\_10 改變為狀態 WIKINIUM\_MATH\_PH\_12 ，若且唯若 WIKINIUM\_MATH\_PH\_14 是以下的列空间中

 WIKINIUM\_MATH\_PH\_16
其中 WIKINIUM\_MATH\_PH\_18 是狀態轉移矩陣，而 WIKINIUM\_MATH\_PH\_20 是可控制性格拉姆矩陣。

其實上，若 WIKINIUM\_MATH\_PH\_22 是 WIKINIUM\_MATH\_PH\_24 的解，則控制 WIKINIUM\_MATH\_PH\_26 即為所需的控制輸入。

注意上述定義的 WIKINIUM\_MATH\_PH\_28 有以下的特質：

* WIKINIUM\_MATH\_PH\_30 是對稱矩陣
* WIKINIUM\_MATH\_PH\_32 是正定矩阵， WIKINIUM\_MATH\_PH\_34
* WIKINIUM\_MATH\_PH\_36 滿足以下的線性矩陣微分方程

 WIKINIUM\_MATH\_PH\_38
* WIKINIUM\_MATH\_PH\_40 滿足以下方程

 WIKINIUM\_MATH\_PH\_42
## 可控制性的秩條件

可控制性格拉姆矩陣和狀態轉移矩陣的積分有關。另外有一個較簡單，類似在非時變系統下的可控制性判斷方式。

考慮連續時間的線性系統 WIKINIUM\_MATH\_PH\_44 ，在時間區間 WIKINIUM\_MATH\_PH\_46 內光滑變化：

 WIKINIUM\_MATH\_PH\_48
 WIKINIUM\_MATH\_PH\_50
其狀態轉移矩陣也是光滑的，引入n x m的矩陣函數 WIKINIUM\_MATH\_PH\_52 ，並且定義

 WIKINIUM\_MATH\_PH\_54 = WIKINIUM\_MATH\_PH\_56 .
考慮一個由 WIKINIUM\_MATH\_PH\_58 , WIKINIUM\_MATH\_PH\_60 組成的矩陣：

 WIKINIUM\_MATH\_PH\_62 .

若存在 WIKINIUM\_MATH\_PH\_64 以及非負整數k使得 WIKINIUM\_MATH\_PH\_66 ，則 WIKINIUM\_MATH\_PH\_68 為可控制系統。

若 WIKINIUM\_MATH\_PH\_70 在區間 WIKINIUM\_MATH\_PH\_72 內也是解析變化，則 WIKINIUM\_MATH\_PH\_74 在 WIKINIUM\_MATH\_PH\_76 中的每個非平凡子區間內可控制，若且唯若存在 WIKINIUM\_MATH\_PH\_78 及非負變數使得 WIKINIUM\_MATH\_PH\_80 WIKINIUM\_MATH\_PH\_82 。

上述方式仍然很不容易確認，因為包括了狀態轉移矩陣 WIKINIUM\_MATH\_PH\_84 的計算。另一個等效的條件如下：令 WIKINIUM\_MATH\_PH\_86 ，對於每一個 WIKINIUM\_MATH\_PH\_88 WIKINIUM\_MATH\_PH\_90 0，定義

 WIKINIUM\_MATH\_PH\_92 = WIKINIUM\_MATH\_PH\_94
此例中，每一個 WIKINIUM\_MATH\_PH\_96 是直接由 WIKINIUM\_MATH\_PH\_98 求得。此系統有穩定性的充份必要條件是存在 WIKINIUM\_MATH\_PH\_100 及非負整數 WIKINIUM\_MATH\_PH\_102 使得下式成立：

 WIKINIUM\_MATH\_PH\_104
### 例子

考慮一個在 WIKINIUM\_MATH\_PH\_106 內解析變化的系統及矩陣

 WIKINIUM\_MATH\_PH\_108 , WIKINIUM\_MATH\_PH\_110
則
 WIKINIUM\_MATH\_PH\_112 ，其矩陣秩為3，因此在 WIKINIUM\_MATH\_PH\_114 之內的每一個非平凡區間都是可控制的。

### 連續線性時不變（LTI）系統

考慮以下的連續線性时不变系统

 WIKINIUM\_MATH\_PH\_116
 WIKINIUM\_MATH\_PH\_118
其中

 WIKINIUM\_MATH\_PH\_120 為 WIKINIUM\_MATH\_PH\_122 狀態向量
 WIKINIUM\_MATH\_PH\_124 為 WIKINIUM\_MATH\_PH\_126 輸出向量
 WIKINIUM\_MATH\_PH\_128 為 WIKINIUM\_MATH\_PH\_130 輸入（或控制）向量
 WIKINIUM\_MATH\_PH\_132 為 WIKINIUM\_MATH\_PH\_134 狀態矩陣
 WIKINIUM\_MATH\_PH\_136 為 WIKINIUM\_MATH\_PH\_138 輸入矩陣
 WIKINIUM\_MATH\_PH\_140 為 WIKINIUM\_MATH\_PH\_142 輸出矩陣
 WIKINIUM\_MATH\_PH\_144 為 WIKINIUM\_MATH\_PH\_146 前饋矩陣
 WIKINIUM\_MATH\_PH\_148 可控制矩陣為

 WIKINIUM\_MATH\_PH\_150
系統可控制的充份必要條件是其可控制矩陣為滿秩（也就是 WIKINIUM\_MATH\_PH\_152 ）。

## 離散線性時不變（LTI）系統

針對離散時間，狀態方程如下的線性狀態空間系統（也就是時間變數 WIKINIUM\_MATH\_PH\_154 ）：

 WIKINIUM\_MATH\_PH\_156
其中 WIKINIUM\_MATH\_PH\_158 是 WIKINIUM\_MATH\_PH\_160 的矩陣， WIKINIUM\_MATH\_PH\_162 是 WIKINIUM\_MATH\_PH\_164 的矩陣，（也就是 WIKINIUM\_MATH\_PH\_166 是 WIKINIUM\_MATH\_PH\_168 個輸入，整理成 WIKINIUM\_MATH\_PH\_170 的向量）。測試其可控制性的方式為以下 WIKINIUM\_MATH\_PH\_172 矩陣

 WIKINIUM\_MATH\_PH\_174
有全秩（也就是 WIKINIUM\_MATH\_PH\_176 ）。因此，若此系統可控制， WIKINIUM\_MATH\_PH\_178 會有 WIKINIUM\_MATH\_PH\_180 個線性獨立的列；若 WIKINIUM\_MATH\_PH\_182 中有 WIKINIUM\_MATH\_PH\_184 個列是線性獨立的， WIKINIUM\_MATH\_PH\_186 個狀態中的每一個都可以用適當的輸入變數 WIKINIUM\_MATH\_PH\_188 來達到。

### 推導

假設在初始時間（表示為*k*=0）狀態 WIKINIUM\_MATH\_PH\_190 ，狀態方程可以得到 WIKINIUM\_MATH\_PH\_192 ，則 WIKINIUM\_MATH\_PH\_194 ，以此類推，利用反覆將狀態變數反向代回，可以得到

 WIKINIUM\_MATH\_PH\_196
或者等效的

 WIKINIUM\_MATH\_PH\_198
將狀態向量 WIKINIUM\_MATH\_PH\_200 想要的值放在左側時，可解出一連串控制向量的條件是若且唯若等號右側的第一個矩陣有全秩。

### 範例

例如，考慮 WIKINIUM\_MATH\_PH\_202 和 WIKINIUM\_MATH\_PH\_204 的例子（只有一個控制輸入）。因此， WIKINIUM\_MATH\_PH\_206 和 WIKINIUM\_MATH\_PH\_208 是 WIKINIUM\_MATH\_PH\_210 的向量。若 WIKINIUM\_MATH\_PH\_212 為秩2（滿秩），因此 WIKINIUM\_MATH\_PH\_214 和 WIKINIUM\_MATH\_PH\_216 為線性獨立，可以生成整個平面。若秩為1，則 WIKINIUM\_MATH\_PH\_218 和 WIKINIUM\_MATH\_PH\_220 平行，無法生成整個平面。

假設初始狀態為0。

在時間 WIKINIUM\_MATH\_PH\_222 時： WIKINIUM\_MATH\_PH\_224

在時間 WIKINIUM\_MATH\_PH\_226 時： WIKINIUM\_MATH\_PH\_228

在時間 WIKINIUM\_MATH\_PH\_230 時，所有可到達的狀態是在由向量 WIKINIUM\_MATH\_PH\_232 組成的直線上。
在時間 WIKINIUM\_MATH\_PH\_234 時，所有可到達的狀態是在由向量 WIKINIUM\_MATH\_PH\_236 和 WIKINIUM\_MATH\_PH\_238 組成的線性組合上。
若系統可控制，這二個向量可以生成整個平面，在時間 WIKINIUM\_MATH\_PH\_240 時即可完成。
前面有假設初始狀態為0，此一假設只是為了推導方便，若可以從原點到達所有的狀態，就可以由任意的初始狀態到所有的狀態（只要進行坐標平移）

上述例子對於所有正整數的 WIKINIUM\_MATH\_PH\_242 都成立，不過 WIKINIUM\_MATH\_PH\_244 的例子比較容易視覺化。

### 類似*n* = 2的範例

以下是一個用汽車類比上述範例的例子。
一個人坐在車上，車在一個無窮大的平面上，車頭朝向北方。
目的是透過駕駛（直線前進或是直線倒車）一段距離、停車、轉彎、再駕駛（直線前進或是直線倒車）一段距離的方式到平面上的任何一點。
假如車上沒有方向盤，因此車只能直線前進或後退，車所能到的方向只有車的正南方或正北方的位置上。
沒有方向盤類似 WIKINIUM\_MATH\_PH\_246 的秩為1（二次所走的位移均平行）的情形。

假如車有方向盤，可以任意的旋轉，自然可以到平面上的任何一點，這類似 WIKINIUM\_MATH\_PH\_248 的秩為2的例子。

若將此範圍延伸到 WIKINIUM\_MATH\_PH\_250 ，則例子會變成讓飛機到三維空間中的任何一點（不考慮飛機本身的機頭面對方向。
可做的事為：

* 以直線航行
* 左轉或是右轉任意角度（偏擺，yaw）
* 飛機朝上或是朝下任意角度（俯仰，pitch）

雖然三維的例子比較不容易視覺化，不過原理類似。

## 非線性系統

以下控制仿射形式的非線性系統

 WIKINIUM\_MATH\_PH\_252
其在 WIKINIUM\_MATH\_PH\_254 附近局部可到達（accessible）的條件是可到達分佈 WIKINIUM\_MATH\_PH\_256 可以生成 WIKINIUM\_MATH\_PH\_258 個空間，其中 WIKINIUM\_MATH\_PH\_260 等於 WIKINIUM\_MATH\_PH\_262 的秩，而且R可以由下式表示：

 WIKINIUM\_MATH\_PH\_264
此處 WIKINIUM\_MATH\_PH\_266 是重複的李括號運算，定義如下

 WIKINIUM\_MATH\_PH\_268
線性系統的可控制性矩陣可以由此式推導而得。

## 零可控制性

若離散控制系統具有零可控制性（null-controllable），表示針對某一初始狀態 WIKINIUM\_MATH\_PH\_270 ，存在可控制的 WIKINIUM\_MATH\_PH\_272 使得 WIKINIUM\_MATH\_PH\_274 。此條件和存在矩陣 WIKINIUM\_MATH\_PH\_276 使得 WIKINIUM\_MATH\_PH\_278 為冪零矩陣的條件等價。

此條件可以由可控制-不可控制分離推導而得。

## 輸出可控制性

輸出可控制性（Output controllability）是有關系統輸出（以上表示為*y*）的特性，輸出可控制性描述外在輸入是否可以在有限時間內，將輸出從任意初始狀態控制到特定輸出。輸出可控制性和狀態可控制性不一定會有相關性。尤其：

* 狀態可控制性的系統不一定會是輸出可控制性的系統。例如矩陣*D* = 0，且矩陣*C*沒有全秩，因為輸出矩陣的結構限制，有些輸出是無法達到的。即使系統的所有狀態都可以在有限時間內達到，但仍然有些特定的輸出是無法產生的。一個明顯的例子是*D*=0，且矩陣*C*至少有一行為零，因此此系統無法讓該輸出有不為零的輸出。
* 輸出可控制性的系統也不一定會是狀態可控制性的系統。例如，假如狀態空間的維度大於輸出的維度，針對每一個輸出，都有一組可能的對應狀態組態。也就是說，系統可能會有零動態（zero dynamics），也就是系統狀態有變化，但是在輸出上完全看不出來。因此，可以在有限時間將輸出控制到特定輸出，和狀態的可控制性完全沒有關係。

針對線性連續時間系統，例如由矩陣 WIKINIUM\_MATH\_PH\_280 、 WIKINIUM\_MATH\_PH\_282 、 WIKINIUM\_MATH\_PH\_284 及 WIKINIUM\_MATH\_PH\_286 描述的系統，其 WIKINIUM\_MATH\_PH\_288 輸出可控制性矩陣

 WIKINIUM\_MATH\_PH\_290
有滿行秩（rank WIKINIUM\_MATH\_PH\_292 ）若且唯若此系統為輸出可控制系統，此結果也是卡尔曼的可控制性準則。

## 在有輸入限制下的可控制性

在一些沒有完全控制權的系統，常常無法在可控制子空間內將系統從任意初始位置移到從任意結束位置。會出現此一現象的原因可能是因為系統本身就有的輸入信號限制（例如致動器的飽和）或是因為其他原因而給系統的限制（例如因為安全相關的考量）。在輸入及狀態有限制時的系統可控制性，是可到達性（reachability）及生存理论探討的內容。

## 行為框架中的可控制性

在所謂的行為系統理論方法（behavioral system theoretic approach）中，不會直接定義模型輸入－輸出的結構。在此框架內，系統由是由變數集合的允許軌跡來表示，其中有些可能是輸入或是輸出。

在此框架中，可控制的系統是指，系統過去的行為（外在變數的軌跡）可以和任何未來的行為連接，而其連接方式都在可允允許的系統行為內。

## 可穩定性

可穩定性（stabilizability）是比可控制性要弱的一個條件。系統具有可穩定性若所有不可控的狀態都有穩定的動態特性。因此雖然系統中有一些狀態是不可控的，在系統動作時，所有的狀態都還是維持在一定的範圍內（有界）。Hautus引理有針對可穩定性的判斷

## 可達到集合

令T ∈ Т，且x ∈ *X*（其中X是所有可能狀態的集合，Т是一段時間區間）。在時間T內從x開始的可達到集合（reachable set）定義為:

 WIKINIUM\_MATH\_PH\_294 ，其中 xT→z表示存在一個在時間T內從x到z的狀態轉換。

針對自主系統，其可達到集合為：

 WIKINIUM\_MATH\_PH\_296 ,
其中R為可控制性矩陣。

若以可達到集合來表示，系統有可控制性若且唯若 WIKINIUM\_MATH\_PH\_298 。

**證明**
根據以下的等式：

 WIKINIUM\_MATH\_PH\_300
 WIKINIUM\_MATH\_PH\_302
 WIKINIUM\_MATH\_PH\_304
考慮系統可控制，因此R的列需為線性獨立，因此

 WIKINIUM\_MATH\_PH\_306
 WIKINIUM\_MATH\_PH\_308
 WIKINIUM\_MATH\_PH\_310
另一個和可達到集合有關的集合為可控制集合（controllable set），定義如下：

 WIKINIUM\_MATH\_PH\_312 .
Sontag提出了可達到性（reachability）和可控制性的關係:

(a) n維離散線性系統可控制，若且唯若：

 WIKINIUM\_MATH\_PH\_314 （其中X為x的所有可能值或是狀態，且k為時間）
(b) 連結時間線性系統可控制，若且唯若：

 WIKINIUM\_MATH\_PH\_316 針對所有e>0。
若且唯若 WIKINIUM\_MATH\_PH\_318 針對所有e>0。

## 相關條目

* 可觀測性
* 狀態觀測器
* 平坦性

## 腳註

## 參考資料

* Controllability. PlanetMath.
* MATLAB function for checking controllability of a system （页面存档备份，存于互联网档案馆）
* Mathematica function for checking controllability of a system （页面存档备份，存于互联网档案馆）