Diagnosis; Discrete-event System; Petri-nets; Supervision; Encoding;
机译:具有不完整模型的离散事件系统中的故障诊断:易学性和可诊断性
机译:使用本地规范对离散事件系统进行模块化诊断的验证
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:具有CPN诊断器的离散事件系统中的模块化故障诊断
机译:离散事件系统中的分层模块化故障恢复
机译:模块化神经网络方案在电力系统故障诊断中的应用
机译:离散事件系统中的虚拟模块:实现模块化 诊断性
机译:可诊断系统模型与概率故障诊断。