Overview of fault diagnosis methods for Discrete Event Systems

被引:254
作者
Zaytoon, J. [1 ]
Lafortune, S. [2 ]
机构
[1] Univ Reims, CReSTIC, F-51100 Reims, France
[2] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
基金
美国国家科学基金会;
关键词
PETRI-NET MODELS; DECENTRALIZED DIAGNOSIS; DISTRIBUTED DIAGNOSIS; POLYNOMIAL ALGORITHM; SUPERVISORY CONTROL; FAILURE DIAGNOSIS; SENSOR SELECTION; ROBUST DIAGNOSIS; DIAGNOSABILITY; FRAMEWORK;
D O I
10.1016/j.arcontrol.2013.09.009
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Fault diagnosis of Discrete Event Systems has become an active research area in recent years. The research activity in this area is driven by the needs of many different application domains such as manufacturing, process control, control systems, transportation, communication networks, software engineering, and others. The aim of this paper is to review the state-of the art of methods and techniques for fault diagnosis of Discrete Event Systems based on models that include faulty behaviour. Theoretical and practical issues related to model description tools, diagnosis processing structure, sensor selection, fault representation and inference are discussed. (C) 2013 Elsevier Ltd. All rights reserved.
引用
收藏
页码:308 / 320
页数:13
相关论文
共 133 条
[71]   Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets [J].
Miyagi, PE ;
Riascos, LAM .
CONTROL ENGINEERING PRACTICE, 2006, 14 (04) :397-408
[72]   OBSERVABILITY OF DISCRETE EVENT DYNAMIC-SYSTEMS [J].
OZVEREN, CM ;
WILLSKY, AS .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (07) :797-806
[73]   Template languages for fault monitoring of timed discrete event processes [J].
Pandalai, DN ;
Holloway, LE .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (05) :868-882
[74]   Safe diagnosability for fault-tolerant supervision of discrete-event systems [J].
Paoli, A ;
Lafortune, S .
AUTOMATICA, 2005, 41 (08) :1335-1347
[75]   Diagnosability analysis of a class of hierarchical state machines [J].
Paoli, Andrea ;
Lafortune, Stephane .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2008, 18 (03) :385-413
[76]   Active fault tolerant control of discrete event systems using online diagnostics [J].
Paoli, Andrea ;
Sartini, Matteo ;
Lafortune, Stephane .
AUTOMATICA, 2011, 47 (04) :639-649
[77]   A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks [J].
Pencolé, Y ;
Cordier, MO .
ARTIFICIAL INTELLIGENCE, 2005, 164 (1-2) :121-170
[78]   A decentralized model-based diagnostic tool for complex systems [J].
Pencolé, Y ;
Cordier, MO ;
Rozé, L .
ICTAI 2001: 13TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2001, :95-102
[79]  
PENCOLE Y, 2004, P 15 INT WORKSH PRIN, P173
[80]  
Pencolé Y, 2009, J UNIVERS COMPUT SCI, V15, P3246