An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum

DOI10.1007/s10100-012-0256-5zbMath1339.70008OpenAlexW2006038302MaRDI QIDQ301132

Balázs Bánhelyi, Balázs L. Lévai

Publication date: 29 June 2016

Published in: CEJOR. Central European Journal of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10100-012-0256-5

zbMATH Keywords

chaotic behaviouroptimization techniqueforced damped pendulumrigorous methods

Mathematics Subject Classification ID

Complex behavior and chaotic systems of ordinary differential equations (34C28) Motion of a rigid body with a fixed point (70E17)

Related Items

Existence and stability of periodic solutions for a forced pendulum with time-dependent damping ⋮ Editorial

Uses Software

• PROFIL/BIAS
• VNODE

Cites Work

• Unnamed Item
• An efficient descent direction method with cutting planes
• Convex optimization approach to a single quadratically constrained quadratic minimization problem
• Using invariants to determine change detection in dynamical system with chaos
• Rigorous chaos verification in discrete dynamical systems
• An interval method to validate optimal solutions of the ``packing circles in a unit square problems
• Global optimization on Stiefel manifolds: a computational approach
• A verified optimization technique to locate chaotic regions of Hénon systems
• The Forced Damped Pendulum: Chaos, Complication and Control
• OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
• A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
• The Lorenz attractor exists
• Chaos in the Lorenz equations: a computer-assisted proof
• Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum