A fuzzy reasoning design for fault detection and diagnosis of a computer-controlled system

A Fuzzy Reasoning and Verification Petri Nets (FRVPNs) model is established for an error detection and diagnosis mechanism (EDDM) applied to a complex fault-tolerant PC-controlled system. The inference accuracy can be improved through the hierarchical design of a two-level fuzzy rule decision tree (FRDT) and a Petri nets (PNs) technique to transform the fuzzy rule into the FRVPNs model. Several simulation examples of the assumed failure events were carried out by using the FRVPNs and the Mamdani fuzzy method with MATLAB tools. The reasoning performance of the developed FRVPNs was verified by comparing the inference outcome to that of the Mamdani method. Both methods result in the same conclusions. Thus, the present study demonstratrates that the proposed FRVPNs model is able to achieve the purpose of reasoning, and furthermore, determining of the failure event of the monitored application program.

[1]  Janette Cardoso,et al.  Fuzziness in Petri Nets , 1998 .

[2]  Li-Xin Wang,et al.  Analysis and design of hierarchical fuzzy systems , 1999, IEEE Trans. Fuzzy Syst..

[3]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[4]  Peep Küngas,et al.  Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies , 2005, SARA.

[5]  Jin S. Lee,et al.  A class of hierarchical fuzzy systems with constraints on the fuzzy rules , 2005, IEEE Transactions on Fuzzy Systems.

[6]  A. Fay.  A Fuzzy Petri Net approach to decision-making in case of railway track closures , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[7]  Shyi-Ming Chen,et al.  Weighted fuzzy reasoning using weighted fuzzy Petri nets , 2002 .

[8]  Samir M. Koriem.  A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems , 2000, Comput. J..

[9]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[10]  Yung Ting,et al.  Design the reasoning process of EDDM by fuzzy rule-based method , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[11]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[12]  Jonathan Lee,et al.  A fuzzy Petri nets based mechanism for fuzzy rules reasoning , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[13]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[14]  Jeffrey M. Richter.  Programming Applications for Microsoft Windows with Cdrom , 1999 .

[15]  R. Yager.  Fuzzy sets and approximate reasoning in decision and control , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[16]  Ronald R. Yager,et al.  A reasoning algorithm for high-level fuzzy Petri nets , 1996, IEEE Trans. Fuzzy Syst..

[17]  Jeffrey J. P. Tsai,et al.  Fuzzy Rule Base Systems Verification Using High-Level Petri Nets , 2003, IEEE Trans. Knowl. Data Eng..

[18]  MengChu Zhou,et al.  Fuzzy reasoning Petri nets , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[19]  Michael Negnevitsky,et al.  Artificial Intelligence: A Guide to Intelligent Systems , 2001 .

[20]  Jeffrey Richter.  Programming applications for Microsoft Windows , 1999 .

[21]  Bernard De Baets,et al.  A comparison of three methods for computing the center of gravity defuzzification , 2004, FUZZ-IEEE.

[22]  John W. T. Lee,et al.  Learning capability in fuzzy Petri nets , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[23]  W. Qu,et al.  Belief learning in certainty factor model and its application to text categorization , 2003, Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

[24]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[25]  Y. Ting,et al.  Implementation and evaluation of failsafe computer-controlled systems , 2002 .

[26]  Fernando José Von Zuben,et al.  Multi-objective decision making: towards improvement of accuracy, interpretability and design autonomy in hierarchical genetic fuzzy systems , 2002, 2002 IEEE World Congress on Computational Intelligence. 2002 IEEE International Conference on Fuzzy Systems. FUZZ-IEEE'02. Proceedings (Cat. No.02CH37291).