Rigorous integration of flows and ODEs using Taylor models

DOI10.1145/1577190.1577206MaRDI QIDQ2959020zbMATH OpenOpenAlexFDO

Authors Martin Berz, Kyoko Makino

Publication date 3 February 2017

Published in Proceedings of the 2009 conference on Symbolic numeric computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1577190.1577206

zbMATH Keywords

double pendulumerror boundinitial value probleminterval arithmeticnonlinear flow of ODErigorous flow integrationrigorous ODE integrationTaylor modelTaylor polynomial

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Interval and finite arithmetic (65G30) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Recommendations

• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Verified computations using Taylor models and their applications
• On Taylor Model Based Integration of ODEs
• Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
• Rigorous reachability analysis and domain decomposition of Taylor models

Cited in

(18)

• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
• Rigorous reachability analysis and domain decomposition of Taylor models
• Adaptive parameter tuning for reachability analysis of nonlinear systems
• Linearization, model reduction and reachability in nonlinear ODEs
• Reducing the truncation error in Taylor model multiplication
• Constructive approaches to QP-time-dependent KAM theory for Lagrangian tori in Hamiltonian systems
• Linearization, model reduction and reachability in nonlinear \textsc{ODEs}
• Accelerating high-order continuum kinetic plasma simulations using multiple GPUs
• Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting

This page was built for publication: Rigorous integration of flows and ODEs using Taylor models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2959020)