Robust fault detection of non-linear systems using set-membership state estimation based on constraint satisfaction

In this paper, the robust fault detection problem for non-linear systems considering both bounded parametric modelling errors and measurement noises is addressed. The non-linear system is monitored by using a state estimator with bounded modelling uncertainty and bounded process and measurement noises. Additionally, time-variant and time-invariant system models are taken into account. Fault detection is formulated as a set-membership state estimation problem, which is implemented by means of constraint satisfaction techniques. Two solutions are presented: the first one solves the general case while the second solves the time-variant case, being this latter a relaxed solution of the first one. The performance of the time-variant approach is tested in two applications: the well-known quadruple-tank benchmark and the dynamic model of a representative portion of the Barcelona's sewer network. In both applications, different scenarios are presented: a faultless situation and some faulty situations. All considered scenarios are intended to show the effectiveness of the presented approach.

[1]  Eric Walter,et al.  Guaranteed recursive non‐linear state bounding using interval analysis , 2002 .

[2]  Vicenç Puig,et al.  Passive robust fault detection approaches using interval models , 2002 .

[3]  Michèle Basseville,et al.  Detection of Abrupt Changes: Theory and Applications. , 1995 .

[4]  Michèle Basseville,et al.  Detection of abrupt changes: theory and application , 1993 .

[5]  G. Cembranoa,et al.  Optimal control of urban drainage systems . A case study , 2009 .

[6]  Bernhard Rinner,et al.  Online monitoring by dynamically refining imprecise models , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[7]  Frédéric Benhamou,et al.  Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques , 2006, TOMS.

[8]  J. Norton,et al.  State bounding with ellipsoidal set description of the uncertainty , 1996 .

[9]  B. K. Panigrahi,et al.  ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , 2010 .

[10]  Eric Walter,et al.  Guaranteed non-linear estimation using constraint propagation on sets , 2001 .

[11]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[12]  Eero Hyvönen,et al.  Constraint Reasoning Based on Interval Arithmetic , 1989, IJCAI.

[13]  Karl Henrik Johansson,et al.  The quadruple-tank process: a multivariable laboratory process with an adjustable zero , 2000, IEEE Trans. Control. Syst. Technol..

[14]  Eero Hyvönen,et al.  Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach , 1992, Artif. Intell..

[15]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[16]  Witold Pedrycz,et al.  Bounding approaches to system identification , 1997 .

[17]  Stéphane Ploix,et al.  Parameter uncertainty computation in static linear models , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[18]  Józef Korbicz,et al.  A BOUNDED-ERROR APPROACH TO DESIGNING UNKNOWN INPUT OBSERVERS , 2002 .

[19]  V. Puig,et al.  Control Tolerante a Fallos (Parte II): Mecanismos de Tolerancia y Sistema Supervisor , 2010 .

[20]  Giuseppe Calafiore,et al.  A set-valued non-linear filter for robust localization , 2001, 2001 European Control Conference (ECC).

[21]  Jie Chen,et al.  Design of unknown input observers and robust fault detection filters , 1996 .

[22]  J. Vidkjor S-parameter uncertainty computations , 1993, 1993 23rd European Microwave Conference.

[23]  J. Norton,et al.  Bounding Approaches to System Identification , 1996 .

[24]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[25]  Ten-Huei Guo,et al.  Robust Fault Detection , 2003 .

[26]  Giorgio Rizzoni,et al.  Robust Fault Detection , 1991 .

[27]  P. Cuguero,et al.  A class of uncertain linear interval models for which a set based robust simulation can be reduced to few pointwise simulations , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[28]  J. Shamma,et al.  Approximate set-valued observers for nonlinear systems , 1997, IEEE Trans. Autom. Control..

[29]  Vicenç Puig,et al.  ROBUST FAULT DETECTION USING INTERVAL CONSTRAINTS SATISFACTION AND SET COMPUTATIONS 1 , 2006 .

[30]  Teresa Escobet,et al.  Robust fault detection using interval models , 2003, 2003 European Control Conference (ECC).

[31]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[32]  E. Walter,et al.  Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2001 .