Fault detection and identification relying on set-membership identifiability

Identifiability is the property that a mathematical model must satisfy to guarantee an unambiguous mapping between its parameters and the output trajectories. It is of prime importance when parameters must be estimated from experimental data representing input–output behavior and clearly when parameter estimation is used for fault detection and identification. Definitions of identifiability and methods for checking this property for linear and nonlinear systems are now well established and, interestingly, some scarce works (Braems, Jaulin, Kieffer, & Walter, 2001; Jauberthie, Verdiere, & Trave-Massuyes, 2011) have provided identifiability definitions and numerical tests in a bounded-error context. This paper resumes and better formalizes the two complementary definitions of set-membership identifiability and μ-set-membership identifiability of Jauberthie et al. (2011) and presents a method applicable to nonlinear systems for checking them. This method is based on differential algebra and makes use of relations linking the observations, the inputs and the unknown parameters of the system. Using these results, a method for fault detection and identification is proposed. The relations mentioned above are used to estimate the uncertain parameters of the model. By building the parameter estimation scheme on the analysis of identifiability, the solution set is guaranteed to reduce to one connected set, avoiding this way the pessimism of classical set-membership estimation methods. Fault detection and identification are performed at once by checking the estimated values against the parameter nominal ranges. The method is illustrated with an example describing the capacity of a macrophage mannose receptor to endocytose a specific soluble macromolecule.

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

[2]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[3]  Josep Vehí,et al.  A Survey on Interval Model Simulators and their Properties Related to Fault Detection , 2000 .

[4]  Ghislaine Joly-Blanchard,et al.  Some Remarks about an Identifiability Result of Nonlinear Systems , 1998, Autom..

[5]  Carine Jauberthie,et al.  State estimation by interval analysis for a nonlinear differential aerospace model , 2007, 2007 European Control Conference (ECC).

[6]  E. Walter,et al.  Global approaches to identifiability testing for linear and nonlinear state space models , 1982 .

[7]  Antonio Vicino,et al.  Estimation theory for nonlinear models and set membership uncertainty , 1991, Autom..

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

[9]  A. Levant Robust exact differentiation via sliding mode technique , 1998 .

[10]  Eric Walter,et al.  Guaranteed numerical alternatives to structural identifiability testing , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[11]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[12]  Maria Pia Saccomani,et al.  Parameter identifiability of nonlinear systems: the role of initial conditions , 2003, Autom..

[13]  K R Godfrey,et al.  Structural identifiability of the parameters of a nonlinear batch reactor model. , 1992, Mathematical biosciences.

[14]  E. Kolchin Differential Algebra and Algebraic Groups , 2012 .

[15]  G. Chavent,et al.  On Parameter Identifiability , 1985 .

[16]  A. Levant,et al.  Higher order sliding modes and arbitrary-order exact robust differentiation , 2001, 2001 European Control Conference (ECC).

[17]  Ghislaine Joly-Blanchard,et al.  Identifiability and estimation of pharmacokinetic parameters for the ligands of the macrophage mannose receptor , 2005 .

[18]  Carine Jauberthie,et al.  Set-membership identifiability: definitions and analysis , 2011 .

[19]  François Boulier,et al.  Computing representations for radicals of finitely generated differential ideals , 2009, Applicable Algebra in Engineering, Communication and Computing.

[20]  Sebastien Lagrange,et al.  On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis , 2007, Reliab. Comput..

[21]  Lennart Ljung,et al.  On global identifiability for arbitrary model parametrizations , 1994, Autom..

[22]  Nicolas Bourbaki,et al.  Elements of mathematics , 2004 .

[23]  H. Pohjanpalo System identifiability based on the power series expansion of the solution , 1978 .

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

[25]  Luc Jaulin,et al.  Contractor programming , 2009, Artif. Intell..

[26]  Stephane Ploix,et al.  Fault Detection Based on Set-Membership Inversion , 2007 .

[27]  E. Walter,et al.  Guaranteed recursive nonlinear state estimation using interval analysis , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[28]  Arie Levant,et al.  Higher-order sliding modes, differentiation and output-feedback control , 2003 .

[29]  Keith R. Godfrey,et al.  Structural identifiability of non-linear systems using linear/non-linear splitting , 2003 .

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

[31]  Claudio Cobelli,et al.  Global identifiability of nonlinear models of biological systems , 2001, IEEE Transactions on Biomedical Engineering.

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

[33]  Ali Zolghadri,et al.  Robust Fault Diagnosis based on Constraint Satisfaction and Interval Continuous-time Parity Equations , 2012 .

[34]  Ghislaine Joly-Blanchard,et al.  Some effective approaches to check the identifiability of uncontrolled nonlinear systems , 2001 .

[35]  Eric Walter,et al.  Set inversion via interval analysis for nonlinear bounded-error estimation , 1993, Autom..