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
基金
中国国家自然科学基金; 浙江省自然科学基金;
关键词
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
相关论文
共 50 条
  • [41] Fault detection for discrete event systems using Petri nets with unobservable transitions
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    AUTOMATICA, 2010, 46 (09) : 1531 - 1539
  • [42] Petri nets and the control of discrete event systems
    Petrinetze und die steuerung ereignisdiskreter systeme
    1600, Springer Verlag (37):
  • [43] Petri nets for the control of discrete event systems
    Giua, Alessandro
    Seatzu, Carla
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 693 - 701
  • [44] Petri nets for the control of discrete event systems
    Alessandro Giua
    Carla Seatzu
    Software & Systems Modeling, 2015, 14 : 693 - 701
  • [45] Analysis of Discrete Event Systems with Petri Nets
    Mata, Guelvis
    Mendez, Arnado
    Cardillo, Juan
    Chacon, Edgar
    CIENCIA E INGENIERIA, 2016, 37 (02): : 53 - 58
  • [46] Observer based on-line fault diagnosis of continuous systems modeled as Petri nets
    Renganathan, K.
    Bhaskar, Vidhyacharan
    ISA TRANSACTIONS, 2010, 49 (04) : 587 - 595
  • [47] Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets*
    Zhu, Haoming
    Yin, Li
    Wu, Naiqi
    Li, Zhiwu
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1261 - 1266
  • [48] Dynamical local properties for estimation and control of discrete event systems modeled by interpreted Petri nets
    Meda-Campaña, ME
    Ramírez-Treviño, A
    López-Mellado, E
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2150 - 2155
  • [49] Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
    Liu, Yejia
    Li, Xunbo
    Li, Zhiwu
    IEEE ACCESS, 2023, 11 : 45442 - 45455
  • [50] Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets
    Latorre Biel, Juan Ignacio
    Jimenez Macias, Emilio
    Perez de la Parte, Mercedes
    UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 150 - 155