Diagnosability of stochastic discrete-event systems

被引：163
作者：
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
相关论文
共 32 条
[1]  
BAVISHI S, 1994, PROCEEDINGS OF THE 1994 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, P213, DOI 10.1109/ISIC.1994.367815
[2]  
Bremaud P., 1999, MARKOV CHAINS GIBBS
[3]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd
[4]  
DARWICHE A, 1996, P 7 INT WORKSH PRINC, P95
[5]  
DEBOUK R, 2000, THESIS U MICHIGAN EL
[6]  
García E, 2002, WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P161, DOI 10.1109/WODES.2002.1167683
[7]  
Hoel P., 1987, INTRO STOCHASTIC PRO
[8]  
HOLLOWAY LE, 1994, PROCEEDINGS OF THE 1994 AMERICAN CONTROL CONFERENCE, VOLS 1-3, P701
[9]  
Jiang SB, 2002, P AMER CONTR CONF, V1-6, P128, DOI 10.1109/ACC.2002.1024792
[10]  
Jiang SB, 2002, IEEE DECIS CONTR P, P4000
1234