Diagnosability of stochastic discrete-event systems

被引：161
|
作者：
Thorsley, D [1 ]
Teneketzis, D [1 ]
机构：
[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2005年 / 50卷 / 04期
基金：
美国国家科学基金会;
关键词：
discrete-event systems; failure detection; fault diagnosis; probabilistic models; stochastic automata;
D O I：
10.1109/TAC.2005.844722
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We investigate diagnosability of stochastic discrete-event systems. We define the notions of A- and AA-diagnosability for stochastic automata; these notions are weaker than the corresponding notion of diagnosability for logical automata introduced by Sampath et al. Through the construction of a stochastic diagnoser, we determine offline conditions necessary and sufficient to guarantee A-diagnosability and sufficient to guarantee AA-diagnosability. We also show how the stochastic diagnoser can be used for on-line diagnosis of failure events. We illustrate the results through two examples from HVAC systems.
引用
收藏
页码：476 / 492
页数：17
相关论文
共 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] Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems
    Chen, Jun
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (04) : 969 - 979
  • [3] Revised Test for Stochastic Diagnosability of Discrete-Event Systems
    Chen, Jun
    Keroglou, Christoforos
    Hadjicostis, Christoforos N.
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (01) : 404 - 408
  • [4] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS
    SAMPATH, M
    SENGUPTA, R
    LAFORTUNE, S
    SINNAMOHIDEEN, K
    TENEKETZIS, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) : 1555 - 1575
  • [5] Diagnosability of stochastic discrete-event systems under unreliable observations
    Thorsley, David
    Yoo, Tae-Sic
    Garcia, Humberto E.
    2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 1158 - +
  • [6] Weak Diagnosability of Discrete-Event Systems
    Cao, Lin
    Shu, Shaolong
    Lin, Feng
    Chen, Qijun
    Liu, Chengju
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (01): : 184 - 196
  • [7] Distributed Synchronous Diagnosability of Discrete-Event Systems
    Veras, Maria Z. M.
    Cabral, Felipe G.
    Moreira, Marcos V.
    IFAC PAPERSONLINE, 2018, 51 (07): : 88 - 93
  • [8] Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification
    Cao, Weihua
    Liu, Fuchun
    ASIAN JOURNAL OF CONTROL, 2023, 25 (04) : 3282 - 3285
  • [9] Safe diagnosability of timed discrete-event systems
    Liu F.-C.
    Cai J.-D.
    Kongzhi yu Juece/Control and Decision, 2017, 32 (11): : 2081 - 2084
  • [10] Diagnosability test for timed discrete-event systems
    Pan, J.
    Hashtrudi-Zad, S.
    ICTAI-2006: EIGHTEENTH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, : 63 - +
12345