The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Les systèmes dynamiques décrivent un processus (trajectoire, phénomène
naturel, calcul) par l'espace sur lequel il se produit, sa dynamique et
son point initial. Cette description est suffisante pour définir toute
l'évolution du système mais ne donne guère d'idée sur l'ensemble de la
trajectoire du système, et il est crucial pour certains systèmes
d'assurer des propriétés sur cette trajectoire (par exemple, la comète
repassera infiniment souvent par un point donné, ou la Terre et la Lune
ne se heurteront jamais ou encore la machine de Turing s'arr-bête).-A
Nous définirons quelques problèmes importants sur les systèmes
linéaires : atteignabilité point à point, atteignabilité d'un
hyperplan, omega-limite. Nous montrerons que ces problèmes qui sont
dans le cas général (et m-bême dans des cas simples) ind-Aécidables
deviennent décidables si l'on considère des systèmes dynamiques
linéaires.