Interval analysis for guaranteed non-linear parameter and state estimation

This paper presents some tools based on interval analysis for guaranteed non-linear parameter and state estimation in a bounded-error context. These tools make it possible to compute outer (and sometimes inner) approximations of the set of all parameter or state vectors that are consistent with the model structure, measurements and noise bounds.

[1]  Editors , 1986, Brain Research Bulletin.

[2]  E. Walter,et al.  Guaranteed mobile robot tracking using interval analysis , 1999 .

[3]  Eric Walter,et al.  Robust Autonomous Robot Localization Using Interval Analysis , 2000, Reliab. Comput..

[4]  Eric Walter,et al.  Guaranteed estimation of electrochemical parameters by set inversion using interval analysis , 2000 .

[5]  E. Walter,et al.  Reliable Parameter Estimation in Presence of Uncertain Variables that are not Estimated , 2003 .

[6]  Jon G. Rokne,et al.  New computer methods for global optimization , 1988 .

[7]  G. Corliss,et al.  C-Xsc: A C++ Class Library for Extended Scientific Computing , 1993 .

[8]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[9]  Ronald R. Willis,et al.  New Computer Methods for Global Optimization , 1990 .

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

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

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

[13]  Martin Berz,et al.  Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..

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

[15]  Jon G. Rokne,et al.  Computer Methods for the Range of Functions , 1984 .

[16]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[17]  Eric Walter,et al.  Guaranteed Nonlinear State Estimator for Cooperative Systems , 2004, Numerical Algorithms.

[18]  R. Baker Kearfott,et al.  A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization , 1995, TOMS.