CONTACTS | MENTIONS LÉGALES
DATES IMPORTANTES
15 mai 2009
Echéance pour la pré-soumission des résumés

24 mai 2009
Echéance pour le dépot des articles

1 juillet 2009
Notification des articles acceptés

7 septembre 2009
Echéance pour les pre-proceedings

16-18 novembre 2009
Conférence

PARTENAIRES




Les articles acceptés seront publiés dans un numéro spécial du journal JESA (http://jesa.revuesonline.com/).
De plus, une sélection des meilleures contributions sera invitée à une soumission dans un journal international en anglais.

Dans l'onglet "Programme" vous trouverez certaines présentations disponibles en téléchargement.



MSR 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 où les automaticiens et les informaticiens se rassemblent pour 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'09 se tient à Nantes et fait suite à la série des colloques MSR'96 à Brest, MSR'99 à Cachan, MSR'01 à Toulouse, MSR'03 à Metz, MSR'05 à Autrans et MSR'07 à Lyon. Les contributions sont les bienvenues dans les thèmes et domaines d'application suivants, qui ne sont pas pour autant exhaustifs.


  • 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, files d'attente, algèbre max-plus, logique linéaire, logique temporelle, logique temporelle probabilisée et/ou temporisée, ...
  • Aspects méthodologiques : composition, raffinement, orientation objet, approches multi-modèles...
  • Analyse : vérification, évaluation (performances, sûreté de fonctionnement), test...
  • Commande : synthèse de contrôleur, supervision, surveillance.
  • Systèmes industriels
  • Systèmes Temps-réel
  • Systèmes embarqués, enfouis
  • Robotique
  • Systèmes mobiles
  • Energie
  • Circuits, systèmes sur puce
  • Bio-informatique