Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification

被引：12

作者：

Liao, Hui ^{[1
]}

Liu, Fuchun ^{[1
]}

Zhao, Rui ^{[1
]}

机构：

[1] Guangdong Univ Technol, Sch Comp, Guangzhou 510006, Peoples R China

来源：

IEEE TRANSACTIONS ON CYBERNETICS | 2022年 / 52卷 / 07期

基金：

中国国家自然科学基金;

关键词：

Reliability; Prognostics and health management; Automata; Stochastic processes; Complexity theory; Testing; Discrete-event systems; Coprognosability; decentralized fault prognosis; discrete-event systems (DESs); reliable coprognosability; stochastic automata; DIAGNOSABILITY; DIAGNOSIS; PROGNOSIS;

D O I：

10.1109/TCYB.2021.3051260

中图分类号：

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

学科分类号：

0812 ;

摘要：

Fault prognosis of discrete-event systems (DESs) aims to predict the occurrence of fault beforehand such that certain protective measures may be adopted before the fault occurs. This article investigates the reliable coprognosability issue for decentralized stochastic DESs (SDESs) facing the possible unavailability of some local agents. The main contributions are as follows. First, we formalize the notion of r-reliable coprognosability for SDESs. In general, an r-reliably coprognosable SDES with n local sites (1 <= r <= n ) can predict the occurrences of faults even though n-r local agents are invalid. Second, we construct a reliable coprognoser from the given stochastic system and present a necessary and sufficient condition for testing r-reliable coprognosability by the reliable coprognoser. Third, due to the exponential complexity of testing r-reliable coprognosability by reliable coprognoser, a reliable coverifier is constructed and an alternate necessary and sufficient condition for verifying r-reliable coprognosability of SDESs by the reliable coverifier is proposed, which is polynomial time.

引用

页码：6207 / 6216

页数：10

共 34 条

[1] 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

[2]

Cassandras CG., 2008, INTRO DISCRETE EVENT, V2nd ed., DOI DOI 10.1007/978-0-387-68612-7

[3] Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems [J].

Chen, Jun ;

Ibrahim, Mariam ;

Kumar, Ratnesh .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2017, 14 (01) :185-195

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

Chen, Jun ;

Kumar, Ratnesh .

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

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

Genc, Sahika ;

Lafortune, Stephane .

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

[6] Reliable Control Policy of Cyber-Physical Systems Against a Class of Frequency-Constrained Sensor and Actuator Attacks [J].

Huang, Xin ;

Dong, Jiuxiang .

IEEE TRANSACTIONS ON CYBERNETICS, 2018, 48 (12) :3432-3439

[7]

Jeron Thierry, 2008, IFAC P, V41, P537

[8] Decentralized Prognosis of Failures in Discrete Event Systems [J].

Kumar, Ratnesh ;

Takai, Shigemasa .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :48-59

[9] Fault Diagnosis in Discrete-Event Systems with Incomplete Models: Learnability and Diagnosability [J].

Kwong, Raymond H. ;

Yonge-Mallo, David L. .

IEEE TRANSACTIONS ON CYBERNETICS, 2015, 45 (07) :1236-1249

[10] UNCERTAINTY QUANTIFICATION OF DETONATION THROUGH ADAPTED POLYNOMIAL CHAOS [J].

Liang, X. ;

Wang, R. ;

Ghanem, R. .

INTERNATIONAL JOURNAL FOR UNCERTAINTY QUANTIFICATION, 2020, 10 (01) :83-100

← 1 2 3 4 →