Distributed diagnosis of place-bordered Petri nets

被引:93
作者
Genc, Sahika [1 ]
Lafortune, Stephane
机构
[1] Gen Elect Global Res Ctr, Comp & Decis Lab, Niskayuna, NY 12309 USA
[2] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
基金
美国国家科学基金会;
关键词
distributed algorithms; fault diagnosis; Petri nets; software implementation;
D O I
10.1109/TASE.2006.879916
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper studies online fault detection and isolation of modular dynamic systems modeled as sets of place-bordered Petri nets. The common places among the set of Petri nets modeling a system capture coupling of various system components. The transitions are labeled by events, some of which are unobservable (i.e., not directly recorded by the sensors attached to the system). The events whose occurrence must be diagnosed have unobservable transition labels. These events model faults or other significant changes in the system state. The existing theory of diagnosis of discrete-event systems is extended in the context of the above model. The modular structure of the system is exploited by a distributed algorithm for fault diagnosis. A Petri net diagnoser is associated with every Petri net and the diagnosers communicate in real time during the diagnostic process when the token count of common places changes. A merge function is defined to combine the individual diagnoser states and recover the complete diagnoser state that would be obtained under a monolithic approach. Strategies that reduce the communication overhead are presented. The software implementation of the distributed algorithm is discussed.
引用
收藏
页码:206 / 219
页数:14
相关论文
共 21 条
[1]   Diagnosis of asynchronous discrete-event systems: A net unfolding approach [J].
Benveniste, A ;
Fabre, E ;
Haar, S ;
Jard, C .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) :714-727
[2]  
BOEL RK, 2003, CESA LILL FRANC JUL
[3]  
BOEL RK, 2004, INT WORKSH DISCR EV
[4]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd, DOI 10.1007/978-3-030-72274-6
[5]  
CONTANT O, 2004, INT WORKSH DISCR EV
[6]   Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86
[7]  
DEQUEIROZ MH, 2000, P AM CONTR C CHIC IL
[8]  
DESROCHERS AA, 1995, APPL PETRI NETS AUTO
[9]  
Genc S, 2003, LECT NOTES COMPUT SC, V2679, P316
[10]  
GENC S, 2005, 16 INT FED AUT CONTR