Recent advances in a rigorous computation of Poincaré maps
From MaRDI portal
Publication:2137186
Abstract: In this article we present recent advances on interval methods for rigorous computation of Poincar'e maps. We also discuss the impact of choice of Poincar'e section and coordinate system on obtained bounds for computing Poincar'e map nearby fixed points.
Recommendations
Cites work
- Title not available (Why is no real title available?)
- scientific article; zbMATH DE number 177015 (Why is no real title available?)
- scientific article; zbMATH DE number 524106 (Why is no real title available?)
- scientific article; zbMATH DE number 3003224 (Why is no real title available?)
- scientific article; zbMATH DE number 1440924 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- A homoclinic orbit in a planar singular ODE -- a computer assisted proof
- A rigorous ODE solver and Smale's 14th problem
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- An equation for hyperchaos
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Computing accurate Poincaré maps
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- MPFR
- New methods for high-dimensional verified quadrature
- On the numerical computation of Poincaré maps
- Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation
- Rigorous verification of cocoon bifurcations in the Michelson system
- Set arithmetic and the enclosing problem in dynamics
- Steady solutions of the Kuramoto-Sivashinsky equation
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- When chaos meets hyperchaos: 4D Rössler model
Cited in
(12)- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Computing accurate Poincaré maps
- On computing Poincaré map by Hénon method
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- Breakdown of homoclinic orbits to \(L_3\): nonvanishing of the Stokes constant
- High-order representation of Poincaré maps
- On the numerical computation of Poincaré maps
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
- Pseudo-convergence for calculation of data of the Poincaré group
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- A box-counting method for characteristic diagnosis of nonlinear dynamical systems
This page was built for publication: Recent advances in a rigorous computation of Poincaré maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2137186)
