Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems

被引：3
作者：
Li, Ben [1 ,2 ]
Basilio, Joao Carlos [3 ]
Khlif-Bouassida, Manel [1 ,2 ]
Toguyeni, Armand [1 ,2 ]
机构：
[1] Univ Lille Nord France, F-59000 Lille, France
[2] Ecole Cent Lille, CRIStAL, UMR 9189, F-59650 Villeneuve Dascq, France
[3] Univ Fed Rio de Janeiro, COPPE Programa Engn Eletr, BR-21949900 Rio De Janeiro, RJ, Brazil
来源：
IFAC PAPERSONLINE | 2017年 / 50卷 / 01期
关键词：
Fault diagnosis; Discrete event systems; Modular diagnosability analysis; DECENTRALIZED DIAGNOSABILITY; FAILURE DIAGNOSIS; PETRI NETS;
D O I：
10.1016/j.ifacol.2017.08.2387
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper addresses the modular diagnosability verification of discrete event system (DES). We assume that the language generated by each automaton module can have deadlocks and that the common events among modules are observable. A new algorithm is developed based on the proposition of a necessary and sufficient condition for modular diagnosability, whose complexity is polynomial and is lower than that of other approaches in literature. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码：13618 / 13623
页数：6
相关论文
共 14 条
  • [1] [Anonymous], 2007, INTRO DISCRETE EVENT
  • [2] On K-diagnosability of Petri nets via integer linear programming
    Basile, F.
    Chiacchio, P.
    De Tommasi, G.
    [J]. AUTOMATICA, 2012, 48 (09) : 2047 - 2058
  • [3] A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
    Cabral, Felipe Gomes
    Moreira, Marcos Vicente
    Diene, Oumar
    Basilio, Joao Carlos
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 59 - 71
  • [4] Diagnosability of discrete event systems with modular structure
    Contant, O
    Lafortune, S
    Teneketzis, D
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (01): : 9 - 37
  • [5] Coordinated decentralized protocols for failure diagnosis of discrete event systems
    Debouk, R
    Lafortune, S
    Teneketzis, D
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2): : 33 - 86
  • [6] Distributed diagnosis of place-bordered Petri nets
    Genc, Sahika
    Lafortune, Stephane
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (02) : 206 - 219
  • [7] Li B, 2016, INT WORKS DISCRETE, P171, DOI 10.1109/WODES.2016.7497844
  • [8] Liu BS, 2014, 2014 EUROPEAN CONTROL CONFERENCE (ECC), P1293, DOI 10.1109/ECC.2014.6862505
  • [9] "Polynomial time verification of decentralized diagnosability of discrete event systems" vs. "Decentralized failure diagnosis of discrete event systems": A critical appraisal
    Moreira, Marcos V.
    Basilio, Joao C.
    Cabral, Felipe G.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (01) : 178 - 181
  • [10] Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
    Moreira, Marcos V.
    Jesus, Thiago C.
    Basilio, Joao C.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (07) : 1679 - 1684
12