A novel analytical framework for qualitative Model-Based Fault Diagnosis

This paper presents a unified analytical framework for qualitative Model-Based Fault Diagnosis (MBFD), similar to the quantitative MBFD. Dioid Algebra is used in addition to ordinary Algebra for simulation qualitative models. The framework is illustrated and adapted in details for three main qualitative diagnostic methods which employ Stochastic, Non-Deterministic, and Timed Automata, respectively. Using the proposed methodology, we are able to compute quantitative residuals for qualitative models. Therefore some useful and practical computational tasks can be carried out on the obtained residuals. One of the main contributions of the paper is introducing a new approach to qualitative structured residual generation, which is applied to timed automata models.

[1]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[2]  Jan Lunze,et al.  Qualitative model based fault diagnosis using a threshold level , 2010 .

[3]  Zhengxi Li,et al.  Robust state estimation and fault diagnosis for uncertain hybrid systems , 2006 .

[4]  Jan Lunze,et al.  Relations of Timed Event Graphs and Timed Automata in Fault Diagnosis , 2003 .

[5]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[6]  Rolf Isermann.  Model-based fault-detection and diagnosis - status and applications § , 2004 .

[7]  Sobhi Baniardalani,et al.  Event scheduling of timed automata using Dioid Algebra , 2010, IEEE ICCA 2010.

[8]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[9]  Rolf Isermann,et al.  Model-based fault-detection and diagnosis - status and applications , 2004, Annu. Rev. Control..

[10]  Maria Domenica Di Benedetto,et al.  Diagnosability verification for hybrid automata and durational graphs , 2007, 2007 46th IEEE Conference on Decision and Control.

[11]  S. S. Yang,et al.  Real-time model based sensor fault tolerant control system on a chip , 2009, 2009 ICCAS-SICE.

[12]  Jan Lunze,et al.  Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models , 2008, Discret. Event Dyn. Syst..

[13]  Vicenç Puig,et al.  Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem , 2006 .