OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
From MaRDI portal
Publication:3499154
DOI10.1142/S0218127407017549zbMath1139.37019MaRDI QIDQ3499154
Tibor Csendes, Balázs Bánhelyi, Barnabas M. Garay
Publication date: 28 May 2008
Published in: International Journal of Bifurcation and Chaos (Search for Journal in Brave)
chaos; Brouwer fixed point theorem; Smale horseshoe; computer-aided proof; verified global optimization; Hénon-mapping
37D45: Strange attractors, chaotic dynamics of systems with hyperbolic behavior
37M99: Approximation methods and numerical treatment of dynamical systems
Related Items
Towards a computer-assisted proof for chaos in a forced damped pendulum equation, The GLOBAL optimization method revisited, A verified optimization technique to locate chaotic regions of Hénon systems
Uses Software
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
