Interval analysis for guaranteed non-linear parameter and state estimation

References

• Milanese M Norton J Piet-Lahanier H Walter E (Eds) 1996 Bounding Approaches to System Identification New York Plenum Press
   Google Scholar
• Moore RE 1959 Automatic error analysis in digital computation Technical Report LMSD-48421, Lockheed Missiles and Space Co., Palo Alto, CA
   Google Scholar
• Neumaier A 1990 Interval Methods for Systems of Equations Cambridge Cambridge University Press
   Google Scholar
• Hansen ER 1992 Global Optimization Using Interval Analysis New York Marcel Dekker
   Google Scholar
• Ratschek H Rokne J 1988 New Computer Methods for Global Optimization Chichester Ellis Horwood
   Google Scholar
• Jaulin L Walter E 1993 Automatica 29 1053 1064
   Google Scholar
• Berz M Makino K 1998 Reliable Computing 4 361 369
   Google Scholar
• Lohner R 1992 In J.R. Cash and I. Gladwell (Eds) Computational Ordinary Differential Equations pages 425 – 435 Oxford Clarendon Press
   Google Scholar
• Moore RE 1979 Methods and Applications of Interval Analysis Philadelphia SIAM
   Google Scholar
• Nedialkov NS Jackson KR 2001 In U. Kulisch, R. Lohner, and A. Facius (Eds) Perspectives on Enclosure Methods pages 219 – 264 Vienna Springer-Verlag
   Google Scholar
• Kearfott RB 1995 ACM Transactions on Mathematical Software 21 63 78
   Google Scholar
• Klatte R Kulisch U Wieth A Lawo C Rauch M 1993 C-xsc: A C++ A Class Library for Extended Scientific Computing Berlin Springer-Verlag
   Google Scholar
• Rump SM 2001 In J.∼Grabmeier, E. Kaltofen, and V. Weispfennig (Eds) Handbook of Computer Algebra: Foundations, Applications, Systems Heidelberg Springer-Verlag
   Google Scholar
• Jaulin L Kieffer M Didrit O Walter E 2001 Applied Interval Analysis London Springer-Verlag
   Google Scholar
• Ratschek H Rokne J 1984 Computer Methods for the Range of Functions Chichester Ellis Horwood
   Google Scholar
• Chiriaev D Walster GW 1998 Interval arithmetic specification Available online at: http://www.mscs.edu/globsol/walster-papers.html
   Google Scholar
• Lerch M Wolff von Gudenberg J 2000 fi_lib++: Specification, implementation and test of a library for extended interval arithmetic In Proc. 4th Conference on Real Numbers and Computers, Dagstuhl, Germany, Available online at: http://www.imada.sdu.dk/\symbol{126}kornerup/RNC4/papers/p03.ps
   Google Scholar
• Kieffer M Jaulin L Walter E 2002 International Journal of Adaptative Control and Signal Processing 6 193 218
   Google Scholar
• Braems I Berthier F Jaulin L Kieffer M Walter E 2001 Journal of Electroanalytical Chemistry 495 1 9
   Google Scholar
• Braems I Jaulin L Kieffer M Ramdani N Kieffer M 2003 Reliable parameter estimation in presence of uncertain variables that are not estimated In Proceedings of the 13th IFAC Symposium on System Identification SYSID 2003, Rotterdam, The Netherlands, Elsevier Science Ltd, Oxford pages 1856 – 1861
   Google Scholar
• Kieffer M Jaulin L Walter E Meizel D 2000 Reliable Computing 6 337 362
   Google Scholar
• Kieffer M Jaulin L Walter E Meizel D 1999 Guaranteed mobile robot tracking using interval analysis In Proc. MISC'99 Workshop on Applications of Interval Analysis to Systems and Control pages 347 – 359 Girona, Spain
   Google Scholar
• Kieffer , M and Walter , E . 2004 . Guaranteed nonlinear state estimator for cooperative systems . Numerical Algorithms , 37 : 187 – 198 .
   Web of Science ®Google Scholar