Decidability and Undecidability in Dynamical Systems

Emmanuel Hainry 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : A computing system can be modelized in various ways: one being in analogy with transfer functions, this is a function that associates to an input and optionally some internal states, an output ; another being focused on the behaviour of the system, that is describing the sequence of states the system will follow to get from this input to produce the output. This second kind of system can be defined by dynamical systems. They indeed describe the ``local'' behaviour of a system by associating a configuration of the system to the next configuration. It is obviously interesting to get an idea of the ``global'' behaviour of such a dynamical system. The questions that it raises can be for example related to the reachability of a certain configuration or set of configurations or to the computation of the points that will be visited infinitely often. Those questions are unfortunately very complex: they are in most cases undecidable. This article will describe the fundamental problems on dynamical systems and exhibit some results on decidability and undecidability in various kinds of dynamical systems.
Type de document :
[Research Report] 2009, pp.27
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
Contributeur : Emmanuel Hainry <>
Soumis le : jeudi 5 novembre 2009 - 13:33:46
Dernière modification le : vendredi 9 février 2018 - 10:48:03
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:20:15


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00429965, version 1



Emmanuel Hainry. Decidability and Undecidability in Dynamical Systems. [Research Report] 2009, pp.27. 〈inria-00429965〉



Consultations de la notice


Téléchargements de fichiers