|
Participants
- IRCCyN : Franck Cassez, Guillaume Gardey, Didier Lime, Olivier Roux, Olivier-Henri Roux
- LSV : Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, Thierry Cachat, Stéphane Demri
- VERIMAG : Karine Altisen, Thao Dang, Stavros Tripakis
Programme de la journée
La réunion a lieu en salle C321/C323 (bâtiment Cournot). Vous pouvez venir au LSV en arrivant.La journée donnera largement la place à la discussion. Nous commencerons par une présentation assez informelle des thèmes de recherche des différentes équipes (bien évidemment, il peut y avoir plusieurs "équipes" par labo...). D'autres part, il y aura les exposés scientifiques suivants :
- contrôle temporisé : intro, outils... (Karine)
- observation et diagnostic (Stavros)
- contrôle avec optimisation de coûts : présentation du problème (Franck)
- optimisation, optimisation en moyenne (Patricia)
- Thao : synthèse pour AH (overview, outils, etc)
- Franck : problèmes de contrôle pour AT et AH
- François : logique Lν et compositionnalité
- Patricia : contrôle et observation partielle
Comment accéder à l'ENS Cachan puis au LSV
Pour les grenoblois : à Gare de Lyon, prendre le RER A en direction de Cergy/Poissy/St Germain-en-Laye, descendre à Chatelet/Les Halles puis prendre le RER B (il faut changer de quai !) en direction de Robinson/Saint-Rémy-Lès-Chevreuse (faire attention à ce que le train s'arrête bien à Bagneux), descendre à Bagneux et suivre le plan de gauche puis le plan de droite :
|
|
Pour les nantais : à Montparnasse, prendre le métro 6 en direction de Nation, descendre à Denfert-Rochereau puis prendre le RER B en direction de Robinson/Saint-Rémy-Lès-Chevreuse (faire attention à ce que le train s'arrête bien à Bagneux), descendre à Bagneux et suivre le plan de gauche puis le plan de droite ci-dessus.
Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.
