Appel à Soumission
MSR est un colloque en langue française qui traite de la modélisation, de l'analyse et de la commande des systèmes réactifs et temps réel. Il concerne plus particulièrement 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 sollicite des contributions théoriques et des expériences pratiques dans les thèmes et domaines d'applications suivants, sans que cette liste ne soit exhaustive:
Thèmes :
- Modèles (qualitatifs et/ou quantitatifs) pour la spécification de comportements 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
- Systèmes embarqués, systèmes cyber-physiques
- Systèmes temps-réel, systèmes mobiles
- Robotique
- Sécurité des systèmes
- Systèmes industriels et industrie du commerce
- Énergie
- Transport
Soumission des articles :
La langue officielle est le français, mais les soumissions en anglais sont autorisées.
MSR2021 invite à soumettre des articles de recherche ou d'applications via la plateforme Easychair. La soumission se fera en deux étapes : un résumé d'au plus 500 mots (date limite 17 Mai 2021) puis la soumission d'un papier complet d'au plus 14 pages (date limite 31 Mai 2021). Les soumissions doivent être préparées en respectant le format Easychair.
Les actes du colloque seront publiés dans l'archive ouverte HAL.
Une sélection des meilleures contributions sera invitée à une soumission étendue et en anglais dans le journal Discrete Event Dynamic Systems.
Soumission des posters/démonstrations de logiciels :
Nous organiserons lors de MSR2021 une session "poster/démonstration". L'objectif de cette session est de permettre la présentation de travaux qui ne seraient pas encore suffisamment matures pour faire l'objet d'une communication sous la forme d'un papier régulier du colloque. Elle s'adresse principalement aux jeunes doctorants. Les posters/démonstrations acceptés seront présentés brièvement lors de cette session plénière, et pourront être discutés tout au long du colloque.
Pour les posters/démonstrations, un résumé d'une ou deux pages (date limite 4 Octobre 2021) en format Easychair devra être soumis sur le site de Easychair. Ces soumissions seront validées par le comité de programme. En cas d'acceptation, le résumé sera inclus dans les actes du colloque.
Distinction du meilleur article jeune chercheur(e) :
Un article parmi ceux retenus se verra attribuer une distinction de "meilleur article jeune chercheur(e)". L'auteur principal de cet article devra être un(e) jeune chercheur(e), c'est-à-dire, doctorant(e) ou ayant soutenu sa thèse il y a moins de deux ans au moment de la tenue de MSR 2021. Le (La) Lauréat(e) recevra une dotation de 500 (500 €) euros.
