Skip to Main content Skip to Navigation
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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00202674
Contributor : Emmanuel Hainry <>
Submitted on : Wednesday, April 16, 2008 - 3:53:48 PM
Last modification on : Thursday, March 5, 2020 - 11:02:12 AM
Long-term archiving on: : Friday, November 25, 2016 - 9:21:29 PM

Files

dynsys_hal.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

318

Files downloads

291