Qualitative Fault Isolation of Hybrid Systems: A Structural Model Decomposition-Based Approach

Quick and robust fault diagnosis is critical to ensuring safe operation of complex engineering systems. A large number of techniques are available to provide fault diagnosis in systems with continuous dynamics. However, many systems in aerospace and industrial environments are best represented as hybrid systems that consist of discrete behavioral modes, each with its own continuous dynamics. These hybrid dynamics make the on-line fault diagnosis task computationally more complex due to the large number of possible system modes and the existence of autonomous mode transitions. This paper presents a qualitative fault isolation framework for hybrid systems based on structural model decomposition. The fault isolation is performed by analyzing the qualitative information of the residual deviations. However, in hybrid systems this process becomes complex due to possible existence of observation delays, which can cause observed deviations to be inconsistent with the expected deviations for the current mode in the system. The great advantage of structural model decomposition is that (i) it allows to design residuals that respond to only a subset of the faults, and (ii) every time a mode change occurs, only a subset of the residuals will need to be reconfigured, thus reducing the complexity of the reasoning process for isolation purposes. To demonstrate and test the validity of our approach, we use an electric circuit simulation as the case study.

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

[2]  Gautam Biswas,et al.  An event-based distributed diagnosis framework using structural model decomposition , 2014, Artif. Intell..

[3]  Gautam Biswas,et al.  A Qualitative Event-Based Approach to Continuous Systems Diagnosis , 2009, IEEE Transactions on Control Systems Technology.

[4]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

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

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

[7]  Feng Zhao,et al.  Estimation of Distributed Hybrid Systems Using Particle Filtering Methods , 2003, HSCC.

[8]  Pieter J. Mosterman,et al.  A comprehensive methodology for building hybrid models of physical systems , 2000, Artif. Intell..

[9]  Xenofon D. Koutsoukos,et al.  A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  R. Pons.  Causal or-dering for multiple mode systems , 1997 .

[11]  Matthew Daigle,et al.  An Efficient Model-based Diagnosis Engine for Hybrid Systems Using Structural Model Decomposition , 2013 .

[12]  S. Narasimhan,et al.  HyDE – A General Framework for Stochastic and Hybrid Model-based Diagnosis , 2007 .

[13]  Matthew J. Daigle,et al.  A Structural Model Decomposition Framework for Hybrid Systems Diagnosis , 2015, DX@Safeprocess.

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

[15]  Carlos J. Alonso,et al.  A Common Framework for Fault Diagnosis of Parametric and Discrete Faults Using Possible Conflicts , 2013, CAEPIA.

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

[17]  Xavier Olive,et al.  Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis , 2008, ECAI.

[18]  Indranil Roychoudhury,et al.  A structural model decomposition framework for systems health management , 2013, 2013 IEEE Aerospace Conference.

[19]  Matthew Daigle,et al.  Qualitative Event-Based Fault Isolation under Uncertain Observations , 2014 .

[20]  Xavier Olive,et al.  Diagnosis of a Class of Non Linear Hybrid Systems by On-line Instantiation of Parameterized Analytical Redundancy Relations ? , 2009 .

[21]  Elodie Chanthery,et al.  Hybrid Particle Petri Nets for Systems Health Monitoring under Uncertainty , 2015 .

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

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

[24]  Matthew Daigle,et al.  Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system , 2015 .

[25]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.