Parameter estimation using interval computations

SIAM Journal on Scientific Computing

Volumn 26, Issue 2, 2005, Pages 591-612

  Granvilliers, Laurent ^a   Cruz, Jorge ^b   Barahona, Pedro ^b  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Constraint solving; Interval arithmetic; Mathematical modeling; Ordinary differential equation; Parameter estimation

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; INVERSE PROBLEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; ORDINARY DIFFERENTIAL EQUATIONS; PHARMACOKINETICS; PROBLEM SOLVING; SET THEORY;

CONSTRAINT SOLVING; DATA FITTING; DYNAMICAL SYSTEMS; INTERVAL ARITHMETIC;

PARAMETER ESTIMATION;

EID: 16244400812     PISSN: 10648275     EISSN: None     Source Type: Journal    
DOI: 10.1137/S1064827503426851     Document Type: Article

References (40)

1. G. AMMAR, W. DAYAWANSA, AND C. MARTIN, Exponential interpolation: Theory and numerical algorithms, Appl. Math. Comput., 41 (1991), pp. 189-232.
2. C. BENDSTEN AND O. STAUNING, Fadbad, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods, Technical Report 1996-x5-94, Department of Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark, 1996.
3. C. BENDSTEN AND O. STAUNING, Tadiff, a Flexible C++ Package for Automatic Differentiation Using Taylor Series, Technical Report 1997-x5-94, Department of Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark, 1997.
4. F. BENHAMOU AND F. GOUALARD, Universally quantified interval constraints, in Proceedings of CP'2000, International Conference on Principles and Practice of Constraint Programming, R. Dechter, ed., Lecture Notes in Comput. Sci. 1894, Springer, New York, 2000, pp. 67-82.
5. F. BENHAMOU, F. GOUALARD, L. GRANVILLIERS, AND J.-F. PUGET, Revising hull and box consistency, in Proceedings of ICLP'99, International Conference of Logic Programming, D, De Schreye, ed., MIT Press, Cambridge, MA, 1999, pp. 230-244.
6. F. BENHAMOU, D. MCALLESTER, AND P. VAN HENTENRYCK, CLP(Intervals) revisited, in Proceedings of ILPS'94, International Logic Programming Symposium, M. Bruynooghe, ed., MIT Press, Cambridge, MA, 1994, pp. 124-138.
7. M. CEBERIO, Contribution to the study of under- and over-constrained numeric CSPs, Ph.D. thesis, University of Nantes, France, 2003.
8. J. G. CLEARY, Logical arithmetic, Future Comput. Systems, 2 (1987), pp. 125-149.
9. H. COLLAVIZZA, F. DELOBEL, AND M. RUEHER, Extending consistent domains of numeric CSPs, in Proceedings of IJCAI'99, International Joint Conference on Artificial Intelligence, T. Dean, ed., Morgan-Kaufmann, San Francisco, CA, 1999, pp. 406-413.
10. G. F. CORLISS AND R. RIHM, Validating an a priori enclosure using high-order Taylor series, in Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN '95, G. Alefeld, A. Frommer, and B. Lang, eds., Akademie Verlag, Berlin, 1996, pp. 228-238.
11. R. G. CORNELL, A method for fitting linear combinations of exponentials, Biometrics, 18 (1962), pp. 104-113.
12. J. CRUZ, Constraint Reasoning for Differential Models, Ph.D. thesis, New University of Lisbon, 2003.
13. J. CRUZ AND P. BARAHONA, Global hull consistency with local search for continuous constraint solving, in Proceedings of EPIA'2001, Portuguese Conference on Artificial Intelligence, P. Brazdil and A. Jorge, eds., Lecture Notes in Comput. Sci. 2258, Springer, New York, 2001, pp. 349-362.
14. Y. DEVILLE, M. JANSEN, AND P. VAN HENTENRYCK, Consistency techniques in ordinary differential equations, in Proceedings of CP'98, Principles and Practice of Constraint Programming, Lecture Notes in Comput. Sci. 1520, Springer, New York, 1998, pp. 162-176.
15. P. EIJGENRAAM, The Solution of Initial Value Problems Using Interval Arithmetic, Technical Report 144, Math. Centre Tracts, CWI, Kruislaan, Amsterdam, 1981.
16. M. GIBALDI AND D. PERRIER, Pharmacokinetics, Marcel Dekker, New York, 1982.
17. L. GRANVILLIERS, From interval arithmetic to interval constraints for parameter set estimation, in Proceedings of SCAN'2002, International Conference on Scientific Computing and Validated Numerics, Paris, 2002.
18. L. GRANVILLIERS, RealPaver: User's Manual, 0.1 edition, IRIN, University of Nantes, 2002.
19. E. R. HANSEN, Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
20. T. J. HICKEY, Q. Ju, AND M. H. VAN EMDEN, Interval arithmetic: From principles to implementation, J. ACM, 48 (2001), pp. 1038-1068.
21. IEEE, IEEE Standard for Binary Floating-Point Arithmetic, Technical Report IEEE Std 7541985, 1985; reaffirmed 1990; http://standards.ieee.org/.
22. M. JANSEN, P. VAN HENTENRYCK, AND Y. DEVILLE, Optimal pruning in parametric differential equations, in Proceedings of CP'2001, Principles and Practice of Constraint Programming, Lecture Notes in Comput. Sci. 2239, Springer, New York, 2001, pp. 539-553.
23. L. JAULIN, Interval constraint propagation with application to bounded-error estimation, Automatica, 36 (2000), pp. 1547-1552.
24. L. JAULIN AND E. WALTER, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, 29 (1993), pp. 1053-1064.
25. W. M. KAHAN, A More Complete Interval Arithmetic, Technical report. University of Toronto, 1968.
26. F. KRÜCKEBERG, Ordinary differential equations, in Topics in Interval Analysis, E. Hansen, ed., Clarendon Press, Oxford, 1969, pp. 91-97.
27. R. J. LOHNER, Einschliebung der Lsösung gewsöhnlicher Anfangs und Randwertaufgaben und Anwendungen, Ph.D. thesis, University of Karlsruhe, 1988.
28. R. J. LOHNER, Step size and order control in the verified solution of IVP with ODEs, in Proceedings of SciCADE'95, International Conference on Scientific Computation and Differential Equations, Stanford, CA, 1995.
29. R. E. MOORE, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
30. J. D. MURRAY, Mathematical Biology, Springer, Berlin, 1991.
31. K. R. JACKSON, N. S. NEDIALKOV, AND J. D. PRYCE, An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE, Reliab. Comput., 7 (2001), pp. 449-465.
32. N. S. NEDIALKOV, Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, Ph.D. thesis, University of Toronto, 1999.
33. N. S. NEDIALKOV, K. R. JACKSON, AND G. F. CORLISS, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput., 105 (1999), pp. 21-68.
34. A. NEUMAIER, Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, UK, 1990.
35. S. OUIS, N. JUSSIEN, AND P. BOIZUMAULT, K-relevant explanations for constraint programming, in Proceedings of FLAIRS'2003, Florida Artificial Intelligence Research Society Conference, I. Russell and S. Haller, eds., AAAI Press, Menlo Park, CA, 2003, pp. 192-196.
36. R. RIHM, Interval methods for initial value problems in odes, in Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations, J. Herzberger, ed., Elsevier, Amsterdam, 1994.
37. K. SCHITTKOWSKI, Numerical Data Fitting in Dynamical Systems, Kluwer Academic, Dordrecht, The Netherlands, 2002.
38. O. STAUNING, Enclosing Solutions of Ordinary Differential Equations, Technical Report IMMREP-1996-18, Department of Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark, 1996.
39. O. STAUNING, Automatic Validation of Numerical Solutions, Ph.D. thesis, Technical University of Denmark, Lyngby, Denmark, 1997.
40. C. R. VOGEL, Computational Methods for Inverse Problems, SIAM, Philadelphia, 2002.