|
Participants
- IRCCyN : Franck Cassez, Guillaume Gardey, Julien d'Orso, Olivier-H. Roux
- LSV : Houda Bel Mokadem, Patricia Bouyer, Fabrice Chevalier, François Laroussinie, Nicolas Markey, Pierre-Alain Reynier, Stéphane Riedweg
- VERIMAG : Thao Dang, Stavros Tripakis
- Extérieurs : Thierry Cachat
Programme de la journée
lundi 20 septembre 2004
10h15 - 12h15- Julien d'Orso (IRCCyN) : Comparaison de différents modèles de jeux temporisés et des algorithmes de contrôle
- Fabrice Chevalier (LSV) : Observation de systèmes temporisés
13h45 - 17h
- Thao Dang (Verimag) : Synthèse de contrôleurs hybrides - Application à la commande de moteur
- Stavros Tripakis (Verimag) : Observation et contrôle répartis
- Discussion, projet CORTOS
mardi 21 septembre 2004
9h15 - 12h15- Nicolas Markey (LSV) : Symbolic model checking for simply-timed systems
- François Laroussinie et Patricia Bouyer (LSV) : Logique modale pour le contrôle temporisé
- Stavros Tripakis (Verimag) : Test temporisé
- Discussion, projet CORTOS
Comment accéder à Vérimag ?
Suivez le lien !Dernières modifications effectuées le 22 novembre 2006 par Patricia Bouyer.
