On Taylor Model Based Integration of ODEs
From MaRDI portal
guaranteed error boundsinitial value problemsinterval arithmeticinterval methodsnumerical examplessymbolic computationsTaylor model methodsverified integrationwrapping effect
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Error bounds for numerical methods for ordinary differential equations (65L70) Symbolic computation and algebraic computation (68W30)
Recommendations
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- scientific article; zbMATH DE number 714518
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Validated solutions of initial value problems for ordinary differential equations
- Verified computations using Taylor models and their applications
Cited in
(54)- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Efficient control of the dependency problem based on Taylor model methods
- Chebyshev model arithmetic for factorable functions
- Global optimization in Hilbert space
- Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions
- Validated solutions of initial value problems for ordinary differential equations
- Symbolic preconditioning with Taylor models: Some examples
- Taylor forms -- use and limits.
- Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
- Stepsize selection in the rigorous defect control of Taylor series methods
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Optimal residuals and the Dahlquist test problem
- Truncation bounds for differentially finite series
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Validated solutions of initial value problems for parametric ODEs
- Design of high-gain observers based on sampled measurements via the interval arithmetic
- Reachability analysis and deterministic global optimization of DAE models
- Rigorous integration of flows and ODEs using Taylor models
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Temporal logic verification for delay differential equations
- Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
- Convergence analysis of Taylor models and McCormick-Taylor models
- Improved relaxations for the parametric solutions of ODEs using differential inequalities
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- VERICOMP: A system to compare and assess verified IVP solvers
- Status of the differential transformation method
- Polynomial function intervals for floating-point software verification
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Determination of inner and outer bounds of reachable sets through subpavings
- scientific article; zbMATH DE number 1916891 (Why is no real title available?)
- Verified computations using Taylor models and their applications
- Rigorous reachability analysis and domain decomposition of Taylor models
- Global optimization of mixed-integer ODE constrained network problems using the example of stationary gas transport
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- A verified method for solving piecewise smooth initial value problems
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Verified high-order inversion of functional dependencies and interval Newton methods
- Moment-based invariants for probabilistic loops with non-polynomial assignments
- New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations
- Verified solution method for population epidemiology models with uncertainty
- Reducing the truncation error in Taylor model multiplication
- Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments
- Inner and outer approximations of arbitrarily quantified reachability problems
- Inner and outer approximate quantifier elimination for general reachability problems
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- An application of Taylor models to the Nakao method on ODEs
- Probability bounds analysis for nonlinear population ecology models
- Effective bounds for P-recursive sequences
This page was built for publication: On Taylor Model Based Integration of ODEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449035)
