A Survey on Continuous Time Computations

Olivier Bournez (1) , Manuel Campagnolo (2, 3)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 IST - Instituto Superior Técnico, Universidade Técnica de Lisboa
3 SQIG - Security and Quantum Information Group

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature.

Domaines: Complexité [cs.CC]

Olivier Bournez, Manuel Campagnolo. A Survey on Continuous Time Computations. New Computational Paradigms. Changing Conceptions of What is Computable, Springer, pp.383-423, 2008. ⟨hal-00760976⟩