Efficient control of the dependency problem based on Taylor model methods

DOI10.1023/A:1026485406803zbMath0936.65073OpenAlexW2117251576MaRDI QIDQ1300080

Kyoko Makino, Martin Berz

Publication date: 23 November 1999

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026485406803

zbMATH Keywords

global optimizationresult verificationinterval methodTaylor model methodsrange enclosuresrange bounding

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Related Items (21)

Computing the range of values of real functions using B-spline form ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Solving interval constraints by linearization in computer-aided design ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations ⋮ Verified High-Order Integration of DAEs and Higher-Order ODEs ⋮ Chebyshev model arithmetic for factorable functions ⋮ A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations ⋮ Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization ⋮ Polynomial function intervals for floating-point software verification ⋮ Mathematically Rigorous Global Optimization and Fuzzy Optimization ⋮ Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information ⋮ Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty ⋮ Generalized Hukuhara differentiability of interval-valued functions and interval differential equations ⋮ Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

This page was built for publication: Efficient control of the dependency problem based on Taylor model methods