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

来源：计算机应用研究杂志2022年第1期北京时间：

作者：廖辉,刘富春,

单位：广东工业大学计算机学院,广州510006；

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

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

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