一种基于统计模型检验的CPS稀有事件概率预测方法

摘要

本发明公开了一种基于统计模型检验的CPS稀有事件概率预测方法。该发明基于统计模型检验方法，由抽样监视器、规约验证器和概率预测器三个模块组成。具体实施步骤包括：抽样监视器采用重要性随机抽样算法，对基于混成自动机描述的CPS系统状态特征序列进行随机抽样，生成；基于线性时态逻辑的规约验证器会生成系统可见特征状态序列及其对应规约满足性的验证结果，验证器会将验证结果作为基于HMM隐式马尔科夫模型的概率预测器的训练样本集；在经过足够样本集学习的基础上，概率预测器计算出系统后续状态是稀有事件状态的概率，并将结果输出此外本发明还是先了利用概率预测结果修正预测器预测能力的功能。