Interval observer design for consistency checks of nonlinear continuous-time systems

This paper deals with fault detection for nonlinear continuous-time systems. A procedure based on interval analysis is proposed to build a guaranteed qLPV (quasi-Linear Parameter-Varying) approximation of the nonlinear model. The interval qLPV approximation makes it possible to derive two point observers which estimate respectively the lower and the upper bound of the state vector using cooperativity theory. A set guaranteed to contain the actual value of the residual is then designed. The modelling uncertainties and measurement errors are taken into account at the design stage. The proposed methodology is illustrated through numerical simulations.

[1]  Jean-Luc Gouzé,et al.  Closed loop observers bundle for uncertain biotechnological models , 2004 .

[2]  Eldon Hansen,et al.  Global optimization using interval analysis , 1992, Pure and applied mathematics.

[3]  Eric Walter,et al.  GUARANTEED NONLINEAR STATE ESTIMATION FOR CONTINUOUS-TIME DYNAMICAL MODELS FROM DISCRETE-TIME MEASUREMENTS , 2006 .

[4]  Eduardo F. Camacho,et al.  Guaranteed state estimation by zonotopes , 2005, Autom..

[5]  Jeff S. Shamma,et al.  Gain-Scheduled Missile Autopilot Design Using Linear Parameter Varying Transformations , 1993 .

[6]  Max b. Müller.  Über das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen , 1927 .

[7]  Christophe Combastel,et al.  Generation of Set Membership Tests for Fault Diagnosis and Evaluation of their Worst Case Sensitivity , 2006 .

[8]  Martin Berz,et al.  Computational differentiation : techniques, applications, and tools , 1996 .

[9]  Steven X. Ding,et al.  Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , 2008 .

[10]  A. Neumaier.  Interval methods for systems of equations , 1990 .

[11]  G. Balas,et al.  Development of linear-parameter-varying models for aircraft , 2004 .

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

[13]  Didier Dumur,et al.  Guaranteed state estimation by zonotopes for systems with interval uncertainties , 2012 .

[14]  Vicenç Puig,et al.  Passive Robust Fault Detection Using Non-Linear Interval Observers: Application to the DAMADICS Benchmark Problem , 2003 .

[15]  J. Bokor,et al.  DETECTION FILTER DESIGN FOR LPV SYSTEMS – A GEOMETRIC APPROACH , 2002 .

[16]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[17]  Vicenç Puig,et al.  Robust Fault Detection Linear Interval Observers Avoiding the Wrapping Effect , 2008 .

[18]  Arnold Neumaier,et al.  Taylor Forms—Use and Limits , 2003, Reliab. Comput..

[19]  N. Nedialkov,et al.  Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation , 1999 .

[20]  J. Gouzé,et al.  Interval observers for uncertain biological systems , 2000 .

[21]  Luc Jaulin,et al.  Nonlinear bounded-error state estimation of continuous-time systems , 2002, Autom..

[22]  E. Walter,et al.  Interval Analysis for Guaranteed Nonlinear Parameter Estimation , 2003 .

[23]  A. Neumaier,et al.  Interval Slopes for Rational Functions and Associated Centered Forms , 1985 .

[24]  M. Moisan,et al.  Robust Interval Observers for Uncertain Chaotic Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[25]  José Fernández,et al.  Empirical convergence speed of inclusion functions for facility location problems , 2007 .

[26]  Y. Candau,et al.  Set membership state and parameter estimation for systems described by nonlinear differential equations , 2004, Autom..

[27]  Eric Walter,et al.  Ellipsoidal parameter or state estimation under model uncertainty , 2004, Autom..

[28]  Louis B. Rall,et al.  An introduction to automatic differentiation , 1996 .

[29]  W. J. Thron,et al.  Encyclopedia of Mathematics and its Applications. , 1982 .

[30]  Yolanda Bolea,et al.  Robust fault detection using interval LPV models , 2007, 2007 European Control Conference (ECC).

[31]  Frédéric Goualard,et al.  Revising Hull and Box Consistency , 1999, ICLP.

[32]  Andreas Griewank,et al.  Introduction to Automatic Differentiation , 2003 .

[33]  Stéphane Ploix,et al.  Causal fault detection and isolation based on a set-membership approach , 2004, Autom..

[34]  Jean-Luc Gouzé,et al.  Near optimal interval observers bundle for uncertain bioreactors , 2007 .

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

[36]  Siegfried M. Rump.  Expansion and estimation of the range of nonlinear functions , 1996, Math. Comput..

[37]  Luc Jaulin,et al.  Applied Interval Analysis , 2001, Springer London.