Diagnosability of Discrete Event Systems with Modular Structure

被引：0
|
作者：
Olivier Contant
Stéphane Lafortune
Demosthenis Teneketzis
机构：
[1] The University of Michigan,Department of Electrical Engineering and Computer Science
来源：
Discrete Event Dynamic Systems | 2006年 / 16卷
关键词：
Distributed systems; Diagnosability; Modularity; Common events;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diagnosing such systems. The notion of modular diagnosability is introduced and the corresponding necessary and sufficient conditions to ensure it are presented. The verification of modular diagnosability is performed by a new algorithm that incrementally exploits the modular structure of the system to save on computational effort. The correctness of the algorithm is proved. Online diagnosis of modularly diagnosable systems is achieved using only local diagnosers.
引用
收藏
页码：9 / 37
页数：28
相关论文
共 50 条
  • [1] 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
  • [2] Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems
    Li, Ben
    Basilio, Joao Carlos
    Khlif-Bouassida, Manel
    Toguyeni, Armand
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 13618 - 13623
  • [3] Modular diagnosability of Discrete Event Systems Synchronized by Observable or Unobservable Events
    Basilio, Joao C.
    Toguyeni, Armand
    [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 4570 - 4575
  • [4] Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
    Schmidt, Klaus Werner
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05): : 1130 - 1140
  • [5] Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
    Masopust, Tomas
    Yin, Xiang
    [J]. AUTOMATICA, 2019, 101 : 290 - 295
  • [6] Safe diagnosability of discrete event systems
    Paoli, A
    Lafortune, S
    [J]. 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 2658 - 2664
  • [7] Diagnosability enhancement of discrete event systems
    Wen, YuanLin
    Li, ChunHsi
    Jeng, MuDer
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4096 - +
  • [8] Diagnosability of fuzzy discrete event systems
    Kilic, Erdal
    [J]. INFORMATION SCIENCES, 2008, 178 (03) : 858 - 870
  • [9] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS
    SAMPATH, M
    SENGUPTA, R
    LAFORTUNE, S
    SINNAMOHIDEEN, K
    TENEKETZIS, D
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) : 1555 - 1575
  • [10] Weak Diagnosability of Discrete Event Systems
    Cao, Lin
    Shu, Shaolong
    Lin, Feng
    Chen, Qijun
    Liu, Chengju
    [J]. IFAC PAPERSONLINE, 2020, 53 (04): : 338 - 343
12345