Colloque Francophone Sur la
Modélisation des Systèmes Réactifs 13-15 novembre 2013, Rennes
http://msr2013.inria.fr/
Modélisation des Systèmes Réactifs
Un colloque (né en 1996 à Brest), dédié à la modélisation, l'analyse et la commande des systèmes réactifs temps réel.
Communautés : automaticiens et informaticiens intéressés par conception sûre d'applications basées sur des systèmes de type continu, discret ou hybride
Rôle : affirmer l'apport des chercheurs francophones dans ces domaines et favoriser les échanges entre universitaires et industriels
Domaines : circuits, robotique, bio-info, sécurité des systèmes, systèmes embarqués, systèmes industriels, systèmes mobiles, intelligence ambiante (internet des objets), industries du commerce, transports...
Qu’est-ce que MSR?
Modélisation des Systèmes Réactifs
Comités MSR'13 Comité de pilotage : Hassane Alla, Béatrice Bérard, Jean-Louis Boimond,
Laurent Fribourg, Hervé Marchand, Olivier H. Roux
Comité de programme (Loïc Hélouët & Hervé Marchand) : Jean-Philippe Babau, Kamel Barkaoui, Nathalie Bertrand, Ahmed Bouajjani, Patricia Bouyer, Etienne Craye, José Cury, Isabel Demongodin, Alexandre Donzé, Yliès Falcone, Jean-Marc Faure, Abdoulaye Gamatié, Stephane Gaubert, Marie-Claude Gaudel, Alain Girault, Alessandro Giua, Serge Haddad, Laurent Hardouin, Claude Jard, Jacques Julliand, Jan Komenda, Stéphane Lafortune, Jérome Leroux, Jean-Jacques Lesage, Thierry Massart, Patrice Moreaux, Eric Niel, Jean-François Pétin, Sophie Pinchinat, Marc Pouzet, Jean-Francois Raskin, Laurie Ricker, Eric Rutten, John Thistle, Laurent Truffet, Francois Vernadat, Eric Zamaï, Janan Zaytoon.
Comité d'organisation :
Paulin Fournier
Laurence Dinh
Hervé Marchand
Loïc Hélouët
Élisabeth Lebret
Lydie Mabil
Modélisation des Systèmes Réactifs
Soumissions/Acceptations q Nombre d’articles soumis : 32 q Nombre d’articles acceptés : 16 (50%) q Éditions passées :
MS R '96 (Brest)51
MS R '99 (C achan)
MS R '01 (Toulouse)
MS R '03 (Metz)
MS R '05 (G renoble)
MS R '07 (L yon, 17/38)
MS R '09 (Nantes , 24/44)
MS R '11 (L ille, 16/39)
0 10 20 30 40 50 60
Taux d'acceptation
Editio
ns
Sélection des meilleurs papiers
=> DEDS
M e i l l e u r p a p i e r jeune chercheur
Actes : JESA
Modélisation des Systèmes Réactifs
Sessions Conférenciers invités
Olivier H. Roux : SED à paramètres temporels
Manuel Silva : Demi-siècle de la théorie des systèmes concurrents : Le paradigme des réseaux de Petri
Benoît Caillaud : Quelques défis en modélisation des systèmes hybrides
6 session régulières
q Modélisation q Vérification q Applications (Max, +) q Analyse de performances q Supervision et Contrôle q Diagnostic et Monitoring
(9 Auto / 7 Info)
Modélisation des Systèmes Réactifs
Posters
q Permettre à de jeunes doctorants de présenter leurs travaux (préliminaires) dans le cadre d’une conférence.
q 13 Posters q Présentation succincte de chaque poster (Mercredi 15h-16h)
q Présentation: Hall d’accueil durant les pauses q Résumé des posters (papiers courts)
http://hal.inria.fr/MSR2013
Modélisation des Systèmes Réactifs
Où ?
Déjeuners
Posters et
Pauses
Conférence
Modélisation des Systèmes Réactifs
Visite du vieux Rennes (Jeudi 18h00)
Modélisation des Systèmes Réactifs
Réception (Jeudi 20h)
Restaurant Le 4B 4 Place de Bretagne
Modélisation des Systèmes Réactifs
Partenaires
Modélisation des Systèmes Réactifs
Excellentes journées à MSR’13
Belles éclaircies 6°C - 12°C
Variable
5°C - 13°C 7°C - 11°C
Mercredi 13 Jeudi 14 Vendredi 15
Belles éclaircies
Modélisation des Systèmes Réactifs
http://msr2013.inria.fr/