一种离散事件系统事件不完备模型的诊断方法

摘要

本发明公开了一种离散事件系统事件不完备模型的诊断方法，其目的是为了解决离散事件系统故障诊断中模型为事件不完备模型时得不到诊断结果的问题。技术方案针对离散事件系统事件不完备模型的特点，将其分为未定义转移和未定义突发事件两种类型，并在此基础上，针对上述两种类型分别发明了基于相关事件信息诊断算法和基于相关迁移状态诊断算法。结合上述两种算法，发明了一种离散事件系统事件不完备模型的诊断方法来改进现有方法中将其统一表示为模型事件不完备度而造成漏诊和误诊问题。该方法中还包括了基于观测序列改进不完备模型的算法，在诊断过程中通过向模型中添加未定义转移，并补充触发转移的未定义事件，从而使系统模型的完备性逐步得到改进。