Decidability and Undecidability in Dynamical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

Decidability and Undecidability in Dynamical Systems


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.
Fichier principal
Vignette du fichier
dynsys.pdf (191.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00429965 , version 1 (05-11-2009)


  • HAL Id : inria-00429965 , version 1


Emmanuel Hainry. Decidability and Undecidability in Dynamical Systems. [Research Report] 2009, pp.27. ⟨inria-00429965⟩
221 View
2961 Download


Gmail Facebook X LinkedIn More