Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets

被引：0
作者：
Wu, Wenqing [1 ,2 ]
Yin, Xiang [1 ,2 ]
Li, Shaoyuan [1 ,2 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Automat, Shanghai 200240, Peoples R China
[2] Shanghai Jiao Tong Univ, Key Lab Syst Control & Informat Proc, Shanghai 200240, Peoples R China
来源：
2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2018年
基金：
中国国家自然科学基金;
关键词：
DISCRETE-EVENT SYSTEMS; PREDICTABILITY;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We investigate the problem of decentralized fault prognosis of discrete-event systems modeled by unbounded labeled Petri nets. We assume that the system is monitored by a set of local agents (prognosers) with local observations so that they can predict the occurrence of fault in the system as a team. It is known in the literature that the notion of coprognosability provides the necessary and sufficient condition for the existence of a set of decentralized prognosers so that any fault can be predicted before its occurrence without false alarm. In this paper, we investigate the verification of coprognosability for systems modeled by labeled Petri nets. We show that coprognosability is decidable even when the Petri net is unbounded. Specifically, we provide an approach to transform the coprognosability verification problem to a model checking problem that can be effectively solved. Our result extends existing works on coprognosability analysis in decentralized fault prognosis from regular languages to Petri net languages.
引用
收藏
页码：4845 / 4850
页数：6
相关论文
共 32 条
[1]  
Ammour R., 2018, DISCRETE EVENT DYN S, P1
[2]   State estimation of discrete event systems for RUL prediction issue [J].
Ammour, Rabah ;
Leclercq, Edouard ;
Sanlaville, Eric ;
Lefebvre, Dimitri .
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2017, 55 (23) :7040-7057
[3]   Fault prognosis of timed stochastic discrete event systems with bounded estimation error [J].
Ammour, Rabah ;
Leclercq, Edouard ;
Sanlaville, Eric ;
Lefebvre, Dimitri .
AUTOMATICA, 2017, 82 :35-41
[4]   ON YEN'S PATH LOGIC FOR PETRI NETS [J].
Atig, Mohamed Faouzi ;
Habermehl, Peter .
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (04) :783-799
[5]   Predictability of fuzzy discrete event systems [J].
Benmessahel, Bilal ;
Touahria, Mohamed ;
Nouioua, Farid .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (04) :641-673
[6]  
Bertrand N., 2014, LIPICS, V29, P417
[7]   On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems [J].
Bordbar, Behzad ;
Al-Ajeli, Ahmed ;
Alodib, Mohammed .
2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, :673-680
[8]   A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets [J].
Cabasino, Maria Paola ;
Giua, Alessandro ;
Lafortune, Stephane ;
Seatzu, Carla .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) :3104-3117
[9]  
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
[10]   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
1234