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

Journal of Global Optimization

Volumn 35, Issue 1, 2006, Pages 145-160

  Csendes, Tibor ^a   Garay, Barnabás M ^b   Bánhelyi, Balázs ^a  

^a UNIVERSITY OF SZEGED   (Hungary)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Chaos; Global optimization; H non map; Verified optimization method

Indexed keywords

ALGORITHMS; CHAOS THEORY; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; NONLINEAR PROGRAMMING;

HÉNON-MAP; VERIFIED OPTIMIZATION METHOD;

GLOBAL OPTIMIZATION;

EID: 33646882850     PISSN: 09255001     EISSN: 15732916     Source Type: Journal    
DOI: 10.1007/s10898-005-1509-9     Document Type: Article

References (17)

1. Bánhelyi, B., Csendes, T. and Garay B.M., Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. Manuscript, submitted for publication. Available at www.inf.u-szeged.hu/~csendes/henon2.pdf
2. Csendes, T. (1988), Nonlinear parameter estimation by global optimization - efficiency and reliability. Acta Cybernetica, 8, 361-370.
3. Csendes, T., Bánhelyi B. and Hatvani L., Towards a computer-assisted proof for chaos in a forced damped pendulum equation. Manuscript, submitted for publication. Available at www.inf.u-szeged.hu/ ~csendes/jcaminga.pdf
4. Csendes, T., Zabinsky, Z.B. and Kristinsdottir, B.P. (1995), Constructing large feasible sub-optimal intervals for constrained nonlinear optimization. Annals of Operations Research, 58, 279-293.
5. C-XSC Languages home page (2005), http://www.math.uni-wuppertal.de/org/ WRST/index_en.html
6. Dellnitz, M. and Junge, O. (2002), Set oriented numerical methods for dynamical systems. Handbook of dynamical systems, Vol. 2, North-Holland, Amsterdam, pp. 221-264.
7. Galias, Z. and Zgliczynski, P. (2001), Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map. Nonlinearity, 14, 909-932.
8. Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., and Rauch, M. (1993), C-XSC - A C++ Class Library for Extended Scientific Computing, Springer-Verlag, Heidelberg.
9. Kristinsdottir, B.P., Zabinsky, Z.B., Csendes, T., and Tuttle, M.E. (1993), Methodologies for tolerance intervals. Interval Computations, 3, 133-147.
10. Kristinsdottir, B.P., Zabinsky, Z.B., Tuttle, M.E., and Csendes, T. (1996), Incorporating manufacturing tolerances in optimal design of composite structures, Engineering Optimization 26, 1-23.
11. Markót, M.C. and Csendes, T. A New Verified Optimization Technique for the "Packing Circles in a Unit Squre" Problems. Accepted for publication in the SIAM J. on Optimization. Available at www.inf.u-szeged.hu/ ~csendes/publ.html
12. Neumaier, A. (2004), Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, 271-369.
13. Neumaier, A. and Rage, T. (1993), Rigorous chaos verification in discrete dynamical systems, Physica D 67, 327-346.
14. Rage, T., Neumaier, A. and Schlier, C. (1994), Rigorous verification of chaos in a molecular model, Physical Review E. 50, 2682-2688.
15. Ratschek H. and Rokne J., (1988), New Computer Methods for Global Optimization, Ellis Horwood, Chichester.
16. Zgliczynski, P. (1997), Computer assisted proof of the horseshoe dynamics in the Hénon map. Random & Computational Dynamics 5, 1-17.
17. Zgliczynski, P. (2003), On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach. Journal of Differential Equations 195, 271-283.