{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:20:25Z","timestamp":1725747625889},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406263"},{"type":"electronic","value":"9783642406270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40627-0_57","type":"book-chapter","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T07:11:01Z","timestamp":1378537861000},"page":"774-789","source":"Crossref","is-referenced-by-count":1,"title":["Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Goldsztejn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Granvilliers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Jermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"57_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/10586458.2007.10128992","volume":"16","author":"Z. Arai","year":"2007","unstructured":"Arai, Z.: On hyperbolic plateaus of the H\u00e9non map. Journal Experimental Mathematics\u00a016(2), 181\u2013188 (2007)","journal-title":"Journal Experimental Mathematics"},{"doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B.: Exploiting monotonicity in interval constraint propagation. In: AAAI (2010)","key":"57_CR2","DOI":"10.1609\/aaai.v24i1.7541"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1137\/070695599","volume":"7","author":"B. Banhelyi","year":"2008","unstructured":"Banhelyi, B., Csendes, T., Garay, B., Hatvani, L.: A computer-assisted proof of \u03c3 3-chaos in the forced damped pendulum equation. SIAM Journal on Applied Dynamical Systems\u00a07, 843\u2013867 (2008)","journal-title":"SIAM Journal on Applied Dynamical Systems"},{"unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: ICLP, pp. 230\u2013244 (1999)","key":"57_CR4"},{"unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. In: Procs. Intl. Symp. on Logic Prog., pp. 124\u2013138. The MIT Press (1994)","key":"57_CR5"},{"issue":"547","key":"57_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1515\/crll.2002.053","volume":"2002","author":"F. Blanchard","year":"2002","unstructured":"Blanchard, F., Glasner, E., Kolyada, S., Maass, A.: On Li-Yorke pairs. Journal f\u00fcr die reine und angewandte Mathematik\u00a02002(547), 51\u201368 (2002)","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"issue":"4","key":"57_CR7","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1137\/050623401","volume":"28","author":"J.J. Crofts","year":"2006","unstructured":"Crofts, J.J., Davidchack, R.L.: Efficient detection of periodic orbits in chaotic systems by stabilizing transformations. SIAM J. Sci. Comput.\u00a028(4), 1275\u20131288 (2006)","journal-title":"SIAM J. Sci. Comput."},{"issue":"12","key":"57_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0375-9601(01)00463-7","volume":"287","author":"R.L. Davidchack","year":"2001","unstructured":"Davidchack, R.L., Lai, Y.C., Klebanoff, A., Bollt, E.M.: Towards complete detection of unstable periodic orbits in chaotic systems. Physics Letters A\u00a0287(12), 99\u2013104 (2001)","journal-title":"Physics Letters A"},{"issue":"09","key":"57_CR9","doi-asserted-by":"publisher","first-page":"2427","DOI":"10.1142\/S0218127401003516","volume":"11","author":"Z. Galias","year":"2001","unstructured":"Galias, Z.: Interval methods for rigorous investigations of periodic orbits. International Journal of Bifurcation and Chaos\u00a011(09), 2427\u20132450 (2001)","journal-title":"International Journal of Bifurcation and Chaos"},{"issue":"6","key":"57_CR10","doi-asserted-by":"publisher","first-page":"1759","DOI":"10.1088\/0951-7715\/15\/6\/304","volume":"15","author":"Z. Galias","year":"2002","unstructured":"Galias, Z.: Rigorous investigation of the Ikeda map by means of interval arithmetic. Nonlinearity\u00a015(6), 1759 (2002)","journal-title":"Nonlinearity"},{"key":"57_CR11","series-title":"SCI","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-95972-4_2","volume-title":"Intelligent computing based on chaos","author":"Z. Galias","year":"2009","unstructured":"Galias, Z.: Computational methods for rigorous analysis of chaotic systems. In: Kocarev, L., Galias, Z., Lian, S. (eds.) Intelligent computing based on chaos. SCI, vol.\u00a0184, pp. 25\u201351. Springer, Heidelberg (2009)"},{"issue":"4","key":"57_CR12","doi-asserted-by":"publisher","first-page":"2450","DOI":"10.1016\/j.chaos.2009.03.119","volume":"42","author":"F. Gao","year":"2009","unstructured":"Gao, F., Gao, H., Li, Z., Tong, H., Lee, J.J.: Detecting unstable periodic orbits of nonlinear mappings by a novel quantum-behaved particle swarm optimization non-Lyapunov way. Chaos, Solitons & Fractals\u00a042(4), 2450\u20132463 (2009)","journal-title":"Chaos, Solitons & Fractals"},{"issue":"4","key":"57_CR13","doi-asserted-by":"publisher","first-page":"1480","DOI":"10.1137\/100819011","volume":"10","author":"A. Goldsztejn","year":"2011","unstructured":"Goldsztejn, A., Hayes, W., Collins, P.: Tinkerbell is chaotic. SIAM Journal on Applied Dynamical Systems\u00a010(4), 1480\u20131501 (2011)","journal-title":"SIAM Journal on Applied Dynamical Systems"},{"key":"57_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-23786-7_25","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"A. Goldsztejn","year":"2011","unstructured":"Goldsztejn, A., Jermann, C., Ruiz de Angulo, V., Torras, C.: Symmetry breaking in numeric constraint problems. In: Lee, J. (ed.) CP 2011. LNCS, vol.\u00a06876, pp. 317\u2013324. Springer, Heidelberg (2011)"},{"issue":"1","key":"57_CR15","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L. Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Mathematical Software\u00a032(1), 138\u2013156 (2006)","journal-title":"ACM Trans. Mathematical Software"},{"key":"57_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01608556","volume":"50","author":"M. H\u00e9non","year":"1976","unstructured":"H\u00e9non, M.: A two-dimensional mapping with a strange attractor. Communications in Mathematical Physics\u00a050, 69\u201377 (1976)","journal-title":"Communications in Mathematical Physics"},{"doi-asserted-by":"crossref","unstructured":"Ikeda, K.: Multiple-valued stationary state and its instability of the transmitted light by a ring cavity system. In: Opt. Comm., pp. 257\u2013261 (1979)","key":"57_CR17","DOI":"10.1016\/0030-4018(79)90090-7"},{"issue":"4","key":"57_CR18","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10601-012-9126-y","volume":"17","author":"D. Ishii","year":"2012","unstructured":"Ishii, D., Goldsztejn, A., Jermann, C.: Interval-based projection method for under-constrained numerical systems. Constraints\u00a017(4), 432\u2013460 (2012)","journal-title":"Constraints"},{"issue":"5","key":"57_CR19","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1088\/0951-7715\/20\/5\/010","volume":"20","author":"T. Kapela","year":"2007","unstructured":"Kapela, T., Sim\u00f3, C.: Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight. Nonlinearity\u00a020(5), 1241 (2007)","journal-title":"Nonlinearity"},{"doi-asserted-by":"crossref","unstructured":"Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press (1995)","key":"57_CR20","DOI":"10.1017\/CBO9780511809187"},{"issue":"8","key":"57_CR21","doi-asserted-by":"publisher","first-page":"1242","DOI":"10.1007\/s11253-005-0055-4","volume":"56","author":"S.F. Kolyada","year":"2004","unstructured":"Kolyada, S.F.: Li-Yorke sensitivity and other concepts of chaos. Ukrainian Mathematical Journal\u00a056(8), 1242\u20131257 (2004)","journal-title":"Ukrainian Mathematical Journal"},{"unstructured":"Lhomme, O.: Consistency techniques for numeric CSPs. In: IJCAI, pp. 232\u2013238 (1993)","key":"57_CR22"},{"key":"57_CR23","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1038\/261459a0","volume":"261","author":"R.M. May","year":"1976","unstructured":"May, R.M.: Simple mathematical models with very complicated dynamics. Nature\u00a0261, 459\u2013467 (1976)","journal-title":"Nature"},{"unstructured":"Moore, R.: Interval Analysis. Prentice-Hall (1966)","key":"57_CR24"},{"doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press (1990)","key":"57_CR25","DOI":"10.1017\/CBO9780511526473"},{"unstructured":"Parsopoulos, K., Vrahatis, M.: Computing periodic orbits of nondifferentiable\/discontinuous mappings through particle swarm optimization. In: Proceedings of the 2003 IEEE Swarm Intelligence Symposium, SIS 2003, pp. 34\u201341 (2003)","key":"57_CR26"},{"issue":"2","key":"57_CR27","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1016\/j.cam.2009.12.034","volume":"234","author":"L. Sella","year":"2010","unstructured":"Sella, L., Collins, P.: Computation of symbolic dynamics for one-dimensional maps. J. Comput. Appl. Math.\u00a0234(2), 418\u2013436 (2010)","journal-title":"J. Comput. Appl. Math."},{"key":"57_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/978-3-540-74970-7_45","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"G. Trombettoni","year":"2007","unstructured":"Trombettoni, G., Chabert, G.: Constructive interval disjunction. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 635\u2013650. Springer, Heidelberg (2007)"},{"key":"57_CR29","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s002080010018","volume":"2","author":"W. Tucker","year":"2002","unstructured":"Tucker, W.: A rigorous ODE solver and Smale\u2019s 14th problem. Found. Comput. Math.\u00a02, 53\u2013117 (2002)","journal-title":"Found. Comput. Math."},{"key":"57_CR30","doi-asserted-by":"publisher","first-page":"1632","DOI":"10.1137\/090759975","volume":"8","author":"D. Wilczak","year":"2009","unstructured":"Wilczak, D., Zgliczynski, P.: Computer Assisted Proof of the Existence of Homoclinic Tangency for the H\u00e9non Map and for the Forced Damped Pendulum. SIAM Journal on Applied Dynamical Systems\u00a08, 1632\u20131663 (2009)","journal-title":"SIAM Journal on Applied Dynamical Systems"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40627-0_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T11:09:25Z","timestamp":1688468965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40627-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406263","9783642406270"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40627-0_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}