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 条
  • [21] Asynchronous Fault Diagnosis of Stochastic Discrete-Event Systems in Industrial Applications
    He, Jiahan
    Wang, Deguang
    Yang, Ming
    Hu, Yuhong
    IEEE SENSORS JOURNAL, 2024, 24 (04) : 4886 - 4898
  • [22] Safe Diagnosability of Fuzzy Discrete-Event Systems
    Liu, Fuchun
    Zhang, Qiansheng
    Chen, Xuesong
    Huang, Renwei
    2012 12TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS & VISION (ICARCV), 2012, : 252 - 257
  • [23] State observation and diagnosis of discrete-event systems described by stochastic automata
    Lunze, J
    Schröder, J
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (04): : 319 - 369
  • [24] Verification and Synthesis for Secrecy in Discrete-Event Systems
    Takai, Shigemasa
    Kumar, Ratnesh
    2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4741 - +
  • [25] Safe diagnosability of timed discrete-event systems
    Liu F.-C.
    Cai J.-D.
    Kongzhi yu Juece/Control and Decision, 2017, 32 (11): : 2081 - 2084
  • [26] Incremental Diagnosis of Discrete-Event Systems
    Grastien, Alban
    Cordier, Marie-Odile
    Largouet, Christine
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1564 - 1565
  • [27] Active diagnosis of discrete-event systems
    Sampath, M
    Lafortune, S
    Teneketzis, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (07) : 908 - 929
  • [28] Synchronous Diagnosis of Discrete-Event Systems
    Cabral, Felipe Gomes
    Moreira, Marcos Vicente
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (02) : 921 - 932
  • [29] Diagnosis of Deep Discrete-Event Systems
    Lamperti, Gianfranco
    Zanella, Marina
    Zhao, Xiangfu
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 69 : 1473 - 1532
  • [30] Diagnosis of deep discrete-event systems
    Lamperti G.
    Zanella M.
    Zhao X.
    Journal of Artificial Intelligence Research, 2021, 69 : 1473 - 1532