机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
IFSTTAR, COSYS, ESTAS, Univ Lille Nord de France;
discrete-event systems; fault diagnosis; diagnosability analysis; intermittent faults; model checking;
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:使用模型检查的输入/输出离散事件系统的可诊断性分析
机译:模糊离散事件系统的安全诊断和多项式时间验证
机译:基于诊断程序的离散事件系统间歇性故障诊断方法
机译:具有间歇性和永久性故障的离散事件系统中的故障恢复。
机译:基于生成的侵犯网络的基于网络的网络 - 物理电力系统故障
机译:具有间歇性和永久性故障的离散事件系统中的故障恢复
机译:LVa(记录器验证助手):基于知识的系统,用于诊断数字数据记录器中的故障