A new algorithm for testing diagnosability of fuzzy discrete event systems

Failure diagnosis and detection of fuzzy discrete event systems play a significant role in the study of complex systems. In this paper, we investigate the diagnosability of fuzzy discrete event systems by proposing a new algorithm based on the concept of undistinguishable strings. Moreover, a necessary and sufficient condition for fuzzy diagnosability is obtained in terms of certain properties of the diagnoser, which is constructed with respect to the minimal observable event. The computing process to check the diagnosability of fuzzy DESs and some examples serving to illuminate the applications are developed and described.

[1]  Fei Wang,et al.  Reliable decentralized supervisory control of fuzzy discrete event systems , 2010, Fuzzy Sets Syst..

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

[3]  Gerasimos G. Rigatos.  Fault detection and isolation based on fuzzy automata , 2009, Inf. Sci..

[4]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

[5]  Anil Nerode,et al.  Automata theory and its applications , 2001 .

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

[7]  Antonio Sala,et al.  Encoding fuzzy possibilistic diagnostics as a constrained optimization problem , 2008, Inf. Sci..

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

[9]  Zorana Jancic,et al.  An improved algorithm for determinization of weighted and fuzzy automata , 2011, Inf. Sci..

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

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

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

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

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

[15]  Kwang-Hyun Cho,et al.  Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems , 2008, Inf. Sci..

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

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

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

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

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

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

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

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

[24]  Shigemasa Takai,et al.  Reliable decentralized supervisory control of discrete event systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[25]  Raymond H. Kwong,et al.  Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[27]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[28]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[29]  Feng Lin,et al.  Estimation of transitional probabilities of discrete event systems from cross-sectional survey and its application in tobacco control , 2007, 2007 European Control Conference (ECC).

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

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

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

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

[34]  A ZadehLotfi,et al.  Toward a generalized theory of uncertainty (GTU) , 2005 .

[35]  Rami I. Debouk.  Failure diagnosis of decentralized discrete event systems. , 2000 .

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

[37]  Lotfi A. Zadeh,et al.  Toward a generalized theory of uncertainty (GTU)--an outline , 2005, Inf. Sci..

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

[39]  Yongming Li.  A categorical approach to lattice-valued fuzzy automata , 2006, Fuzzy Sets Syst..

[40]  Anupam Basu,et al.  Fault diagnosis in discrete time hybrid systems - A case study , 2007, Inf. Sci..

[41]  Lawrence S. Moss,et al.  Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag. , 2004, SIGA.