可观测性
可观测性(observability,也称能观性)描述能否从一段时间内的输出记录与已知输入,唯一确定系统的初始状态。它关注信息是否包含在观测中;测量存在噪声时能否准确恢复,则还受灵敏度和估计方法影响。可观测不等于单次测量直接给出了全部状态。
两个状态产生相同输出
考虑实矩阵模型 其中 ,矩阵维数与乘积对应,输入 已知。同一输入下两条解的差 满足 ,输出差为 。因此,只要存在非零 使这段输出差恒为零,就无法辨认这两个初态。[1]
在没有噪声、导数存在的数学模型中,对零输入输出连续求导:、,继续得到 。把前 个关系堆叠成 若 列满秩,初态唯一。若不满秩,取非零 ,凯莱—哈密顿定理使所有 都为零,于是 ,这个差值永远不影响输出。两方向合起来证明判据
由一段位置记录确定速度
取 ,只测位置 。此时 输出为 。已知 ,便得到 ;只看 的位置则无法区分不同的速度。图中不同初速度对应不同斜率,时间记录提供了单次位置所缺的那部分信息。
若传感器只测速度,,则 ,矩阵秩为一。任意两个只差初始位置的状态都产生同一速度记录,位置偏移不可观测。给速度信号增加采样次数,并不能自动找回这个完全缺失的方向。
可观测性与估计精度
连续时间的满秩结论并不保证任意采样周期下的离散模型都可观测;采样可能使不同模态混叠。实际测量也不宜直接反复数值求导,因为微小噪声会被放大。龙伯格观测器与卡尔曼滤波采用动态估计,把模型预测和观测误差结合。
可观测格拉姆矩阵给出量化版本: 等于由初态 产生的输出能量。满秩但最小特征值很小时,某些状态方向只造成微弱输出变化,恢复它们会对噪声敏感。
变式。 将测量改为 ,则 、,行列式仍为一。由 得 。测量不是位置本身,也仍然能够包含完整状态信息。
参考资料
- ↑ Sanjay Lall,EE363: Observability and State Estimation,PDF第33—37页,连续时间可观测矩阵与不可区分初态。