有限状态系统的可观测性与可诊断性：一个统一框架

本文提出了一个用于分析和刻画有限状态系统可观测性与可诊断性的通用框架。可观测性对应于系统离散状态的重构，而可诊断性对应于确定某些特定状态（例如故障状态）过去发生的可能性。我们提出了一个统一框架，其中可观测性和可诊断性属性是相对于一个关键集合定义的，即代表一组故障或更一般地代表一组感兴趣状态的离散状态集合。我们对这些属性进行了刻画，所涉及的条件提供了检测关键状态所需延迟的估计、延迟估计的精度以及诊断不可能或不需要的可能初始暂态持续时间的估计。我们的框架使得能够精确比较文献中现有的某些可观测性和可诊断性概念与本文引入的概念，并展示了这种比较。