Predictability of Fault Events for Decentralized Stochastic Discrete-Event Systems Based on Dynamic Observations and Polynomial-Time Verification

被引：0

作者：

Liao, Hui ^{[1
]}

Liu, Fuchun ^{[1
]}

Wu, Yilin ^{[1
]}

Zhou, Ruqi ^{[1
]}

机构：

[1] Guangdong Univ Educ, Sch Comp Sci, Guangzhou, Peoples R China

来源：

2024 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTICS AND AUTOMATIC CONTROL, IRAC | 2024年

关键词：

discrete-event systems; decentralized fault prediction; copredictability; stochastic automata; dynamic observations; DIAGNOSABILITY; DIAGNOSIS; PROGNOSIS;

D O I：

10.1109/IRAC63143.2024.10871349

中图分类号：

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

学科分类号：

0812 ;

摘要：

Fault prediction of discrete-event systems (DESs) is to predict the fault prior to its occurrence such that effective measures can be taken. We investigate the issue of the fault copredictability of stochastic DESs (SDESs) in a decentralized setting under dynamic observations. It is supposed that the observation of events of the system is not fixed in advance. To perform the decentralized prediction of SEDSs, a D-coverifier from the given stochastic system with multiple local projections is constructed and a necessary and sufficient condition for the verification of D-copredictability by the D-coverifier is presented, which is polynomial-time complexity.

引用

页码：385 / 390

页数：6

共 19 条

[1]

Cassez F, 2008, FUND INFORM, V88, P497

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

Chen, Jun ;

Kumar, Ratnesh .

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

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

Genc, Sahika ;

Lafortune, Stephane .

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

[4] Decentralized control of discrete-event systems when supervisors observe particular event occurrences [J].

Huang, Ying ;

Rudie, Karen ;

Lin, Feng .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (01) :384-388

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

Kumar, Ratnesh ;

Takai, Shigemasa .

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

[6] Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification [J].

Liao, Hui ;

Liu, Fuchun ;

Zhao, Rui .

IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (07) :6207-6216

[7] Decentralized diagnosis of stochastic discrete event systems [J].

Liu, Fuchun ;

Qiu, Daowen ;

Xing, Hongyan ;

Fan, Zhujun .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (02) :535-546

[8] Safe diagnosability of stochastic discrete event systems [J].

Liu, Fuchun ;

Qiu, Daowen .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (05) :1291-1296

[9] Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification [J].

Liu, Fuchun .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2019, 16 (01) :498-504

[10] Minimal communication in a distributed discrete-event system [J].

Rudie, K ;

Lafortune, S ;

Lin, F .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (06) :957-975

← 1 2 →