Fault diagnosis of discrete event systems modeled as automata

被引：0
|
作者：
Basilio J.C. [1 ]
Carvalho L.K. [1 ]
Moreira M.V. [1 ]
机构：
[1] Universidade Federal do Rio de Janeiro, COPPE - Programa de Engenharia Elétrica, Ilha do Fundão, Centro de Tecnologia, 21949-900, Rio de Janeiro, RJ, Cidade Universitária
来源：
Controle y Automacao | 2010年 / 21卷 / 05期
关键词：
Automata; Discrete event systems; Fault diagnosis;
D O I：
10.1590/s0103-17592010000500006
中图分类号：
学科分类号：
摘要：
This tutorial presents the background necessary to the study and research on fault diagnosis of discrete-event systems modeled as automata. Both centralized diagnosability and co-diagnosability with coordination are considered. Besides presenting necessary and sufficient conditions for the verification of diagnosability and co-diagnosability, the paper also presents tests using diagnosers and verifiers. Recent results on centralized diagnosis under partial observation are also addressed.
引用
收藏
页码：510 / 533
页数：23
相关论文
共 50 条
  • [1] Distributed synchronous diagnosis of discrete event systems modeled as automata
    Veras, Maria Z. M.
    Cabral, Felipe G.
    Moreira, Marcos V.
    [J]. CONTROL ENGINEERING PRACTICE, 2021, 115
  • [2] Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata
    Zhao, Xiangfu
    Lamperti, Gianfranco
    Ouyang, Dantong
    Tong, Xiangrong
    [J]. COMPLEXITY, 2020, 2020
  • [3] FAULT DIAGNOSIS FOR DISCRETE EVENT SYSTEMS MODELED BY BOUNDED PETRI NETS
    Ran, Ning
    Wang, Shouguang
    Su, Hongye
    Wang, Chengying
    [J]. ASIAN JOURNAL OF CONTROL, 2017, 19 (04) : 1532 - 1541
  • [4] Fault diagnosis in discrete event systems modeled by Petri nets with outputs
    Ru, Yu
    Hadjicostis, Christoforos N.
    [J]. WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 443 - +
  • [5] Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
    Takai, Shigemasa
    Ushio, Toshimitsu
    [J]. 2010 AMERICAN CONTROL CONFERENCE, 2010, : 2613 - 2618
  • [6] Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (04): : 551 - 575
  • [7] Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
    Yu Ru
    Christoforos N. Hadjicostis
    [J]. Discrete Event Dynamic Systems, 2009, 19 : 551 - 575
  • [8] Fault Diagnosis in Discrete Event Systems Modeled by Signal Interpreted Petri Nets
    Koehler, Andreas
    Zhang, Ping
    [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 4576 - 4581
  • [9] Diagnosability of discrete event systems modeled by time-interval automata
    Rezende, Christiano H.
    Viana, Gustavo S.
    Basilio, Joao C.
    [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 8660 - 8665
  • [10] 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
12345