Diagnosis of discrete event systems: A modular approach

被引:0
|
作者
Debouk, R [1 ]
机构
[1] Gen Motors, Res & Dev & Planning, Warren, MI 48090 USA
关键词
discrete event systems; modular failure diagnosis;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We introduce a modular architecture(1) for diagnosis in the framework of discrete event systems. The architecture is best suited for systems with multiple interacting components. We suggest to use local diagnosis at each component and provide conditions on the system structure so that the global system behavior can be diagnosed using these local diagnoses. We also discuss a test to check the diagnosability of a given system in the modular architecture set up.
引用
收藏
页码:306 / 311
页数:6
相关论文
共 50 条
  • [21] Diagnosability of Discrete Event Systems with Modular Structure
    Olivier Contant
    Stéphane Lafortune
    Demosthenis Teneketzis
    [J]. Discrete Event Dynamic Systems, 2006, 16 : 9 - 37
  • [22] Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems
    Xiaoguang HAN
    Pengfei WANG
    Zengqiang CHEN
    [J]. Science China(Information Sciences), 2020, 63 (11) : 324 - 326
  • [23] A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
    Komenda, Jan
    Lin, Feng
    van Schuppen, Jan H.
    [J]. 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 2009 - 2014
  • [24] Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications
    Li, Jinglun
    Takai, Shigemasa
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 1358 - 1363
  • [25] On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach
    Zhao, Xiangfu
    Ouyang, Dantong
    [J]. 2008 IEEE CONFERENCE ON ROBOTICS, AUTOMATION, AND MECHATRONICS, VOLS 1 AND 2, 2008, : 271 - 276
  • [26] Diagnosis of asynchronous discrete-event systems: A net unfolding approach
    Benveniste, A
    Fabre, E
    Haar, S
    Jard, C
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) : 714 - 727
  • [27] Formal approach to fault diagnosis in distributed discrete event systems with OBDD
    Xue, Fei
    Yan, Lu
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2007, 3 (04) : 259 - 267
  • [28] Active diagnosis of discrete event systems
    Sampath, M
    Lafortune, S
    Teneketzis, D
    [J]. PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 2976 - 2983
  • [29] Adaptive diagnosis of discrete event systems
    Chung, SL
    Fu, CL
    Jeng, MD
    [J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2004, 27 (03) : 417 - 429
  • [30] Decentralized modular control of concurrent discrete event systems
    Zhou, Changyan
    Kumar, Ratnesh
    Sreenivas, Ramavarapu S.
    [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 2944 - +