A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

被引：46
|
作者：
Cabral, Felipe Gomes [1 ]
Moreira, Marcos Vicente [1 ]
Diene, Oumar [1 ]
Basilio, Joao Carlos [1 ]
机构：
[1] Univ Fed Rio de Janeiro, COPPE Elect Engn Program, Ilha Fundaao, BR-21945970 Rio De Janeiro, RJ, Brazil
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2015年 / 60卷 / 01期
关键词：
Automata; discrete event systems (DESs); fault diagnosis; petri nets; programmable logic controllers (PLCs); PLC-BASED IMPLEMENTATION; ROBUST DIAGNOSIS; FAULT-DIAGNOSIS; DIAGNOSABILITY; DESIGN; SILENT;
D O I：
10.1109/TAC.2014.2332238
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose in this paper a Petri net approach to online diagnosis of discrete event systems (DESs) modeled by finite state automata. The diagnosis method is based on the construction of a Petri net diagnoser (PND) which is constructed in polynomial time and requires less memory than other methods proposed in the literature. We also present methods for the conversion of the PND to both sequential function chart and ladder diagram for implementation on a programmable logic controller (PLC). Implementation issues are also addressed in the paper.
引用
收藏
页码：59 / 71
页数：13
相关论文
共 50 条
  • [1] Petri Net Diagnoser for DES Modeled by Finite State Automata
    Moreira, Marcos V.
    Cabral, Felipe G.
    Diene, Oumar
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 6742 - 6748
  • [2] Failure Components Detection in Discrete Event Systems Modeled by Petri Net
    Arichi, Fayssal
    Kebabti, Houda
    Cherki, Brahim
    Djemai, Mohamed
    2013 3D INTERNATIONAL CONFERENCE ON SYSTEMS AND CONTROL (ICSC), 2013,
  • [3] New predictability verification tests for discrete-event systems modeled by finite state automata
    Barcelos, Raphael J. .
    Basilio, Joao C. .
    IFAC PAPERSONLINE, 2020, 53 (04): : 243 - 249
  • [4] State estimation in Discrete Event Systems modeled by labeled Petri nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 6022 - 6027
  • [5] State Estimation in Discrete Event Systems Modeled by Signal Interpreted Petri Nets
    Koehler, Andreas
    Zhang, Ping
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2078 - 2083
  • [6] Fault diagnosis of discrete event systems modeled as automata
    Basilio J.C.
    Carvalho L.K.
    Moreira M.V.
    Controle y Automacao, 2010, 21 (05): : 510 - 533
  • [7] Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
    Ouedraogo, Lucien
    Kumar, Ratnesh
    Malik, Robi
    Akesson, Knut
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (03) : 560 - 569
  • [8] Control of distributed discrete event systems modeled as Petri nets
    Guan, XY
    Holloway, LE
    PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 2342 - 2347
  • [9] Observability of discrete event systems modeled by interpreted Petri nets
    Ramírez-Treviño, A
    Rivera-Rangel, I
    López-Mellado, E
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (04): : 557 - 565
  • [10] Distributed synchronous diagnosis of discrete event systems modeled as automata
    Veras, Maria Z. M.
    Cabral, Felipe G.
    Moreira, Marcos V.
    CONTROL ENGINEERING PRACTICE, 2021, 115
12345