FAULT DIAGNOSIS FOR DISCRETE EVENT SYSTEMS MODELED BY BOUNDED PETRI NETS

被引：16
作者：
Ran, Ning [1 ]
Wang, Shouguang [2 ]
Su, Hongye [1 ]
Wang, Chengying [2 ]
机构：
[1] Zhejiang Univ, Inst Cyber Syst & Control, State Lab Ind Control Technol, Yuquan Campus, Hangzhou 310027, Zhejiang, Peoples R China
[2] Zhejiang Gongshang Univ, Sch Informat & Elect Engn, 18,Xuezheng St, Hangzhou 310018, Zhejiang, Peoples R China
来源：
ASIAN JOURNAL OF CONTROL | 2017年 / 19卷 / 04期
基金：
中国国家自然科学基金; 浙江省自然科学基金;
关键词：
Discrete event systems; Petri nets; fault diagnosis; diagnoser; FAILURE DIAGNOSIS; DIAGNOSABILITY;
D O I：
10.1002/asjc.1500
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Fault diagnosis is an important problem in the manufacturing industry. It has been extensively studied in the past few decades both in time-driven systems and discrete event systems. This paper presents a Petri net diagnoser for online fault diagnosis of discrete event systems modeled by bounded labeled Petri nets. First, we present the concept and some properties of an extended basis reachability graph. Next, based on such a graph, we construct a Petri net diagnoser that is used to determine if a fault has occurred. Finally, an example is given to illustrate the application of the proposed diagnoser.
引用
收藏
页码：1532 / 1541
页数：10
相关论文
共 29 条
  • [11] Feng Lin, 1994, Discrete Event Dynamic Systems: Theory & Applications, V4, P197, DOI 10.1007/BF01441211
  • [12] Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation
    Hou, YiFan
    Zhao, Mi
    Liu, Ding
    [J]. ASIAN JOURNAL OF CONTROL, 2016, 18 (01) : 206 - 223
  • [13] Hruz B., 2007, MODELING CONTROL DIS
  • [14] Li Z. W., 2009, DEADLOCK RESOLUTION
  • [15] Liu G., 2015, IEICE T FUND ELECTR, VE96-A, P1783
  • [16] Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources
    Liu, G. J.
    Jiang, C. J.
    Zhou, M. C.
    [J]. IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (09) : 1059 - 1068
  • [17] Complexity of the deadlock problem for Petri nets modeling resource allocation systems
    Liu, Guanjun
    [J]. INFORMATION SCIENCES, 2016, 363 : 190 - 197
  • [18] Interactive Petri Nets
    Liu, GuanJun
    Jiang, ChangJun
    Zhou, MengChu
    Xiong, PengCheng
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (02): : 291 - 302
  • [19] Process Nets With Channels
    Liu, GuanJun
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 213 - 225
  • [20] Two Simple Deadlock Prevention Policies for S3PR Based on Key- Resource/Operation-Place Pairs
    Liu, GuanJun
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2010, 7 (04) : 945 - 957
123