Reliable Decentralized Fault Prognosis of Discrete-Event Systems

被引：46

作者：

Yin, Xiang ^{[1
]}

Li, Zhaojian ^{[2
]}

机构：

[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA

[2] Univ Michigan, Dept Aerosp Engn, Ann Arbor, MI 48109 USA

来源：

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS | 2016年 / 46卷 / 11期

关键词：

Decentralized fault prognosis; discrete-event systems; reliable coprognosability; reliable prognosers; NONBLOCKING SUPERVISORY CONTROL; COMMUNICATION DELAYS; ROBUST; DIAGNOSIS;

D O I：

10.1109/TSMC.2015.2499178

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We investigate the problem of reliable decentralized fault prognosis of partially-observed discrete-event systems. In this problem, n local prognosers are deployed to send their local prognostic decisions to a coordinator that calculates the final prognostic decision. However, only k (1 <= k <= n) local prognostic decisions are guaranteed to be available to the coordinator due to possible failures or communication losses of at most n-k local prognosers. We propose the notion of k-reliable decentralized prognoser in order to address this reliability issue. A necessary and sufficient condition for the existence of a k-reliable decentralized prognoser, which predicts faults prior to their occurrences, is presented. This condition is termed as k-reliable coprognosability. A polynomial-time algorithm for the verification of k-reliable coprognosability is presented. We also demonstrate how to compute the k-reliable reactive bound prior to any occurrence of faults.

引用

页码：1598 / 1603

页数：6

共 29 条

[1] Robust codiagnosability of discrete event systems [J].

Basilio, Joao Carlos ;

Lafortune, Stephane .

2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, :2202-+

[2] Robust diagnosis of discrete event systems against intermittent loss of observations [J].

Carvalho, Lilian K. ;

Basilio, Joao C. ;

Moreira, Marcos V. .

AUTOMATICA, 2012, 48 (09) :2068-2078

[3]

Cassandras C. G., 2008, INTRO DISCRETE EVENT

[4]

Cassez Franck, 2013, Formal Modeling and Analysis of Timed Systems. Proceedings of 11th International Conference (FORMATS 2013): LNCS 8053, P62, DOI 10.1007/978-3-642-40229-6_5

[5] ON FAULT PREDICTABILITY IN STOCHASTIC DISCRETE EVENT SYSTEMS [J].

Chang, Ming ;

Dong, Wei ;

Ji, Yindong ;

Tong, Lang .

ASIAN JOURNAL OF CONTROL, 2013, 15 (05) :1458-1467

[6] Stochastic Failure Prognosability of Discrete Event Systems [J].

Chen, Jun ;

Kumar, Ratnesh .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) :1570-1581

[7]

CHO H, 1989, MATH CONTROL SIGNAL, V2, P47

[8] Predictability of event occurrences in partially-observed discrete-event systems [J].

Genc, Sahika ;

Lafortune, Stephane .

AUTOMATICA, 2009, 45 (02) :301-311

[9]

Jeron T., 2008, IFAC Proceedings Volumes, V41, P537

[10] Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems [J].

Khoumsi, Ahmed ;

Chakib, Hicham .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) :412-417

← 1 2 3 →