MASTERY · CONTROL ENGINEERING
8.5.3 线性连续定常系统的能观性
8.5.3 线性连续定常系统的能观性
一、核心考点与理论精要
1. 能观性的定义与物理本质

2. 状态能控性与能观性对偶对比表
为了帮助大家建立系统化的空间对偶直觉,牢记二者在形式与计算上的对称美感:
| 核心维度 | 状态能控性(Controllability) | 状态能观性(Observability) |
|---|---|---|
| 决定矩阵对 | 状态矩阵与输入矩阵 | 状态矩阵与输出矩阵 |
| 物理驱动方向 | 外部输入 内部状态 (外部驱动内部) | 内部状态 外部输出 (内部反映至外部) |
| 几何与代数目标 | 从任意初态转移到目标状态(或原点) | 从外部实测输出唯一反解出初始状态 |
| Kalman 代数矩阵 | ||
| 矩阵拼接方式 | 横向水平拼接(列数扩张,检验满行秩 ) | 纵向垂直堆叠(行数扩张,检验满列秩 ) |
| 单输入/单输出 | 方阵: | 方阵: |
| PBH 特征值判据 | (满行秩) | (满列秩) |
| 约旦型模态法则 | 看末行(各约旦块最后一行非全零且线性无关) | 看首列(各约旦块开头第一列非全零且线性无关) |
| 重根单端死穴 | 单输入系统对重根对角阵必然不能控 | 单输出系统对重根对角阵必然不能观 |
3. 状态能观性三大判据体系(考研核心)
判据一:Kalman 秩判据(代数判据)
判据二:PBH 特征值秩判据(Popov-Belevitch-Hautus 判据)
判据三:特殊矩阵直接判据(对角型与约旦型模态判据 / Gilbert 判据)
当系统状态矩阵 已经化为对角型()或约旦标准型()时,无需构造繁琐的能观性矩阵 或进行特征值检验,可直接通过输出矩阵 (或输出行向量 )的各列元素分布特征进行快速秒杀。
(一) 阵为对角矩阵时的能观性判断
考虑对角标准型系统状态空间表达式:
其中状态矩阵为对角阵,输出矩阵按列分块:
(二) 阵为约旦矩阵时的能观性判断
考虑约旦标准型系统状态方程:
其状态矩阵 与输出矩阵 的分块结构如下:
4. 能观性的直观机理与模拟结构图对比
为了将上述代数结论转化为一目了然的工程直觉,我们对比分析二阶系统的模拟结构图:
(1)能观状态的结构模型
考虑二阶对角解耦系统:

(2)不能观状态的结构模型
若外部输出测量仅接入状态 (输出矩阵 ):

二、标准解题模型与计算步骤
graph TD
Start["给定线性定常系统 (A, C)"] --> Step1{"第一步:观察状态矩阵 A 的结构"}
Step1 -- "A 为能观标准型" --> Ans1["直接秒杀:系统天然完全能观"]
Step1 -- "A 为对角阵或约旦型" --> Step2["第二步:应用 Gilbert 模态判据"]
Step2 -- "互异对角根" --> Cond1{"检查 C 各列"}
Cond1 -- "各列均非零" --> Ans2["完全能观"]
Cond1 -- "存在全零列" --> Ans3["不完全能观"]
Step2 -- "约旦块/重根" --> Cond2{"提取各约旦块首列"}
Cond2 -- "首列均非零且同根多块线性无关" --> Ans2
Cond2 -- "首列全零 或 同根多块线性相关" --> Ans3
Step1 -- "A 为一般非对称矩阵" --> Step3{"第三步:选择代数判据"}
Step3 -- "阶数 n ≤ 3" --> Step4["构造 Kalman 能观性矩阵 Qo = [C; CA; ...; CA^(n-1)]"]
Step4 -- "单输出 q=1" --> DetCalc["计算行列式 det(Qo)"]
DetCalc -- "det(Qo) ≠ 0" --> Ans2
DetCalc -- "det(Qo) = 0" --> Ans3
Step4 -- "多输出 q > 1" --> RankCalc["初等行变换求 rank(Qo)"]
RankCalc -- "rank = n" --> Ans2
RankCalc -- "rank < n" --> Ans3
Step3 -- "高阶系统或特征值已知" --> Step5["应用 PBH 判据:验证 rank[C; λi I - A] == n"]
Discussion
Comments
Thoughts, corrections, and follow-up notes are welcome here.