观测永久丢失下随机离散事件系统 故障预测的验证算法.

Aiming at the problem of permanent loss of system observations during the fault prediction of stochastic discrete-event systems ( SDESs), resulting in inaccurate predictions, this paper proposed an algorithm for verification of fault prediction under permanent loss of observations. Firstly, it formalized the notion of U-predictability of SDESs under permanent loss of observations. Secondly, it constructed a U-predictor from the given system using stochastic predictors to perform fault prediction of SDESs. Based on the U-predictor, it proposed a necessary and sufficient condition and an algorithm for verifying U-predictability of SDESs, and the introduction of a pairwise approach significantly improved the complexity of the verification algorithm. Simulation results show that the verification algorithm made the fault prediction of the system accurate under permanent loss of observations. Finally, an example illustrates the application of fault prediction verification algorithm under permanent loss of observations. Compared with the existing similar algorithm, the verification algorithm has a wider range of applications and the verification results are more accurate. [ABSTRACT FROM AUTHOR]