TOWARDS AUTOMATED CHAOS VERIFICATION

DOI10.1142/9789812702067_0014MaRDI QIDQ5394823zbMATH OpenOpenAlexFDO

Authors Sarah L. Day, Oliver Junge, K. Mischaikow

Publication date 1 November 2006

Published in EQUADIFF 2003 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789812702067_0014

zbMATH Keywords

complicated dynamicsconnecting orbitsfixed-pointsHénon mapinvariant setslow-dimensional mapsperiodic orbitssubshift dynamics

Mathematics Subject Classification ID

Symbolic dynamics (37B10) Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Dynamical systems involving maps of the interval (37E05)

Recommendations

• Rigorous verification of chaotic behaviour of maps using validated shadowing
• Rigorous verification of trajectories for the computer simulation of dynamical systems
• A verified optimization technique to locate chaotic regions of Hénon systems
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• Computer assisted proof of chaos in the Lorenz equations

Cited in

(7)

• A verified optimization technique to locate chaotic regions of Hénon systems
• Chaos in orientation reversing twist maps of the plane
• Symbolic dynamics for nonhyperbolic systems
• Rigorous verification of trajectories for the computer simulation of dynamical systems
• Dynamics and chaos for maps and the Conley index
• Analysis of Chaos-Based Code Tracking Using Chaotic Correlation Statistics
• Sofic shifts via Conley index theory: computing lower bounds on recurrent dynamics for maps

This page was built for publication: TOWARDS AUTOMATED CHAOS VERIFICATION

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