[论文解读] Observability and Detectability of Linear Switching Systems: A Structural Approach

Elena De Santis, Maria Domenica Di Benedetto+1 more|ArXiv.org|Feb 27, 2008

Stability and Control of Uncertain Systems参考文献 38被引用 4

一句话总结

本文提出了一种针对线性切换系统的可观察性与可检测性的结构性方法，给出了可观察性的可计算的必要且充分条件，并证明了可检测性可归约为通过保护机制构造的切换系统的渐近稳定性。其核心贡献在于提出了一种类卡尔曼分解方法，将可检测性与辅助系统的稳定性联系起来，从而可利用现有的稳定性理论进行观测器设计。

ABSTRACT

We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of the system from the knowledge of the output for a suitable choice of the control input. We derive a necessary and sufficient condition for observability that can be verified computationally. A characterization of control inputs ensuring observability of switching systems is given. Moreover, we prove that checking detectability of a linear switching system is equivalent to checking asymptotic stability of a suitable switching system with guards extracted from it, thus providing interesting links to Kalman decomposition and the theory of stability of hybrid systems.

研究动机与目标

• 基于在控制输入下从输出重构状态，定义并形式化线性切换系统的可观察性与可检测性。
• 提供一种可计算的可观察性的必要且充分条件，以支持算法验证。
• 建立可检测性与派生切换系统（带保护机制）渐近稳定性的关联，从而可利用现有稳定性理论。
• 通过阐明其存在所需条件，支持混合状态观测器的设计。
• 将可观察性与可检测性概念推广至特定系统类之外，聚焦于混合执行的动力学特性。

提出的方法

• 将可观察性定义为：通过合适的控制输入，能够从输出重构混合状态（连续与离散分量）。
• 引入基于有限状态机（FSMs）和保护机制的结构化框架，以建模切换逻辑与状态转移。
• 利用类卡尔曼分解方法，将可检测性分析归约为检查从原系统中提取的带保护机制的派生切换系统的渐近稳定性。
• 应用通用李雅普诺夫函数技术与矩阵不等式（如 (A_i')P + P A_i ≤ -Q）来验证子系统的渐近稳定性。
• 利用抽象化技术分析有限状态机中强连通分量的稳定性，尤其适用于复杂切换拓扑结构。
• 利用混合系统稳定性理论成果（如 [12, 17]）验证可检测性，通过辅助系统的稳定性实现。

实验结果

研究问题

• RQ1 在何种条件下，线性切换系统的混合状态可通过适当的控制输入，从输出测量中被重构？
• RQ2 线性切换系统的可检测性如何通过关联的带保护机制的切换系统的稳定性来表征？
• RQ3 可观察性与线性切换系统中混合观测器的存在性之间存在何种关系？
• RQ4 切换系统的可检测性能否被简化为派生系统的稳定性问题？若是，该派生过程如何实现？
• RQ5 切换系统的结构性质（如强连通分量与重置映射）如何影响可观察性与可检测性？

主要发现

• 推导出可观察性的必要且充分条件，可通过矩阵与子空间分析进行计算验证。
• 线性切换系统的可检测性等价于一个带保护机制的派生切换系统的渐近稳定性，从而可利用现有稳定性工具。
• 当且仅当带保护机制的派生切换系统渐近稳定时，系统才是可检测的，如 Q1、Q2 和 Q3 组件的示例所示。
• 示例系统 H 被证明是可检测的，因为其派生系统 H0 渐近稳定，该结论通过通用李雅普诺夫函数与矩阵不等式检验得到验证。
• 该系统的有限状态机包含三个强连通分量，稳定性在每个分量中独立评估，确认了整体渐近稳定性。
• 该方法支持系统化的观测器设计方法，其中可观察性意味着存在一种算法以重构混合状态，尽管目前仍需无限精度。