可觀測性

控制理論中的可觀察性（observability）是指系統可以由其外部輸出推斷其其內部狀態的程度。系統的可觀察性和可控制性是數學上对偶的概念。可觀察性最早是匈牙利裔工程師鲁道夫·卡尔曼針對線性動態系統提出的概念Kalman R. E., "On the General Theory of Control Systems", Proc. 1st Int. Cong. of IFAC, Moscow 1960 1481, Butterworth, London 1961.Kalman R. E., "Mathematical Description of Linear Dynamical Systems", SIAM J. Contr. 1963 1 152。若以信號流圖來看，若所有的內部狀態都可以輸出到輸出信號，此系統即有可觀察性。

定義
若以正式的定義來看，一系統具有可觀察性若且唯若，針對所有的狀態向量及控制向量，都可以在有限時間內，只根據輸出信號來識別目前的狀態（此定義比較接近狀態空間的表示方式）。比較不正式的說法，就表示可以根據系統輸出來判斷整個系統的行為。若系統不可觀察，表示其中部份狀態的值無法透過輸出信號來判定。這也表示控制器無法知道這個狀態的值（此時就要透過其他的估測技術才能知道其狀態）。

在用狀態空間表示的线性时不变系统中，有一個簡單的方式來確認系統是否可觀測。考慮一個有個狀態的單一輸入單一輸出系統，若以下可觀測性矩陣（observability matrix）中的-{zh-hans:行; zh-hant:列;}-秩

等於，則此系統為可觀測系統。此一測試的原理是若個-{zh-hans:行; zh-hant:列;}-是線性獨立的，則個狀態可以透過輸出變數 的線性組合來得知。 

有些系統會利用對輸出的量測來估計系統的狀態，這類功能的模組稱為狀態觀測器（state observer）或簡稱為觀測器（observer）。

可觀測性指數
线性时不变系统的可觀測性指數（Observability index） 是滿足的最小自然數，其中

不可觀測子空間

線性系統(A,,C)不可觀測子空間N是線性映射G的核

,

其中是連續函數 的集合，且是和A相關的狀態傳遞矩陣。

若(A,,C)是自主系統（autonomous system），N可以改寫為

例子：考慮以下的A和C：
,  .

若可觀測性矩陣定義為，可以計算如下：

因此可以計算可觀測性矩陣的核。

若Rank()=n，n為可觀測性矩陣中獨立-{zh-hans:行; zh-hant:列;}-的個數，表示系統可觀測。在此例中det()=0，因此Rank()<n，此系統不可觀測。

因為不可觀測子空間為的子空間，因此以下的性質成立：
 Sontag, E.D., "Mathematical Control Theory", Texts in Applied Mathematics, 1998

可偵測性
可偵測性（detectability）是比可觀測性略弱一些的條件。若系統內所有不可偵測的狀態都是穩定的，此系統即具有可偵測性。

 線性時變系統 

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




若的時間內，和矩陣都已知，而輸入及輸出和也都已知，可以透過一個額外在核之內的向量來確認，定義如下

其中為狀態轉換矩陣。

若為非奇异方阵，可以找到一個唯一的。而且若是在的核內，不可能由找到對應的啟始狀態。

上述定義的有以下的特性：
 為對稱矩陣
 在 時，為半正定矩阵
 滿足線性矩陣微分方程

 滿足以下方程


 可觀測性 
系統在[,]可觀測，若且唯若在存在區間[,] \in ，使得矩陣為非奇异方阵。

若可解析，則系統在[,]可觀測的條件是存在以及正數k使得Eduardo D. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems.



其中，而可用以下方式遞迴定義



 例子 
考慮一個在內解析的時變系統，矩陣為

, 則，因為矩陣的秩為3，因此在 內所有非平凡區間內都是可控制的。

 非線性系統 
假設系統, ，其中為狀態向量，為輸入向量，而為輸出向量。都是光滑的向量場。

定義可觀測空間為包括所有李导数及多重李导数的空間。此空間在可觀測若且唯若。

註Lecture notes for Nonlinear Systems Theory by prof. dr. D.Jeltsema, prof dr. J.M.A.Scherpen and prof dr. A.J.van der Schaft.

Griffith及Kumar,Griffith E. W. and Kumar K. S. P., "On the Observability of Nonlinear Systems I, J. Math. Anal. Appl. 1971
35 135、Kou、Elliot及TarnKou S. R., Elliott D. L. and Tarn T. J. Observability of nonlinear systems. Information and Control, 22:89–99, 1973及SinghSingh S.N., "Observability in Non-linear Systems with immeasurable Inputs, Int. J. Syst. Sci.,  6 723, 1975是早期發展非線性動態系統的可觀測性準則的先驅。

 靜態系統及一般拓撲空間
可觀測性也可以用來描述穩態系統（一般會用代數方程及不等式來定義），甚至是內的集合
。就像可觀測性準則可以預測動態系統中卡尔曼滤波或其他觀測器的行為一様，內集合的可觀測性準則也可以預測及其他靜態觀測器的行為。在非線性的例子中，可以針對個別變數或區部特性來判斷可觀測性，不需針對全域特性來判斷。

 相關條目 
 可控制性
 可識別性
 狀態觀測器
 状态空间
 可观测性格拉姆矩阵

參考資料

外部連結

 MATLAB function for checking observability of a system 
 Mathematica function for checking observability of a system 
Category:控制理论