一种基于冲突的离散事件系统诊断方法
提出一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率，离线计算模型中事件与状态的后验概率，从而处理不完全观测导致的不确定性，增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上，在线计算观测与模型的冲突，在模型中提取符合观测的轨迹，推导系统运行状况，判断故障，并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来，避免了对无关事件的搜索及判断，从而降低了诊断搜索空间，计算更大规模的系统模型。
基于冲突诊断 离散事件系统 动态诊断
王晓宇 欧阳丹彤 赵剑 耿雪娜
吉林大学 计算机科学与技术学院,长春 130012;教育部符号计算与知识工程重点实验室 长春 130012
国内会议
长春
中文
1-9
2012-08-04（万方平台首次上网日期，不代表论文的发表时间）