Programme des journées (version PDF)
Mercredi 16 novembre
- 09h30 - 10h30 : Accueil participants
- 10h30 - 11h00 : Ouverture du colloque
- 11h00 - 12h30 : Session "systèmes temporisés" -- modérateur : Armand Toguyeni
- Didier Lime, Claude Martinez and Olivier H. Roux. "Coercition temporelle de réseaux de Petri"
- Jean-Louis Boimond and Sébastien Lahaye. ""Sur la précision asymptotique des systèmes (min, +) linéaires continus"
- Pascale Marange, Jean-François Pétin, Antoine Manceaux and David Gouyon. ""Contribution à la reconfiguration des systèmes de production : ordonnancement par recherche d’atteignabilité"
- 13h00 - 14h30 : Pause déjeuner
- 14h30 - 15h30 : Orateur invité : Emmanuel Arbaretier. "Enjeux Industriels pour le Health Management System" (résumé) -- modérateur : Etienne Craye
- 15h30 - 16h00 : Pause café
- 16h00 - 18h00 : Session "Systèmes synchrones ou polychrones" -- modérateur : Eric Rutten
- Yue Ma, Thierry Gautier, Jean-Pierre Talpin and Huafeng Yu. "Modélisation compositionnelle d’architectures GALS dans un modèle de calcul polychrone"
- Pejman Attar and Frederic Boussinot. "Orchestration synchrone et au delà"
- Ilias Garnier, Christophe Aussagues, Vincent David and Guy Vidal-Naquet. "Sur le délai de séparabilité dans des systèmes synchrones"
- José Echeveste, Arshia Cont, JeanLouis Giavitto and Florent Jacquemard. "Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatique"
Jeudi 17 novembre
- 09h30 - 10h30 : Orateur invité : Nicolas Halbwachs. "Modélisation synchrone de systèmes complexes" (résumé) -- modérateur : Abdoulaye Gamatié
- 10h30 - 11h00 : Pause café
- 11h00 - 12h30 : Session "Systèmes à événements discrets" -- modérateur : Hervé Camus
- Gwenaël Delaval, Eric Rutten and Hervé Marchand. "Intégration de la synthèse de contrôleurs discrets dans un langage de programmation"
- Gregory Faraut, Laurent Piétrac and Eric Niel. "Identification des états équivalents dans l'approche modale"
- Simona Adriana Mihaita and Stéphane Mocanu. "Simulation à événements discrets en temps continu pour la commande orientée événements des systèmes stochastiques à commutation"
- 13h00 - 14h30 : Pause déjeuner
- 14h30 - 15h30 : Session "Systèmes temps réel et embarqués" -- modérateur : Olivier H. Roux
- Michaël Lauer, Frédéric Boniol, Jérôme Ermont and Claire Pagetti. "Analyse de latence et fraîcheur sur systèmes IMA"
- Christophe Fiter, Laurentiu Hetel, Wilfrid Perruquetti and Jean-Pierre Richard. "Échantillonnage dépendant de l'état pour les systèmes avec perturbations et retards"
- 15h30 - 16h00 : Pause café
- 16h00 - 17h00 : Session "Systèmes temps réel et embarqués" (suite) -- modérateur : Olivier H. Roux
- Ramla Saddem, Armand Abdoul Karim Toguyeni and Mocef Tagina. "Diagnostic des systèmes embarqués critiques : Application à la carte de commande du système de freinage d’un train
- Mokrani Hocine, Ameur-Boulifa Rabéa, Encrenaz-Tiphené Emmanuelle and Coudert Sophie. "Approche pour l’intégration du raffinement formel dans le processus de conception des SoC"
- 19h30 - : Diner de Gala au Couvent des Minimes - Alliance Lille
Vendredi 18 novembre
- 09h30 - 10h30 : Orateur invité : Jean-François Raskin. "Synthèse automatique à partir de spécifications écrites dans une extension temps-réel de LTL" (résumé) -- modératrice : Sophie Tison
- 10h30 - 11h00 : Pause café
- 11h00 - 11h30 : Session Modèles stochastiques" -- modérateur : Laurent Fribourg
- Benoît Barbot, Serge Haddad and Claudine Picaronny. "Echantillonnage préférentiel pour le model checking statistique"
-
Mohamed Boualem, Natalia Djellab and Djamil Aïssani. "Approche régénérative de la file d'attente M/G/1 avec rappels classiques et vacances exhaustives du serveur" - 11h30 - 11h45 : Clôture du colloque
- 11h45 - 14h00 : Déjeuner