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

Verification algorithm for fault prediction of stochastic discrete-event systems under permanent loss of observations

作　　者：廖辉[1] 刘富春[1] Liao Hui;Liu Fuchun(School of Computers,Guangdong University of Technology,Guangzhou 510006,China)

机构地区：[1]广东工业大学计算机学院,广州510006

出　　处：《计算机应用研究》2022年第1期106-112,共7页Application Research of Computers

基　　金：国家自然科学基金资助项目(61673122);广东省自然科学基金资助项目(2019A1515010548,2020A1515010941)。

摘　　要：针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离散事件系统的U-预测器,实现了系统的故障预测。基于U-预测器,提出了随机离散事件系统U-可预测性的充分必要条件及验证算法,并且引入成对的方式,明显地改进了该验证算法的复杂度。仿真结果表明,该验证算法使得观测永久丢失下系统故障预测准确。最后,实例说明观测永久丢失下故障预测验证算法的应用。结果表明,该验证算法相比现有同类验证算法应用范围更广,验证结果更精确。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.

关 键 词：离散事件系统 故障预测 随机自动机 观测丢失 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]