離散時間可檢測性
離散時間系統對離散時間訊號輸入進行操作併產生離散時間訊號輸出。它們用於數字訊號處理,例如影像或聲音的數字濾波器。離散時間系統的類別既是線性的又是時不變的,稱為離散時間 LTI 系統。
離散時間 LTI 系統可以使用觀察器增益 L 來實現可檢測性,該增益 L 可以使用 LMI 最佳化來找到,使得閉環系統可檢測。
具有狀態空間實現的離散時間 LTI 系統 
矩陣:系統
.
應最佳化以下可行性問題
在遵守 LMI 約束的情況下最大化 P。
然後找到 L。
離散時間可檢測性
LMI 公式
系統可檢測,當且僅當存在一個
,使得
。矩陣
是舒爾,其中 
一個指向 CodeOcean 或其他線上實現 LMI 的連結
MATLAB 程式碼
[1] - 連續時間可檢測性
一個記錄和驗證 LMI 的參考文獻列表。