机译:离散事件系统的故障诊断:建模和验证
Laboratoire G-SCOP (Grenoble - Sciences pour la Conception, l'Optimisation et la Production), Grenoble INP, UJF, CNRS UMR5272, 46 avenue Felix Viallet,38031 Grenoble Cedex 1, France;
Laboratoire G-SCOP (Grenoble - Sciences pour la Conception, l'Optimisation et la Production), Grenoble INP, UJF, CNRS UMR5272, 46 avenue Felix Viallet,38031 Grenoble Cedex 1, France;
Honewell HTSL, Brnoe Aerospace, France;
discrete-event systems (DES); diagnosis; fault location; timed automata; detection; backward analysis;
机译:无全局模型的分散式故障诊断方法,用于离散事件系统的故障诊断
机译:离散事件模型对离散控制连续系统的故障诊断
机译:离散事件模型的离散控制连续系统故障诊断
机译:离散连续系统的离散事件建模与故障诊断
机译:离散事件系统中的间歇性故障诊断。
机译:农产品机械预防性诊断系统的初步调查
机译:用有限自动机建模的离散事件系统的故障诊断