MSR 2017

Programme de MSR2017

Mercredi 15 novembre 2017	Jeudi 16 novembre 2017	Vendredi 17 novembre 2017
	Programme complet MSR2017 en pdf
	Télécharger l'ensemble des papiers de MSR2017

Mercredi 15 novembre 2017
8h30 - 9h15	Accueil des participants
9h15 - 9h30	Session ouverture
9h30 - 10h30	Exposé invité Contribution to the Analysis of Discrete Event Systems Hervé Marchand
10h30 - 11h00	Pause
11h00 - 12h30	Session régulière 1 : Contrôle et supervision Démarche de conception sure de la supervision de la fonction conduite autonome Romain Cuer, Laurent Pietrac, Eric Niel, Saidou Diallo, Nicoleta Minoiu-Enache et Christophe Dang-Van-Nhan Invariance par retour d'état sur le demi-anneau max-plus Carolina Cardenas, Jean Jacques Loiseau et Claude Martinez Modèles Génériques en Réseaux de Petri Bien Formés pour le Contrôle Discret des Trains Autonomes Yuchen Xie, Manel Khlif Bouassida et Armand Toguyéni
12h30 - 14h00	Déjeuner
14h00 - 16h00	Session régulière 2 : Temporisé et Max-Plus Contribution à la déterminisation des automates max-plus Sébastien Lahaye, Aiwen Lai et Jan Komenda Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires Euriell Le Corronc, Alexandre Sahuguède et Yannick Pencolé Analyse des Réseaux de Petri Temporels Exécutés de Manière Synchrone Ibrahim Merzoug, Karen Godary-Dejean et David Andreu Évaluation de la robustesse d'un ordonnancement par Automates Temporisés Stochastiques Sara Himmiche, Pascale Marangé, Alexis Aubry, Marie Duflot et Jean-François Pétin
16h00 - 16h30	Pause
16h30 - 17h30	Exposé invité Modeling architectures and their properties in BIP Joseph Sifakis
17h30 - 21h00	Cocktail de bienvenue (Campus St-Charles)

Jeudi 16 novembre 2017
9h00 - 10h00	Exposé invité Réseaux de Petri discrets et continus : apports réciproques Serge Haddad
10h00 - 10h30	Pause
10h30 - 12h30	Session régulière 3 : Diagnostic Diagnostic de motifs de comportements dans les systèmes temporels Yannick Pencolé et Audine Subias Diagnostic et contrôle de la dégradation des systèmes probabilistes Nathalie Bertrand, Serge Haddad et Engel Lefaucheux Diagnosticabilité des Systèmes à Evènements Discrets : Une Nouvelle Variante de l'Approche Diagnostiqueur Abderraouf Boussif et Mohamed Ghazel Approche originale utilisant le Raisonnement à Partir de Cas pour le Diagnostic en Ligne des Systèmes Automatisés de Production Nourhène Ben Rabah, Ramla Saddem, Faten Ben Hmida, Véronique Carré-Ménétrier et Moncef Tagina
12h30 - 14h00	Déjeuner
14h00 - 16h00	Session invitée : ANR-PACS Parametric Analyses of Concurrent Systems Présentation globale de l'ANR-PACS Etienne André Model checking paramétré Etienne André Synthèse de contrôleurs temporisés paramétrés Olivier H. Roux Synthèse de paramètres probabilistes Benoit Delahaye
16h00 - 16h30	Pause
16h30 - 18h30	Session posters / démonstrateurs Organisée par le GT SED et le GT AFSEC TABS : Outil logiciel d'ordonnancement de la production basée sur les automates temporisés Rémi Pannequin, Pascale Marangé, Alexis Aubry et Jean-François Petin SEDMA - un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs Romain Pichard, Michel Combacau, Alexandre Philippot, Ramla Saddem et Bernard Riera MinMaxGDJS - Calcul dans le semi-anneau MinMax[[gamma,delta]] Mehdi Lhommeau, Laurent Hardouin et Bertrand Cottenceau Identification de systèmes réactifs (logiques) Jérémie Saives, Gregory Faraut et Jean-Jacques Lesage IMITATOR: vérification de systèmes temps-réel concurrents en présence d'incertitude Étienne André Modeling and Simulation of Air France Baggage-Handling System with Colored Petri Nets Dina H. Hafilah, Andi Cakravastia, Younsse Lafdail et Naly Rakoto-Ravalontsalama MaxplusPy : librairie Python de calcul dans l'algèbre max-plus et de manipulation d'automates à multiplicités Sébastien Lahaye Evaluation de performances des automates temporisés avec gardes en utilisant l'algèbre (Max,+) - Application aux systèmes de commande en réseau Ferhat Tamssaouet et Saïd Amari Démonstrateur ASSecIN: ligne industrielle virtuelle permettant l'évaluation de passerelle intelligente Thomas Toublanc, Sébastien Guillet, Florent Frizon De Lamotte et Pascal Berruet DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems Abderraouf Boussif et Mohamed Ghazel
20h00 - 23h00	Dîner de Gala : restaurant « Les Arcenaulx »

Vendredi 17 novembre 2017
9h00 - 10h00	Exposé invité Prolifération, différenciation, mort cellulaire… Comprendre le destin des cellules en modélisant leurs réseaux moléculaires Claudine Chaouiya
10h00 - 10h30	Pause
10h30 - 12h30	Session régulière 4 : Outils et applications Modélisation et évaluation de performances d'un réseau de bus basées sur les réseaux de Petri colorés et l'algèbre (max, +) Yassine Idel Mahjoub, Ahmed Nait-Sidi-Moh et El Houcine Chakir El-Alaoui Vérification formelle des programmes automates de la SNCF par model-checking Mohamed Niang, Alexandre Philippot, François Gellot, Raphael Coupat, Bernard Riera et Sébastien Lefebvre Un langage graphique pour la modélisation et l’analyse des systèmes réactifs Hamzat Olanrewaju Aliyu, Oumar Maïga et Mamadou Kaba Traoré DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser Abderraouf Boussif, Mohamed Ghazel et Kais Klai
12h30 – 12h45	Clôture
12h45 – 14h00	Déjeuner

Dates importantes

~~30 avril 2017~~ 15 mai 2017 :
soumission des résumés
~~14 mai 2017~~ 29 mai 2017 :
soumission des articles
~~13 juillet 2017~~ :
notification des acceptations
~~17 septembre 2017~~ 30 septembre 2017 :
versions finales
~~17 septembre 2017~~ 30 septembre 2017 :
soumission "poster/démonstration"
~~10 octobre 2017~~:
notification des acceptations papier "poster/démonstration"
~~20 octobre 2017~~:
versions finales papier "poster/démonstration"
15 - 17 novembre 2017 :
conférence MSR