Access the full text.
Sign up today, get DeepDyve free for 14 days.
H. Schichl, A. Neumaier (2005)
Interval Analysis on Directed Acyclic Graphs for Global OptimizationJournal of Global Optimization, 33
(2004)
Numer. Anal
(2006)
Proc. 12th GAMM -IMACS International Symposium on Scientific Computing
(2007)
Proc. Appl. Math. Mech
R. Byrd, P. Lu, J. Nocedal, C. Zhu (1995)
A Limited Memory Algorithm for Bound Constrained OptimizationSIAM J. Sci. Comput., 16
E. Walter, M. Kieffer (2006)
Guaranteed optimization of the parameters of continuous-time knowledge-based modelsLecture Notes in Control and Information Sciences
(1968)
A more complete interval arithmetic. Lecture notes for a summer course
Xuan-Ha Vu, H. Schichl, Djamila Sam-Haroud (2004)
Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems16th IEEE International Conference on Tools with Artificial Intelligence
A. Neumaier (2004)
Complete search in continuous global optimization and constraint satisfactionActa Numerica, 13
(1992)
Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem
N. Mackenzie, P. Jessup (1949)
A Modern Law of Nations: An IntroductionInternational Journal, 4
(1990)
J. Math. Anal. Appl
R. Deutsch (1966)
Estimation Theory
S. Kay (1993)
Fundamentals of statistical signal processing: estimation theoryTechnometrics, 37
A. Neumaier (2004)
Acta Numerica 2004: Complete search in continuous global optimization and constraint satisfaction
S. Skelboe (1974)
Computation of rational interval functionsBIT Numerical Mathematics, 14
The COCONUT environment. URL www.mat.univie.ac.at/coconut-environment
J. Hoefkens, M. Berz, K. Makino (2000)
Efficient high-order methods for ODEs and DAEs
(2001)
Automatic Differentiation : From Simulation to Optimization
H. Schichl, M. Markót (2012)
Algorithmic differentiation techniques for global optimization in the COCONUT environmentOptimization Methods and Software, 27
R. Alt, A. Frommer, R. Kearfott, W. Luther, R. Alt (2004)
Numerical Software with Result Verification, 2991
A. Neumaier, Shen Zuhe (1990)
The Krawczyk operator and Kantorovich's theoremJournal of Mathematical Analysis and Applications, 149
S. Kay (2001)
Fundamentals Of Statistical Signal Processing
K. Makino, M. Berz (2003)
TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS
(1995)
SIAM J. Sci. Comput
G. Vainikko (1993)
Higher order methods
E. Hansen (1992)
Global optimization using interval analysis, 165
(2004)
Proc. 16th IEEE International Conference on Tools with Artificial Intelligence
(1994)
ACM Transactions on Mathematical Software
E. Walter, L. Pronzato (1997)
Identification of Parametric Models: from Experimental Data
N. Nedialkov, K. Jackson (2001)
A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations
Ramon Moore (1963)
Interval arithmetic and automatic error analysis in digital computing
H. Schichl (2003)
Global Optimization in the COCONUT Project
F. Domes, A. Neumaier (2011)
Rigorous Enclosures of Ellipsoids and Directed Cholesky FactorizationsSIAM J. Matrix Anal. Appl., 32
B. Moa, M. Emden (1996)
Interval methods for global optimizationApplied Mathematics and Computation, 75
(2010)
Exclusion regions for optimization problems (2010). URL http://www.mat.univie.ac.at/ herman/papers/exclopt.pdf
R. Kearfott (1996)
Rigorous Global Search: Continuous Problems
K. Andersen (2007)
Operations Research (OR)
H. Schichl, A. Neumaier (2004)
Exclusion Regions for Systems of EquationsSIAM J. Numer. Anal., 42
Max Müller (1927)
Über das Fundamentaltheorem in der Theorie der gewöhnlichen DifferentialgleichungenMathematische Zeitschrift, 26
A. Land, A. Doig (1960)
An Automatic Method for Solving Discrete Programming Problems
D. Ratz, T. Csendes (1995)
On the selection of subdivision directions in interval branch-and-bound methods for global optimizationJournal of Global Optimization, 7
W. Marquardt, C. Pantelides (2006)
16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
A. Rauh, E. Hofer, E. Auer (2006)
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006)
U. Kulisch, R. Lohner, A. Facius (2001)
Perspectives on Enclosure Methods
(2006)
Positive Systems, LNCIS LNCIS
F. Domes, A. Neumaier (2010)
Constraint propagation on quadratic constraintsConstraints, 15
(2006)
J. Global Optim
(1960)
Econometrica
Youdong Lin, M. Stadtherr (2006)
Validated solution of ODEs with parametric uncertaintiesComputer-aided chemical engineering, 21
A. Neumaier (1990)
Interval methods for systems of equations
J. Jacquez (1985)
Compartmental analysis in biology and medicine
(2010)
Optimal enclosures of derivatives and slopes for univariate functions
R. Kearfott, Milind Dawande, Kaisheng Du, Chenyi Hu (1994)
Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function libraryACM Trans. Math. Softw., 20
A. Rauh, E. Auer, J. Minisini, E. Hofer (2007)
Extensions of ValEncIA‐IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimizationPAMM, 7
R. Willis (1990)
New Computer Methods for Global OptimizationJournal of the Operational Research Society
[Nonlinear parameter estimation is usually achieved via the minimization of some possibly non-convex cost function. Interval analysis allows one to derive algorithms for the guaranteed characterization of the set of all global minimizers of such a cost function when an explicit expression for the output of the model is available or when this output is obtained via the numerical solution of a set of ordinary differential equations. However, cost functions involved in parameter estimation are usually challenging for interval techniques, if only because of multi-occurrences of the parameters in the formal expression of the cost. This paper addresses parameter estimation via the verified global optimization of quadratic cost functions. It introduces tools for the minimization of generic cost functions. When an explicit expression of the output of the parametric model is available, significant improvements may be obtained by a new box exclusion test and by careful manipulations of the quadratic cost function. When the model is described by ODEs, some of the techniques available in the previous case may still be employed, provided that sensitivity functions of the model output with respect to the parameters are available.]
Published: May 13, 2011
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.