Safe diagnosis of pattern faults of stochastic discrete-event systems and verification algorithm

被引:0
|
作者
Zhu, Hongzhen [1 ]
Liu, Fuchun [1 ]
机构
[1] Guangdong Univ Technol, Sch Comp Sci & Technol, Guangzhou 510006, Peoples R China
关键词
discrete-event systems; fault diagnosis; pattern faults; probabilistic models; safe diagnosis; DIAGNOSABILITY;
D O I
10.1002/asjc.3546
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In many real-world applications, faults often result from specific events occurring in succession (i.e., pattern faults) rather than from a single failure event. This paper investigates the safe diagnosis of pattern faults in stochastic discrete-event systems (SDESs). First, the notions of S$$ S $$-type and T$$ T $$-type pattern safe diagnosability for SDESs are formalized. Roughly speaking, a stochastic automaton is called S$$ S $$-type (or T$$ T $$-type) pattern safe diagnosable if the detection of S$$ S $$-type (or T$$ T $$-type) pattern faults is achieved with high probability (i.e., the probability of not detecting pattern faults is sufficiently low) before the system performs risky actions. The necessary and sufficient conditions for the pattern safe diagnosability of SDESs are then presented after constructing a pattern safe diagnoser and recognizer of a forbidden language from a given stochastic system. Consequently, an algorithm for verifying the pattern safe diagnosability of SDESs is proposed, demonstrating how the pattern-safe diagnoser can be used for the safe diagnosis of pattern faults.
引用
收藏
页数:11
相关论文
共 50 条
  • [1] Verification of safe diagnosability of stochastic discrete-event systems
    Liu, Fuchun
    Yang, Pengbiao
    Zhao, Rui
    Dziong, Zbigniew
    INTERNATIONAL JOURNAL OF CONTROL, 2022, 95 (02) : 372 - 379
  • [2] A Polynomial Verification Algorithm for Safe Diagnosability of Fuzzy Discrete-Event Systems
    Liu Fuchun
    Zhang Qiansheng
    Huang Renwei
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 3915 - 3920
  • [3] Safe diagnosability for intermittent faults of discrete-event systems
    Liu F.-C.
    Tang S.-Q.
    Zhao R.
    Deng X.-Q.
    Cui H.-G.
    Kongzhi yu Juece/Control and Decision, 2020, 35 (05): : 1205 - 1210
  • [4] Diagnosis of Temporal Faults in Discrete-Event Systems
    Bertoglio, Nicola
    Lamperti, Gianfranco
    Zanella, Marina
    Zhao, Xiangfu
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 632 - 639
  • [5] Decentralized Safe Diagnosis of Fuzzy Discrete-Event Systems
    Liu, Fuchun
    Wu, Lihua
    2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 1970 - 1975
  • [6] Safe pattern-based diagnosability of discrete-event systems
    Liu F.-C.
    Tang S.-Q.
    Zhao R.
    Deng X.-Q.
    Cui H.-G.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2020, 37 (01): : 162 - 168
  • [7] Recoverability of Discrete-Event Systems With Faults
    Shu, Shaolong
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (03) : 930 - 935
  • [8] State-based Safe-codiagnosability of Discrete-Event Systems and A Polynomial Verification Algorithm
    Deng, Weilin
    Qiu, Daowen
    PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2397 - 2402
  • [9] Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
    Liu, Fuchun
    Cao, Weihua
    Dziong, Zbigniew
    FUZZY SETS AND SYSTEMS, 2024, 490
  • [10] Pattern diagnosis for stochastic discrete event systems
    Geng, Xuena
    Ouyang, Dantong
    Jiang, Zhengang
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2020, 87 (87)