A Common Framework for Fault Diagnosis of Parametric and Discrete Faults Using Possible Conflicts

This work proposes a common framework for Fault Detection and Isolation of discrete and parametric faults in hybrid systems using Hybrid Possible Conflicts , HPCs. Fault detection is based on residual activation for the set of HPCs in the current mode. Using the structural information in each HPC we first search for discrete –related to actuators– fault candidates, because these faults introduce highly non-linear behaviors. To confirm or reject them, we track sets of HPCs in the current and potential faulty modes. We confirm the mode whose HPC residuals become zero, or start the fault isolation of parametric faults if every discrete fault is discarded. We test our approach in a hybrid four tank system.

[1]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[2]  V. Cocquempot,et al.  Fault detection and isolation for hybrid systems using structured parity residuals , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[3]  Peter Struss,et al.  The Consistency-based Approach to Automated Diagnosis of Devices , 1996, KR 1996.

[4]  Gautam Biswas,et al.  Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Gautam Biswas,et al.  Fault Diagnosis in Hybrid Systems using Possible Conflicts , 2012 .

[6]  Matthew Daigle,et al.  A Qualitative Event-based Approach to Fault Diagnosis of Hybrid Systems , 2008 .

[7]  Louise Travé-Massuyès,et al.  Hybrid Estimation through Synergic Mode-Set Focusing , 2009 .

[8]  Gautam Biswas,et al.  Efficient simulation of hybrid systems: A hybrid bond graph approach , 2011, Simul..

[9]  Vincent Cocquempot,et al.  Switching Time Estimation and Fault Detection for Hybrid Systems Using Structured Parity Residuals , 2003 .

[10]  Louise Travé-Massuyès,et al.  Set-Theoretic Estimation of Hybrid System Configurations , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[11]  Jan Lunze,et al.  Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations , 2000, HSCC.

[12]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[13]  Philippe Dague,et al.  State Tracking of Uncertain Hybrid Concurrent Systems , 2002 .

[14]  G. Brewka Principles of Knowledge Representation , 1996 .

[15]  Gautam Biswas,et al.  A Decomposition Method for Nonlinear Parameter Estimation in TRANSCEND , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[16]  Carlos Alonso González,et al.  Possible conflicts: a compilation technique for consistency-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[17]  Gautam Biswas,et al.  Generating Possible Conflicts From Bond Graphs Using Temporal Causal Graphs , 2009, ECMS.

[18]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[19]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .