舒爾可檢測性
舒爾可檢測性是舒爾可穩定性的對偶概念,定義如下:矩陣對
被稱為舒爾可檢測的,如果存在實矩陣
使得
是舒爾穩定的。
我們考慮以下系統
其中矩陣
,
,
,
,
和
分別是狀態矩陣、輸入矩陣、狀態向量和輸入向量。
此外,
表示離散時間系統中的時間,
是下一個時間步長。
狀態反饋控制律定義如下
其中
是控制器增益。因此,閉環系統由下式給出
- 矩陣
是適當維度的系統矩陣,已知。
存在一個對稱矩陣
和一個滿足以下條件的矩陣 W:
存在一個對稱矩陣
滿足以下條件:
其中
是
的右正交補。
存在一個對稱矩陣 P,使得
用於舒爾可檢測性的LMI可以寫成標量
的最小化,在以下約束中
因此,透過證明上述條件,我們證明了矩陣對
是舒爾可檢測的。
GitHub 倉庫中此問題的 Matlab 程式碼連結:舒爾可檢測性
用於 Hurwitz 穩定性的 LMI
用於舒爾穩定性的 LMI
Hurwitz 可檢測性
控制中的 LMI / 工具