A study of rigorous ODE integrators for multi-scale set-oriented computations
From MaRDI portal
Publication:289025
DOI10.1016/j.apnum.2016.04.005zbMath1382.65199OpenAlexW2339075642WikidataQ112163820 ScholiaQ112163820MaRDI QIDQ289025
Tomoyuki Miyaji, Konstantin Mischaikow, Paweł Pilarczyk, Marcio Gameiro, Hiroshi Kokubu
Publication date: 27 May 2016
Published in: Applied Numerical Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apnum.2016.04.005
Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
Related Items
Computing Morse decomposition of ODEs via Runge-Kutta method ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Rigorous computational dynamics in the context of unknown nonlinearities ⋮ Global dynamics for steep nonlinearities in two dimensions ⋮ Rigorous numerics for fast-slow systems ⋮ An absorbing set for the Chialvo map ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Human photoplethysmogram through the Morse graph: Searching for the saddle point in experimental data ⋮ Complexity in a Hybrid van der Pol System ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Topological Computation Analysis of Meteorological Time-Series Data ⋮ Rich Bifurcation Structure in a Two-Patch Vaccination Model
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global dynamics in a stage-structured discrete-time population model with harvesting
- Discrete Morse theoretic algorithms for computing homology of complexes and maps
- The Conley index on compact ANR's is of finite type
- Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- \(C^1\) Lohner algorithm.
- The Conley index for discrete semidynamical systems
- Parallelization method for a continuous property
- Graph approach to the computation of the homology of continuous maps
- Inducing a map on homology from a correspondence
- Combinatorial-topological framework for the analysis of global dynamics
- Set arithmetic and the enclosing problem in dynamics
- Deterministic Nonperiodic Flow
- A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
- Rich Bifurcation Structure in a Two-Patch Vaccination Model
- A dynamical model for plasma confinement transitions