OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER

DOI10.1142/S0218127407017549zbMath1139.37019OpenAlexW1979792338MaRDI QIDQ3499154

Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay

Publication date: 28 May 2008

Published in: International Journal of Bifurcation and Chaos (Search for Journal in Brave)

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

zbMATH Keywords

chaosBrouwer fixed point theoremSmale horseshoecomputer-aided proofverified global optimizationHénon-mapping

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items

An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Towards a computer-assisted proof for chaos in a forced damped pendulum equation ⋮ Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit ⋮ Floquet multipliers of a metastable rotating wave in a Chua-Yang ring network ⋮ Chaotic dynamics via index maps ⋮ An algorithm to automatically detect the Smale horseshoes ⋮ The GLOBAL optimization method revisited ⋮ DIGITAL CONTROL AS SOURCE OF CHAOTIC BEHAVIOR ⋮ A verified optimization technique to locate chaotic regions of Hénon systems ⋮ Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} ⋮ Global Attractivity of the Zero Solution for Wright's Equation

Uses Software

• C-XSC 2.0

Cites Work

• Unnamed Item
• Unnamed Item
• Interval analysis: Theory and applications
• Constructing large feasible suboptimal intervals for constrained nonlinear optimization
• Isolating segments, fixed point index, and symbolic dynamics
• Entropy and volume
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• The Lorenz attractor exists
• Chaos in the Lorenz equations: a computer-assisted proof
• A combinatorial procedure for finding isolating neighbourhoods and index pairs
• Introduction to Applied Nonlinear Dynamical Systems and Chaos
• A New Verified Optimization Technique for the "Packing Circles in a Unit Square" Problems
• MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS AND STABILITY OF SARKOVSKĬ ORDERING