Monitoring and fault diagnosis of hybrid systems

被引:109
作者
Zhao, F [1 ]
Koutsoukos, X
Haussecker, H
Reich, J
Cheung, P
机构
[1] Microsoft Res, Redmond, WA 98052 USA
[2] Vanderbilt Univ, Dept Elect Engn & Comp Sci, Nashville, TN 37235 USA
[3] Intel Res, Santa Clara, CA 95054 USA
[4] Palo Alto Res Ctr, Palo Alto, CA 94304 USA
来源
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS | 2005年 / 35卷 / 06期
基金
美国国家科学基金会;
关键词
Bayesian mode estimation; data association; hybrid systems; monitoring and diagnosis; printing systems;
D O I
10.1109/TSMCB.2005.850178
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:1225 / 1240
页数:16
相关论文
共 33 条
[1]   THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].
ALUR, R ;
COURCOUBETIS, C ;
HALBWACHS, N ;
HENZINGER, TA ;
HO, PH ;
NICOLLIN, X ;
OLIVERO, A ;
SIFAKIS, J ;
YOVINE, S .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34
[2]   Discrete abstractions of hybrid systems [J].
Alur, R ;
Henzinger, TA ;
Lafferriere, G ;
Pappas, GJ .
PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984
[3]  
Antsaklis P, 2003, SOFTWARE ENABLED CON, P272
[4]  
BASSEVILLE M, 2000, P 37 IEEE C DEC CONT, P3757
[5]  
BENAZERA E, 2002, P 13 INT WORKSH PRIN
[6]  
CONSOLE L, 2000, P 11 INT WORKSH PRIN
[7]  
DEARDEN R, 2002, P 13 INT WORKSH PRIN
[8]   DIAGNOSING MULTIPLE FAULTS [J].
DEKLEER, J ;
WILLIAMS, BC .
ARTIFICIAL INTELLIGENCE, 1987, 32 (01) :97-130
[9]   Moving horizon estimation for hybrid systems [J].
Ferrari-Trecate, G ;
Mignone, D ;
Morari, M .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (10) :1663-1676
[10]   FAULT-DIAGNOSIS IN DYNAMIC-SYSTEMS USING ANALYTICAL AND KNOWLEDGE-BASED REDUNDANCY - A SURVEY AND SOME NEW RESULTS [J].
FRANK, PM .
AUTOMATICA, 1990, 26 (03) :459-474