A verified optimization technique to locate chaotic regions of Hénon systems

DOI10.1007/S10898-005-1509-9zbMath1103.90076OpenAlexW2112891384MaRDI QIDQ2505553

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

Publication date: 26 September 2006

Published in: Journal of Global Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10898-005-1509-9

zbMATH Keywords

global optimizationchaosHénon-mapverified optimization method

Mathematics Subject Classification ID

Nonconvex programming, global optimization (90C26) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45)

Related Items (9)

An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Optimal circle covering problems and their applications ⋮ Dynamics evolution of credit risk contagion in the CRT market ⋮ The GLOBAL optimization method revisited ⋮ A SIMPLE METHOD FOR FINDING TOPOLOGICAL HORSESHOES ⋮ Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum ⋮ Global Attractivity of the Zero Solution for Wright's Equation

Uses Software

• C-XSC 2.0

Cites Work

• Unnamed Item
• Towards a computer-assisted proof for chaos in a forced damped pendulum equation
• Rigorous chaos verification in discrete dynamical systems
• On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach.
• Constructing large feasible suboptimal intervals for constrained nonlinear optimization
• Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
• OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
• Complete search in continuous global optimization and constraint satisfaction
• A New Verified Optimization Technique for the "Packing Circles in a Unit Square" Problems

This page was built for publication: A verified optimization technique to locate chaotic regions of Hénon systems