不确定观测下离散事件系统的可诊断性

• 作者: 余泉 常亮 文习明 王驹
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 不确定观测 离散事件系统 可诊断性
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 形式化方法与应用专题
• 页码范围: 1091-1106
• 页数: 16页
• 分类号: TP311
• 字数: 16955字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005212

摘要

从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质,其要求系统发生故障后经过有限步的观测可以检测并隔离故障,为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的,重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.