A State Space Approach to Decentralized Fault SE-Coprognosability of Partially Observed Discrete Event Systems
研究了部分观测离散事件系统中基于状态估计的分散式故障预测问题，提出了SE-共可预测性概念及其验证算法，适用于信息物理系统的安全维护。
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.