Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Emmanuel Hainry Connect in order to contact the contributor
Submitted on : Thursday, November 5, 2009 - 1:33:46 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:15 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 1:20:15 PM


Files produced by the author(s)


  • HAL Id : inria-00429965, version 1



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



Record views


Files downloads