Reachability in linear dynamical systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Reachability in linear dynamical systems

Résumé

Dynamical systems allow to modelize various phenomena or processes by only describing their local behaviour. The study of dynamical systems aims at knowing more on the global behaviour. Checking the reachability of a point is a fundamental problem. In this document, using results from the algebraic numbers theory such as Gelfond-Schneider's theorem, 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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
dynsys.pdf (141.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00202674 , version 1 (07-01-2008)
inria-00202674 , version 2 (16-04-2008)

Identifiants

  • HAL Id : inria-00202674 , version 1

Citer

Emmanuel Hainry. Reachability in linear dynamical systems. [Research Report] 2008. ⟨inria-00202674v1⟩
100 Consultations
463 Téléchargements

Partager

Gmail Facebook X LinkedIn More