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

Progress on Model-based Diagnosis of Discrete-event Systems

作　　者：赵相福[1] 欧阳丹彤[2] 

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

出　　处：《计算机科学与探索》2011年第2期114-127,共14页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金No.61003101;60973089;60873148;浙江省自然科学基金No.Y1100191;符号计算与知识工程教育部重点实验室开放课题基金No.93K-17-2009-K05~~

摘　　要：近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。Recently, model-based diagnosis of discrete-event systems （DESs） has been applied to large telecommu- nication networks and power transmission networks. It has attracted more and more interests in both artificial intel- ligence （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 implementation.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]