Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
From MaRDI portal
Publication:5437369
Recommendations
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- On Taylor Model Based Integration of ODEs
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Validated solutions of initial value problems for ordinary differential equations
- Shrink wrapping for Taylor models revisited
Cited in
(13)- On Taylor Model Based Integration of ODEs
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Interval versions of Milne's multistep methods
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- On interval predictor-corrector methods
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous integration of flows and ODEs using Taylor models
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Rigorous reachability analysis and domain decomposition of Taylor models
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Stepsize selection in the rigorous defect control of Taylor series methods
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
This page was built for publication: Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437369)
