LSV Seminar

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.

Past Seminars

Systèmes dynamiques linéaires : décidabilité de problèmes de sécurité

Visit website for this news | Export event in iCalendar format

Date
Tuesday, May 20 2008 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Emmanuel Hainry (LORIA)

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.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars