IEEE Trans Cybern. 2023 Mar;53(3):2028-2033. doi: 10.1109/TCYB.2022.3165216. Epub 2023 Feb 15.
The problem of fault prognosis in the context of discrete event systems (DESs) is a crucial subject to study the security and maintenance of cyber-physical systems. In this article, the decentralized fault prognosis of partially observed DESs is analyzed with a universal state-estimate-based protocol. It follows (M,K) as the performance bound of any expected decentralized prognosers, where any fault can be predicted K steps before its occurrence and the fault is guaranteed to occur within M steps once a corresponding fault alarm is issued. To determine whether expected decentralized prognosers exist, the notion of state-estimate-coprognosability (SE-coprognosability) under the case of one fault type is proposed. Compared with existing other kinds of coprognosability, SE-coprognosability is a more generalized concept. Meanwhile, combining the formal method and algebraic state space approach, a novel state estimation algorithm is presented and based on which, the verification of SE-coprognosability is also solved.
离散事件系统（DESs）故障预测问题是研究网络物理系统安全性和维护的一个重要课题。本文采用通用状态估计协议，分析了部分观测离散事件系统的分散故障预测。它遵循（M，K）作为任何预期分散预测器的性能边界，其中任何故障都可以在其发生前 K 步进行预测，并且一旦发出相应的故障警报，故障将在 M 步内发生。为了确定是否存在预期的分散预测器，提出了一种在一种故障类型情况下的状态估计协同可预测性（SE-coprognosability）的概念。与现有的其他协同可预测性相比，SE-coprognosability 是一个更广义的概念。同时，结合形式化方法和代数状态空间方法，提出了一种新的状态估计算法，并在此基础上，解决了 SE-coprognosability 的验证问题。
