img-logoInria img-logoFondationMetivierimg-logoFondationMetivierimg-logoSISCOMimg-logorennesMetropoleimg-logoGDRMacsimg-logorennesMetropoleimg-logoRegionBretagne

Modélisation des Systèmes Réactifs (MSR'13)

INRIA Rennes-Bretagne Atlantique - 13-15 novembre 2013

MSR'13 est un colloque en langue française qui se situe dans le cadre général de la modélisation, l'analyse et la commande des systèmes réactifs et temps réel. Plus particulièrement, il concerne les chercheurs et industriels intéressés par la conception d'applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR est un lieu de rencontre pour les automaticiens et les informaticiens, afin de confronter les techniques et les problèmes abordés par les deux communautés. Ainsi, le colloque MSR a pour rôle d'affirmer l'apport des chercheurs francophones dans ces domaines, et de favoriser les échanges entre universitaires et industriels. MSR'13 s'est tenu à Rennes et fait suite à la série des colloques MSR'96 à Brest, MSR'99 à Cachan, MSR'01 à Toulouse, MSR'03 à Metz, MSR'05 à Autrans, MSR'07 à Lyon MSR'09 à Nantes et MSR'11 à Lille.

Invited talks

Systèmes à événements discrets à paramètres temporels

Olivier H. Roux (IRCCyN), Université de Nantes - Mercredi 13 novembre 2013

Un demi-siècle de la théorie des systèmes concurrents : le paradigme des réseaux de Petri

Manuel Silva (GISED), Université de Saragosse - Jeudi 14 novembre 2013

Quelques défis en modélisation des systèmes hybrides

Benoit Caillaud (INRIA), Vendredi 15 novembre 2013

img-flecheHaut