Decentralized Safe Diagnosis of Fuzzy Discrete-Event Systems

This paper aims to investigate safe diagnosis of fuzzy discrete-event systems (FDESs) under the decentralized framework. The notion of safe codiagnosability of FDESs is formalized to capture the property of systems that each occurrence of failures can be detected by at least one local diagnoser with a certain degree before any unsafe forbidden operation is executed. After introducing a fuzzy automaton called the recognizer to distinguish the forbidden strings from the illegal language, a safe codiagnoser is constructed to perform decentralized safe diagnosis of FDESs. In particular, a necessary and sufficient condition of safe codiagnosability of FDESs is derived, which extends the existing main results of safe diagnosability of FDESs from the centralized setting to the decentralized case.

[1]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[2]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[3]  Erdal Kiliç,et al.  Diagnosability of fuzzy discrete event systems , 2008, Inf. Sci..

[4]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[5]  Stéphane Lafortune,et al.  On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems , 2003, Discret. Event Dyn. Syst..

[6]  Yiannis S. Boutalis,et al.  Fuzzy Discrete Event Systems for Multiobjective Control: Framework and Application to Mobile Robot Navigation , 2012, IEEE Transactions on Fuzzy Systems.

[7]  Fuchun Liu,et al.  Lyapunov Stability of Fuzzy Discrete Event Systems , 2007, ICIC.

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

[9]  Yannick Pencolé.  Decentralized diagnoser approach: application to telecommunication networks , 2000 .

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

[11]  Fuchun Liu,et al.  Decentralized supervisory control of fuzzy discrete event systems , 2007, 2007 European Control Conference (ECC).

[12]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[13]  Stéphane Lafortune,et al.  Safe diagnosability for fault-tolerant supervision of discrete-event systems , 2005, Autom..

[14]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

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

[16]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[17]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

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

[19]  Yongming Li,et al.  The relationship of controllability between classical and fuzzy discrete-event systems , 2008, Inf. Sci..

[20]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

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

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

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

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

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

[26]  Guoqing Chen,et al.  State-Based Control of Fuzzy Discrete-Event Systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[27]  Hongyan Xing,et al.  Decentralized Diagnosis of Stochastic Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

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

[29]  Fuchun Liu.  Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification , 2015, IEEE Transactions on Fuzzy Systems.

[30]  Shengbing Jiang,et al.  Diagnosis of repeated failures in discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[31]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[32]  Fuchun Liu,et al.  Safe Diagnosability of Stochastic Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[33]  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).

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

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

[36]  George K. I. Mann,et al.  Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems , 2012, IEEE Transactions on Automation Science and Engineering.

[37]  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).

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