Monitoring and fault diagnosis of hybrid systems

Many networked embedded sensing and control systems can be modeled as hybrid systems with interacting continuous and discrete dynamics. These systems present significant challenges for monitoring and diagnosis. Many existing model-based approaches focus on diagnostic reasoning assuming appropriate fault signatures have been generated. However, an important missing piece is the integration of model-based techniques with the acquisition and processing of sensor signals and the modeling of faults to support diagnostic reasoning. This paper addresses key modeling and computational problems at the interface between model-based diagnosis techniques and signature analysis to enable the efficient detection and isolation of incipient and abrupt faults in hybrid systems. A hybrid automata model that parameterizes abrupt and incipient faults is introduced. Based on this model, an approach for diagnoser design is presented. The paper also develops a novel mode estimation algorithm that uses model-based prediction to focus distributed processing signal algorithms. Finally, the paper describes a diagnostic system architecture that integrates the modeling, prediction, and diagnosis components. The implemented architecture is applied to fault diagnosis of a complex electro-mechanical machine, the Xerox DC265 printer, and the experimental results presented validate the approach. A number of design trade-offs that were made to support implementation of the algorithms for online applications are also described.

[1]  Gary J. Balas,et al.  Hybrid Systems: Review and Recent Progress , 2003 .

[2]  Claudia Picardi,et al.  Diagnosis and diagnosability analysis using Process , 2000 .

[3]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[4]  J. Ross Quinlan,et al.  Combining Instance-Based and Model-Based Learning , 1993, ICML.

[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]  Feng Zhao,et al.  Diagnostic Information Processing for Sensor-Rich Distributed Systems , 1999 .

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

[8]  Manfred Morari,et al.  Moving horizon estimation for hybrid systems , 2002, IEEE Trans. Autom. Control..

[9]  Janos J. Gertler,et al.  Analytical Redundancy Methods in Fault Detection and Isolation , 1991 .

[10]  Feng Zhao,et al.  Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods , 2002 .

[11]  Xenofon Koutsoukos,et al.  Estimation of hybrid systems using discrete sensors , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[12]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[13]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[14]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

[15]  Teresa Escobet,et al.  Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem , 2001, IJCAI.

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

[17]  Rolf Isermann,et al.  Process fault detection based on modeling and estimation methods - A survey , 1984, Autom..

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

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

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

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

[22]  Meera Sampath,et al.  Combining Qualitative & Quantitative Reasoning - A Hybrid Approach to Failure Diagnosis of Industrial Systems , 2000 .

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

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

[25]  Janos Gertler,et al.  ANALYTICAL REDUNDANCY METHODS IN FAULT DETECTION AND ISOLATION: Survey and Synthesis , 1992 .

[26]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[27]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

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

[29]  A. Benveniste,et al.  Diagnosing hybrid dynamical systems: fault graphs, statistical residuals and Viterbi algorithms , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[30]  Daphne Koller,et al.  Sampling in Factored Dynamic Systems , 2001, Sequential Monte Carlo Methods in Practice.

[31]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[32]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[33]  Gautam Biswas,et al.  Bayesian Fault Detection and Diagnosis in Dynamic Systems , 2000, AAAI/IAAI.

[34]  Alan S. Willsky,et al.  A survey of design methods for failure detection in dynamic systems , 1976, Autom..