Dynamical systems: Stability and simulability

Mathematical Structures in Computer Science

Volumn 17, Issue 2, 2007, Pages 247-259

  Hoyrup, Mathieu ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER SIMULATION; STABILITY CRITERIA;

CONTINUOUS DYNAMICAL SYSTEMS; MATHEMATICAL STRUCTURES;

DYNAMICAL SYSTEMS;

EID: 42749085746     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S096012950700597X     Document Type: Article

References (10)

1. Alligood, K. T., Sauer, T.D. and Yorke, J. A (1996) Chaos: An Introduction to Dynamical Systems, Springer.
2. Asarin, E. and Bouajjani, A (2001) Perturbed Turing Machines and Hybrid Systems. LICS'2001.
3. Brattka, V. and Presser, G. (2003) Computability on subsets of metric spaces. Theoretical Computer Science 305 43-76.
4. Brattka, V. and Weihrauch, K (1999) Computability on subsets of Euclidean space I: Closed and compact subsets. Theoretical Computer Science 219 65-93.
5. Chow, S.N. and Palmer, K. J (1991) On the numerical computation of orbits of dynamical systems: the one-dimensional case. Dynamics and Differential Equations 3 361-380.
6. Collins, P (2005) Continuity and computability of reachable sets. Theoretical Computer Science 341.
7. Devaney, R (1989) An Introduction to Chaotic Dynamical Systems, Perseus Publishing Co. (HarperCollins).
8. Pour-El, M. and Richards, I (1989) Computability in Analysis and Physics, Springer-Verlag.
9. Rojas, C (2006) Computability and Information in Models of Randomness and Chaos (to appear).
10. Weihrauch, K (2000) Computable Analysis, An Introduction, Springer-Verlag.