OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
DOI10.1142/S0218127407017549zbMATH Open1139.37019OpenAlexW1979792338MaRDI QIDQ3499154FDOQ3499154
Authors: Balázs Bánhelyi, Tibor Csendes, Barnabas M. Garay 
Publication date: 28 May 2008
Published in: International Journal of Bifurcation and Chaos in Applied Sciences and Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218127407017549
Recommendations
- A computer-assisted proof for the existence of horseshoe in a novel chaotic system
- TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS
- A verified optimization technique to locate chaotic regions of Hénon systems
- COMPUTER ASSISTED VERIFICATION OF CHAOS IN THE SMOOTH CHUA'S EQUATION
- A planar topological horseshoe theory with applications to computer verifications of chaos
- On detection of chaotic dynamics in ordinary differential equations
- scientific article; zbMATH DE number 5990507
- ON CHAOS DETECTION METHODS
- Horseshoe chaos in a hybrid planar dynamical system
- Prediction of horseshoe chaos in BVP and DVP oscillators
chaosBrouwer fixed point theoremSmale horseshoecomputer-aided proofHénon-mappingverified global optimization
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Approximation methods and numerical treatment of dynamical systems (37M99)
Cites Work
- Entropy and volume
- Title not available (Why is that?)
- Interval analysis: Theory and applications
- The Lorenz attractor exists
- A combinatorial procedure for finding isolating neighbourhoods and index pairs
- Title not available (Why is that?)
- Introduction to Applied Nonlinear Dynamical Systems and Chaos
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- Chaos in the Lorenz equations: a computer-assisted proof
- A New Verified Optimization Technique for the "Packing Circles in a Unit Square" Problems
- Isolating segments, fixed point index, and symbolic dynamics
- MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS AND STABILITY OF SARKOVSKĬ ORDERING
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
Cited In (11)
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- An algorithm to automatically detect the Smale horseshoes
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Floquet multipliers of a metastable rotating wave in a Chua-Yang ring network
- Chaotic dynamics via index maps
- Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño}
- A verified optimization technique to locate chaotic regions of Hénon systems
- Digital control as source of chaotic behavior
- The GLOBAL optimization method revisited
- Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit
- Global attractivity of the zero solution for Wright's equation
Uses Software
This page was built for publication: OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499154)
