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/