
- Trois orateurs invités: Benoit caillaud, Olivier H. Roux et Manuel Silva. Les vidéos des présentations sont disponibles sous: http://videos.rennes.inria.fr/ConferenceMSR2013/indexMSR13.html
- Les PDF des présentations des articles acceptés et présentations invitées sont accessibles à la rubrique Programme
- La liste des Posters et des résumés est disponible sous : http://hal.inria.fr/MSR2013
Objectifs :
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 se tient à 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. MSR sollicte des contributions théoriques et les expériences pratiques dans les thèmes et domaines d'application listés ci-dessous. Cette liste n'est cependant pas exhaustive.
Thèmes :
- Modèles (qualitatifs et/ou quantitatifs) pour la spécification de comportement et/ou propriétés : automates, réseaux de Petri, Grafcet, algèbres de processus, équations différentielles, chaînes de Markov, Inférence bayesienne, files d'attente, algèbre maxplus, logique linéaire, logique temporelle, logique temporelle probabilisée et/ou temporisée, ...
- Aspects méthodologiques : composition, raffinement, orientation objet, approches multi-modèles, apprentissage séquentiel...
- Analyse : vérification, évaluation (performances, sûreté de fonctionnement), test...
- Commande : synthèse de contrôleur, supervision, surveillance.
Domaines d'application :
- Bio-informatique
- Circuits, systèmes sur puce
- Energie
- Industries du commerce
- Intelligence ambiante (internet des objets)
- Robotique
- Sécurité des systèmes
- Systèmes embarqués, enfouis
- Systèmes industriels
- Systèmes Temps-réel
- Systèmes mobiles
- Transports