Distributed diagnosis of discrete-event systems under dynamic event observations

被引:1
|
作者
Li, Bowen [1 ]
Lu, Jianquan [2 ,5 ]
Liu, Rongjian [3 ]
Wang, Yaqi [4 ]
机构
[1] Nanjing Univ Posts & Telecommun, Sch Comp Sci, Nanjing 210023, Peoples R China
[2] Southeast Univ, Sch Math, Dept Syst Sci, Nanjing 210096, Peoples R China
[3] Chongqing Normal Univ, Natl Ctr Appl Math Chongqing, Chongqing 401331, Peoples R China
[4] Qufu Normal Univ, Sch Engn, Rizhao 276826, Peoples R China
[5] Zhejiang Normal Univ, Sch Math Sci, Jinhua 321004, Peoples R China
基金
中国国家自然科学基金;
关键词
SENSOR ACTIVATION; FAILURE DIAGNOSIS; DIAGNOSABILITY; COMMUNICATION; DETECTABILITY;
D O I
10.1016/j.jfranklin.2023.08.019
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In general, observable events are always assumed to be observed when studying the distributed diagnosis of discrete-event systems (DESs). However, this assumption may not be established in several DESs. In this paper, we address the problem of distributed fault diagnosis under dynamic event observations (DEOs) where some occurrences of observable events can not be captured, depending on the traces executed by systems. Then, the notion of distributed fault diagnosis under DEOs is formalized by introducing the notion of joint diagnosability with respect to DEOs (w.r.t. DEOs). For each local diagnoser, one algorithm for constructing communication models under DEOs is proposed. Finally, by constructing extended models above, an algorithm for testing joint diagnosability w.r.t. DEOs is presented. (c) 2023 The Franklin Institute. Published by Elsevier Inc. All rights reserved.
引用
收藏
页码:11075 / 11093
页数:19
相关论文
共 50 条
  • [31] Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations
    Holloway, LE
    Chand, S
    INTEGRATED COMPUTER-AIDED ENGINEERING, 1996, 3 (04) : 244 - 254
  • [32] Diagnosis of a class of timed discrete-event systems
    Derbel, Haithem
    Yeddes, Moez
    Ben Hadj-Alouane, Nejib
    Alla, Hassane
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 256 - +
  • [33] Discrete-Event Systems
    Ge, Shuzhi Sam
    IEEE CONTROL SYSTEMS MAGAZINE, 2010, 30 (06): : 25 - 26
  • [34] Fault diagnosis in hierarchical discrete-event systems
    Idghamishi, AM
    Zad, SH
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 63 - 68
  • [35] INVERTIBILITY OF DISCRETE-EVENT DYNAMIC-SYSTEMS
    OZVEREN, CM
    WILLSKY, AS
    MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1992, 5 (04) : 365 - 390
  • [36] The supervised control of discrete-event dynamic systems
    Charbonnier, F
    Alla, H
    David, R
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1999, 7 (02) : 175 - 187
  • [37] Hierarchical fault diagnosis for discrete-event systems under global consistency
    Su, R
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (01): : 39 - 70
  • [38] Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
    R. Su
    W. M. Wonham
    Discrete Event Dynamic Systems, 2006, 16 : 39 - 70
  • [39] Robustly distributed diagnosis of discrete-event systems and its application to Alipay transaction systems
    Li, Bowen
    Zhong, Jie
    Lu, Jianquan
    Liu, Xiaoxu
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2022, 359 (18): : 10765 - 10784
  • [40] Distributed Control of Discrete-Event Systems: A First Step
    Darondeau, Philippe
    Ricker, Laurie
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 24 - 45