Decentralized prognosis of fuzzy discrete-event systems

This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be predicted prior to its occurrence by at least one local agent using the observability of fuzzy events. The verification of the decentralized predictability is performed by constructing a fuzzy co-verifier from a given FDES. The complexity of the fuzzy co-verifier is polynomial with respect to the FDES being predicted, and is exponential with respect to the number of the local prognosis agents. Then, a necessary and sufficient condition for the co-predictability of FDESs is given. In addition, we show that the proposed method may be used to deal with the decentralized prognosis for both FDESs and crisp DESs. Finally, to illustrate the effectiveness of the approach, some examples are provided.

[1]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

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

[3]  Yongzhi Cao,et al.  Supervisory control of fuzzy discrete event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[4]  Yongzhi Cao,et al.  Observability and decentralized control of fuzzy discrete-event systems , 2004, IEEE Transactions on Fuzzy Systems.

[5]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[6]  Zbigniew Dziong,et al.  Reliable Decentralized Control of Fuzzy Discrete-Event Systems and a Test Algorithm , 2013, IEEE Transactions on Cybernetics.

[7]  Simon Parsons,et al.  Addendum to "Current Approaches to Handling Imperfect Information in Data and Knowledge Bases" , 1996, IEEE Trans. Knowl. Data Eng..

[8]  Farid Nouioua,et al.  A Probabilistic Analysis of Predictability in Discrete Event Systems , 2015 .

[9]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[10]  George K. I. Mann,et al.  Behavior Coordination of Mobile Robotics Using Supervisory Control of Fuzzy Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[12]  George K. I. Mann,et al.  Distributed fuzzy discrete event system for robotic sensory information processing , 2006, Expert Syst. J. Knowl. Eng..

[13]  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.

[14]  Feng Lin,et al.  A Fuzzy Discrete Event System Approach to Determining Optimal HIV/AIDS Treatment Regimens , 2006, IEEE Transactions on Information Technology in Biomedicine.

[15]  Zhou Hui,et al.  A Fuzzy Discrete Event System Approach for Air Conditioning System Control , 2008, 2008 International Conference on Computer Science and Information Technology.

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

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

[18]  Zbigniew Dziong,et al.  Decentralized Diagnosis of Fuzzy Discrete-Event Systems , 2012, Eur. J. Control.

[19]  Eddie Soulier,et al.  Diagnosis Using Incomplete Model in Fuzzy Discrete Event System: Application to Crisis Management , 2014, 2014 13th International Conference on Machine Learning and Applications.

[20]  Ahmed Khoumsi,et al.  Multi-decision decentralized prognosis of failures in discrete event systems , 2009, 2009 American Control Conference.

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

[22]  L.R. Crane,et al.  Control of fuzzy discrete event systems and its applications to clinical treatment planning , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[23]  Feng Lin,et al.  Decision making in fuzzy discrete event systems , 2007, Inf. Sci..

[24]  Erdal Kiliç,et al.  From classic observability to a simple fuzzy observability for fuzzy discrete-event systems , 2012, Inf. Sci..

[25]  Fuchun Sun,et al.  A new algorithm for testing diagnosability of fuzzy discrete event systems , 2012, Inf. Sci..

[27]  Feng Lin,et al.  A Self-Learning Fuzzy Discrete Event System for HIV/AIDS Treatment Regimen Selection , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[28]  Fuchun Liu,et al.  Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm , 2006, IEEE Transactions on Fuzzy Systems.

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

[30]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[31]  E. Soulier,et al.  Fault Diagnosis in Fuzzy Discrete Event System: IncompleteModels and Learning , 2020, International Journal of Prognostics and Health Management.

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

[33]  George K. I. Mann,et al.  Behavior-modulation technique in mobile robotics using fuzzy discrete event system , 2006, IEEE Transactions on Robotics.

[34]  Yannick Pencolé.  Diagnosability Analysis of Distributed Discrete Event Systems , 2004, ECAI.

[35]  Stéphane Lafortune,et al.  Codiagnosability and coobservability under dynamic observations: Transformation and verification , 2015, Autom..

[36]  Feng Lin,et al.  Fuzzy discrete event systems and their observability , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[37]  Fuchun Liu,et al.  Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach , 2009, IEEE Trans. Fuzzy Syst..

[38]  Hongyan Xing,et al.  Diagnosability of Fuzzy Discrete Event Systems , 2006, ArXiv.

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

[40]  J. Willems,et al.  The computational complexity of decentralized discrete-event control problems , 1995, IEEE Trans. Autom. Control..

[41]  Dimitri Lefebvre.  Probability of current state and future faults with partially observed stochastic Petri nets , 2014, 2014 European Control Conference (ECC).

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

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