Programme de MSR'13
Mercredi 13 novembre
- 09h30 - 10h30 : Accueil participants
- 10h30 - 11h00 : Ouverture du colloque MSR 2013
- 11h00 - 12h00 : Session "Modélisation"-- Modérateur:Loïc Hélouët
- Gilles Lasnier, Janette Cardoso, Claire Pagetti, Pierre Siron
Environnement de coopération de simulation pour la conception de systèmes cyber-physiques. - David Janin, Anne Dicky
Modélisation algébrique du diner des philosophes.
- Gilles Lasnier, Janette Cardoso, Claire Pagetti, Pierre Siron
- 12h00 - 14h00 : Pause déjeuner
- 14h - 15h00 : Orateur invité : Olivier H. Roux . Systèmes à événements discrets à paramètres temporels -- Modérateur: Thierry Jéron
- 15h00 - 16h00 : Session "Poster"
- 16h00 - 16h30 : Pause café
- 16h30 - 18h00 : Session "Vérification" -- Modératrice: Béatrice Bérard
- Rémi Delmas, Adrien Champion
Elimination de Quantificateurs: Extrapolation Efficace par Analyse Structurelle et Coeurs Insatisfiables. - Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stephane Duprat
Vérifier le comportement du code d'un système embarqué à partir de son modèle. - Yonglian Huang, Thomas Bourdeaud'Huy, Armand Toguyeni, Pierre-Alain Yvars
Approches incrémentales pour les réseaux de Petri temporisés fondées sur la programmation par contraintes.
- Rapide présentation des posters par les auteurs (détails sous : http://hal.inria.fr/MSR2013).
Jeudi 14 novembre
- 09h00 - 10h00 : Orateur invité : Manuel Silva . Un demi-siècle de la théorie des systèmes concurrents : Le paradigme des réseaux de Petri -- Modérateur: Hassane Alla
- 10h00 - 10h30 : Pause café
- 10h30- 12h00 : Session "Applications (Max,+)" -- Modérateur: Claude Jard
- Mehdi Lhommeau, Laurent Hardouin, Rafael Santos-Mendes
Sur la stabilisation de systèmes min-max-plus incertains. - Frederic Guegnard, Frederic Bousseau, Marc Bourcerie
Contributions à la résolution de problèmes à une machine avec fonctions temporelles de type exponentiel. - Jan Komenda, Sebastien Lahaye, Jean-Louis Boimond
Séquentialisation du comportement de réseaux de Petri temporisés. - 12h00 - 13h30 : Pause déjeuner
- 13h30 - 15h : Session "Analyse de Performances " -- Modérateur: Sébastrien Lahaye
- Aicha Bareche, Djamil Aïssani
Combinaison des méthodes de stabilité forte et d'estimation non paramétrique pour l'approximation du système d'attente G/G/1 par le système M/G/1. - Farah Ait Salaht, Hind Castel, Jean-Michel Fourneau, Nihal Pekergin
Une approche combinant bornes stochastiques, traces et histogrammes pour l'analyse de performance des réseau. - Mohamed Boualem, Mouloud Cherfaoui, Natalia Djellab, Djamil Aissani
Analyse des performances du système M/G/1 avec rappels et Bernoulli feedback. - 15h00 - 15h30 : Pause café
- 15h30 - 16h30 : Session "Supervision et contrôle de systèmes" -- Modérateur : Hervé Marchand
- Johan Girault, Jean-Jacques Loiseau, Olivier H. Roux
Synthèse en ligne de superviseur compositionnel pour flotte de robots mobiles. - Mengxuan Zhao, Gilles Privat, Eric Rutten, Hassane Alla
Synthèse de contrôleurs discrets pour l'Internet des objets et les environnements intelligents. - 18h00 -19h30 : Visite guidée du vieux Rennes
- 20h - : Diner de Gala au restaurant le 4B
Vendredi 15 novembre
- 09h00 - 10h00 : Orateur invité : Benoît Caillaud . Quelques défis en modélisation des systèmes hybrides. -- Modérateur : Laurent Fribourg
- 10h00 - 10h30 : Pause café
- 10h30-12h00 : Session "Diagnostic et monitoring" -- Modérateur : Hervé Marchand
- Salam Hajjar, Emil Dumitrescu, Eric Niel
Méthode de conception sûre de systèmes embarqués à base de COTS. - Baisi Liu, Mohamed Ghazel, Armand Toguyéni
Diagnosability of Timed Discrete Event Systems. - Patrice Bonhomme
Synthèse d’un observateur pour réseaux de Petri p-temporels partiellement observables. - 12h00 - 12h30 : Clôture de MSR 2013
- 12h30 - : Pause déjeuner (buffet)