Rigorous integration of flows and ODEs using taylor models

DOI10.1145/1577190.1577206zbMath1356.65168OpenAlexW2148952098MaRDI QIDQ2959020

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

initial value problemerror boundinterval arithmeticTaylor modelTaylor polynomialdouble pendulumnonlinear flow of ODErigorous flow integrationrigorous ODE integration

Mathematics Subject Classification ID

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

Related Items

Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering, Adaptive parameter tuning for reachability analysis of nonlinear systems, Linearization, model reduction and reachability in nonlinear ODEs, 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, A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB, Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting, Adaptive reachability algorithms for nonlinear systems using abstraction error analysis, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}