Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets

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.

[1]  Farid Nouioua,et al.  Predictability in Probabilistic Discrete Event Systems , 2016, SMPS.

[2]  Stéphane Lafortune,et al.  A general approach for solving dynamic sensor activation problems for a class of properties , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[3]  A. Khoumsi.  Multi-decision prognosis: Decentralized architectures cooperating for predicting failures in discrete event systems , 2012, 2012 20th Mediterranean Conference on Control & Automation (MED).

[4]  Xiang Yin.  Verification of Prognosability for Labeled Petri Nets , 2018, IEEE Transactions on Automatic Control.

[5]  Alessandro Giua,et al.  A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets , 2012, IEEE Transactions on Automatic Control.

[6]  Stéphane Lafortune,et al.  Predictability of Sequence Patterns in Discrete Event Systems , 2008 .

[7]  Farid Nouioua,et al.  A Predictability Algorithm for Distributed Discrete Event Systems , 2015, ICFEM.

[8]  Shigemasa Takai,et al.  Inference-Based Decentralized Prognosis in Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

[9]  Behzad Bordbar,et al.  On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems , 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.

[10]  Farid Nouioua,et al.  Diagnosability verification with Petri net unfoldings , 2010, Int. J. Knowl. Based Intell. Eng. Syst..

[11]  Ahmed Khoumsi,et al.  Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems , 2012, IEEE Transactions on Automation Science and Engineering.

[12]  Xiang Yin,et al.  Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols , 2019, IEEE Transactions on Cybernetics.

[13]  Dimitri Lefebvre.  Fault Diagnosis and Prognosis With Partially Observed Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Alessandro Giua,et al.  Codiagnosability Analysis of Bounded Petri Nets , 2018, IEEE Transactions on Automatic Control.

[15]  Shigemasa Takai,et al.  Robust prognosability for a set of partially observed discrete event systems , 2015, Autom..

[16]  Nathalie Bertrand,et al.  Foundation of Diagnosis and Predictability in Probabilistic Systems , 2014, FSTTCS.

[17]  Xiang Yin,et al.  Reliable Decentralized Fault Prognosis of Discrete-Event Systems , 2016, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  Mohamed Faouzi Atig,et al.  On Yen's Path Logic for Petri Nets , 2009, Int. J. Found. Comput. Sci..

[19]  Farid Nouioua,et al.  Predictability analysis of distributed discrete event systems , 2013, 52nd IEEE Conference on Decision and Control.

[20]  Hsu-Chun Yen,et al.  A Unified Approach for Deciding the Existence of Certain Petri Net Paths , 1992, Inf. Comput..

[21]  Farid Nouioua,et al.  Predictability of fuzzy discrete event systems , 2017, Discret. Event Dyn. Syst..

[22]  Lang Tong,et al.  On Fault Predictability in Stochastic Discrete Event Systems , 2013 .

[23]  Shigemasa Takai,et al.  Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications , 2012, IEEE Transactions on Automatic Control.

[24]  Eric Sanlaville,et al.  Faults prognosis using partially observed stochastic Petri-nets: an incremental approach , 2018, Discret. Event Dyn. Syst..

[25]  Xiang Yin,et al.  Decentralized fault prognosis of discrete event systems with guaranteed performance bound , 2016, Autom..

[26]  Eric Sanlaville,et al.  Fault prognosis of timed stochastic discrete event systems with bounded estimation error , 2017, Autom..

[27]  Jun Chen,et al.  Stochastic Failure Prognosability of Discrete Event Systems , 2015, IEEE Transactions on Automatic Control.

[28]  Stéphane Lafortune,et al.  Predictability of event occurrences in partially-observed discrete-event systems , 2009, Autom..

[29]  Stéphane Lafortune,et al.  On the Decidability and Complexity of Diagnosability for Labeled Petri Nets , 2017, IEEE Transactions on Automatic Control.

[30]  Alban Grastien,et al.  Predictability of Event Occurrences in Timed Systems , 2013, FORMATS.

[31]  Eric Sanlaville,et al.  State estimation of discrete event systems for RUL prediction issue , 2017, Int. J. Prod. Res..