| 离散事件系统基于模型诊断的研究进展 |
| |
| 引用本文： | 赵相福,欧阳丹彤.离散事件系统基于模型诊断的研究进展[J].计算机科学与探索,2011,5(2):114-127. |
| |
| 作者姓名： | 赵相福 欧阳丹彤 |
| |
| 作者单位： | 1. 浙江师范大学,数理与信息工程学院,浙江,金华,321004
2. 吉林大学,符号计算与知识工程教育部重点实验室,长春,130012 |
| |
| 基金项目： | 国家自然科学基金，浙江省自然科学基金，符号计算与知识工程教育部重点实验室开放课题基金 |
| |
| 摘 要： | 近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。
|
| 关 键 词： | 基于模型的诊断 离散事件系统 可诊断性 |
| 修稿时间： | |
Progress on Model-based Diagnosis of Discrete-event Systems |
| |
| ZHAO Xiangfu,OUYANG Dantong.Progress on Model-based Diagnosis of Discrete-event Systems[J].Journal of Frontier of Computer Science and Technology,2011,5(2):114-127. |
| |
| Authors: | ZHAO Xiangfu OUYANG Dantong |
| |
| Affiliation: | 1. College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua, Zhejiang 321004, China2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China |
| |
| 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. |
| |
| Keywords: | model-based diagnosis (MBD) discrete-event systems (DESs) diagnosability
|
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
