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 条

[21] 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
[22] Robust Diagnosability and Robust Prognosability of Discrete-Event Systems Revisited
Yin, Xiang
Li, Shaoyuan
2018 IEEE 8TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (IEEE-CYBER), 2018, : 302 - 307
[23] Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata
Zhao, Xiangfu
Lamperti, Gianfranco
Ouyang, Dantong
Tong, Xiangrong
COMPLEXITY, 2020, 2020
[24] Diagnosability of Discrete-Event Systems Using Labeled Petri Nets
Cabasino, Maria Paola
Giua, Alessandro
Seatzu, Carla
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 144 - 153
[25] Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
Schmidt, Klaus Werner
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05): : 1130 - 1140
[26] K-Loss Robust Diagnosability of Discrete-Event Systems
Oliveira, Vinicius S. L.
Cabral, Felipe G.
Moreira, Marcos V.
IFAC PAPERSONLINE, 2020, 53 (04): : 250 - 255
[27] Diagnosability analysis of hybrid systems cast in a discrete-event framework
Bayoudh, Mehdi
Trave-Massuyes, Louise
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2014, 24 (03): : 309 - 338
[28] Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems
Carvalho, Lilian Kawakami
Moreira, Marcos Vicente
Basilio, Joao Carlos
ANNUAL REVIEWS IN CONTROL, 2021, 51 : 23 - 36
[29] Safe diagnosability for fault-tolerant supervision of discrete-event systems
Paoli, A
Lafortune, S
AUTOMATICA, 2005, 41 (08) : 1335 - 1347
[30] Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems
Carvalho, Lilian Kawakami
Moreira, Marcos Vicente
Basilio, João Carlos
Annual Reviews in Control, 2021, 51 : 23 - 36

← 1 2 3 4 5 →