Constraint based computation of periodic orbits of chaotic dynamical systems

摘要: The chaos theory emerged at the end of 19th century, and it has given birth to a deep mathematical in 20th with strong practical impact (e.g., weather forecast, turbulence analysis). Periodic orbits play key role understanding chaotic systems. Their rigorous computation provides some insights on behavior system enables computer assisted proofs related properties topological entropy). In this paper, we show that (numerical) constraint programming framework very convenient efficient method for computing periodic dynamical systems: Indeed, flexibility CP modeling allows considering various models as well including additional constraints symmetry breaking constraints). Furthermore, richness different solving techniques (tunable local propagators, search strategies, etc.) leads highly computations. These strengths are illustrated by experimental results classical systems from literature.