离散事件系统基于模型诊断的研究进展

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (2): 114-127.

离散事件系统基于模型诊断的研究进展

赵相福¹, 欧阳丹彤²

1. 浙江师范大学数理与信息工程学院, 浙江金华 321004
2. 吉林大学符号计算与知识工程教育部重点实验室, 长春 130012

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-02-01 发布日期:2011-02-01
通讯作者: 赵相福

Progress on Model-based Diagnosis of Discrete-event Systems

ZHAO Xiangfu¹, OUYANG Dantong²

1. College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua, Zhejiang 321004, China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-02-01 Published:2011-02-01
Contact: ZHAO Xiangfu

摘要/Abstract

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

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

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

赵相福1 , 欧阳丹彤2 . 离散事件系统基于模型诊断的研究进展[J]. 计算机科学与探索, 2011, 5(2): 114-127.

ZHAO Xiangfu¹, OUYANG Dantong². Progress on Model-based Diagnosis of Discrete-event Systems[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(2): 114-127.