Fault modeling for monitoring and diagnosis of sensor-rich hybrid systems

This paper presents a framework for modeling faults in hybrid systems that leads to an efficient approach for monitoring and diagnosis of real-time embedded systems. We describe a fault parameterization based on hybrid automata models and consider both abrupt failures and gradual degradation of system components. Our approach also addresses the computational problem of coping with large amount of sensor data by using a discrete event model of the system so as to focus distributed signal analysis on when and where to look for signatures of interest. The approach has been demonstrated for the online diagnosis of a hybrid system, the Xerox DC265 printer.

[1]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

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

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

[4]  Feng Zhao,et al.  FAULT ISOLATION IN HYBRID SYSTEMS COMBINING MODEL BASED DIAGNOSIS AND SIGNAL PROCESSING , 2000 .

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

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

[7]  Feng Zhao,et al.  Distributed Monitoring of Hybrid Systems: A model-directed approach , 2001, IJCAI.

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

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

[10]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

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

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

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