Polynomial-time verification of diagnosability of fuzzy discrete event systems

A fuzzy approach to perform diagnosis of fuzzy discrete event systems (FDESs) is proposed by constructing diagnosers, which may more effectively cope with the problems of vagueness and fuzziness arising from failure diagnosis of fuzzy systems. However, the complexity of constructing this kind of diagnosers is exponential in the state space and the number of fuzzy events of the system. In this paper, we present an algorithm for verifying the diagnosability of FDESs based on the construction of a nondeterministic automaton called F-verifier instead of diagnosers. Both the construction of F-verifiers and the verification of diagnosability of FDESs can be realized with a polynomial-time complexity.

[1]  Zineb Simeu-Abazi,et al.  A polynomial-time algorithm for diagnosability verification of discrete event systems , 2014, 2014 Second World Conference on Complex Systems (WCCS).

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

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

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

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

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

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

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

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

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

[11]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

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

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

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

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

[16]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[17]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

[19]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

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

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

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