Predictability of Fault Events for Decentralized Stochastic Discrete-Event Systems Based on Dynamic Observations and Polynomial-Time Verification

Fault prediction of discrete-event systems (DESs) is to predict the fault prior to its occurrence such that effective measures can be taken. We investigate the issue of the fault copredictability of stochastic DESs (SDESs) in a decentralized setting under dynamic observations. It is supposed that the observation of events of the system is not fixed in advance. To perform the decentralized prediction of SEDSs, a D-coverifier from the given stochastic system with multiple local projections is constructed and a necessary and sufficient condition for the verification of D-copredictability by the D-coverifier is presented, which is polynomial-time complexity.