Abstract: Recently, model-based diagnosis of discrete-event systems (DESs) has been applied to large telecommunication networks and power transmission networks. It has attracted more and more interests in both artificial intelligence (AI) and control engineering fields. Firstly, the basic idea and modeling methods are introduced. Then, most approaches of diagnosing DESs modeled by automata have been analyzed and compared in different views. The main algorithms for testing diagnosability of DESs are also presented in the following. Finally, some open questions are given in system modeling, distributed online diagnosis, diagnosis with incomplete systems, and the system im-plementation.

Key words: model-based diagnosis (MBD), discrete-event systems (DESs), diagnosability

摘要： 近年来, 针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用, 成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法, 从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较; 讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面, 展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。

关键词: 基于模型的诊断, 离散事件系统, 可诊断性