An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems

Fault diagnosis is crucial for ensuring the safe operation of complex engineering systems. Faults and degradations need to be quickly identified so that corrective actions can avoid catastrophic situations. Most real-world, embedded systems are hybrid in nature. In such systems, hybrid models have to be employed for correct tracking and diagnosis. The majority of hybrid systems diagnosis work, however, has focused on either discrete or parametric fault diagnosis. In contrast, we present an integrated model-based approach to diagnosing both parametric and discrete faults in hybrid systems. This extends our previous work in diagnosis of parametric faults in hybrid systems [1,2] by including discrete faults, resulting in a unified hybrid diagnosis methodology. We demonstrate our approach using experimental results performed on a complex electrical power system.

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

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

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

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

[5]  Feng Zhao,et al.  Monitoring and fault diagnosis of hybrid systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[6]  G.K. Fourlas,et al.  Fault Diagnosis of Hybrid Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[7]  Donghua Zhou,et al.  Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems , 2007 .

[8]  X. Koutsoukos,et al.  Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches , 2007 .

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

[10]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[11]  Gautam Biswas,et al.  An Approach to Model-Based Diagnosis of Hybrid Systems , 2002, HSCC.

[12]  Gautam Biswas,et al.  Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs , 2007, HSCC.

[13]  Barbara Hayes-Roth,et al.  Intelligent Control , 1994, Artif. Intell..

[14]  M. Ceraolo,et al.  New dynamical models of lead-acid batteries , 2000 .

[15]  Gautam Biswas,et al.  Hybrid Systems Diagnosis , 2000, HSCC.

[16]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[17]  Gabor Karsai,et al.  A robust method for hybrid diagnosis of complex systems , 2003 .

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

[20]  Richard Dearden,et al.  Particle Filters for Real-Time Fault Detection in Planetary Rovers , 2001 .

[21]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

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

[23]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[24]  James Kurien,et al.  Continuous Measurements and Quantitative Constraints: Challenge Problems for Discrete Modeling Techniques , 2001 .

[25]  Maria Domenica Di Benedetto,et al.  Diagnosability Verification for Hybrid Automata , 2007, HSCC.