Skip to Main content Skip to Navigation
New interface
Conference papers

Reachability in linear dynamical systems

Emmanuel Hainry 1 
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Dynamical systems allow to modelize various phenomena or processes by only describing their local behaviour. It is however useful to understand the behaviour in a more global way. Checking the reachability of a point for example is a fundamental problem. In this document we will show that this problem that is undecidable in the general case is in fact decidable for a natural class of continuous-time dynamical systems: linear systems. For this, we will use results from the algebraic numbers theory such as Gelfond-Schneider's theorem.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Emmanuel Hainry Connect in order to contact the contributor
Submitted on : Wednesday, April 16, 2008 - 3:53:48 PM
Last modification on : Wednesday, February 2, 2022 - 3:52:50 PM
Long-term archiving on: : Friday, November 25, 2016 - 9:21:29 PM


Files produced by the author(s)




Emmanuel Hainry. Reachability in linear dynamical systems. Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩. ⟨inria-00202674v2⟩



Record views


Files downloads