High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays

Periodic solutions to ordinary differential equations (34C25) Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Numerical problems in dynamical systems (65P99)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Large-amplitude periodic solutions for differential equations with delayed monotone positive feedback
Computational fixed-point theory for differential delay equations with multiple time lags
Configurations of periodic orbits for equations with delayed positive feedback
A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
Computer-assisted proof of a periodic solution in a nonlinear feedback DDE
Automatic differentiation: techniques and applications
Ordinary and delay differential equations
Shape, smoothness and invariant stratification of an attracting set for delayed monotone positive feedback
A rigorous ODE solver and Smale's 14th problem
Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
A proof of Wright's conjecture
\(C^1\) Lohner algorithm.
Covering relations for multidimensional dynamical systems
The Poincaré-Bendixson theorem for monotone cyclic feedback systems with delay
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Stable periodic orbits for the Mackey-Glass equation
From the Sharkovskii theorem to periodic orbits for the Rössler system
Recent advances in a rigorous computation of Poincaré maps
Validated integration of differential equations with state-dependent delay
Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
An equation for continuous chaos
A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
Computer assisted proof of chaos in the Rössler equations and in the Hénon map
A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation
Oscillation and Chaos in Physiological Control Systems
A generalized Lefschetz fixed point theorem and symbolic dynamics in delay equations
Chaotic Motion Generated by Delayed Negative Feedback Part II: Construction of Nonlinearities
Parameterization Method for State-Dependent Delay Perturbation of an Ordinary Differential Equation
Verified Integration of Differential Equations with Discrete Delay
Periodic solutions with long period for the Mackey–Glass equation
Numerical Methods for Ordinary Differential Equations

This page was built for publication: High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays