Soumission

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. C’est un lieu de rencontre à la fois pour les automaticiens et les informaticiens francophones afin de confronter les techniques et les problèmes abordés par les deux communautés. Ainsi, 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'application listés ci-dessous (liste non 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 bayésienne, 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, raisonnement logique...
• Analyse : vérification, évaluation (performances, sûreté de fonctionnement), test, frugalité...
• Commande : synthèse de contrôleur, supervision, surveillance, diagnostic...

Domaines d'application :

• Bio-informatique
• Circuits, systèmes sur puce
• Énergie, transport
• Industrie 4.0
• Robotique
• Santé
• Sécurité des systèmes
• Systèmes embarqués, systèmes cyber-physiques
• Systèmes industriels et industrie du commerce
• Systèmes temps-réel, systèmes mobiles
• Transition énergétique, environnement

Soumission article régulier

La soumission se fait en deux étapes selon le format disponible sur le site :
- un résumé d’au plus 500 mots - date limite le 24 mai 14 juin 2023,
- puis un article complet d’au plus 14 pages - date limite le 7 juin 5 juillet  2023.

Soumission "poster/démonstration"

Une session particulière aura pour objectif la présentation :
- de travaux en cours qui ne seraient pas encore suffisamment matures pour faire l'objet d'un article régulier du colloque (poster) ;
- de réalisations logicielles et/ou matérielles (démonstration).
La soumission se fera sous la forme d’un résumé d’au plus 2 pages - date limite le 11 octobre 13 octobre 2023. Les "posters/démonstrations" acceptés seront présentés brièvement lors d'une session spécifique et pourront être discutés tout au long du colloque.

Actes, format et procédure de soumisson

Les actes du colloque (articles réguliers ; titres et auteurs des "poster/démonstration") seront publiés dans l'archive ouverte HAL.

La langue officielle du colloque est le français mais les soumissions en anglais sont autorisées (les présentations devront se faire en français). 

Le format des soumissions à respecter (pour les résumés et les articles) est celui d'EasyChair : format LaTeX et format .docx (format de base également disponible sur cette page web).

Les soumissions sont à déposer sur la plateforme SciencesConf  via le site du colloque et dont voici quelques indications :

• bouton de connexion en haut à droite du site (vous devez avoir un compte sciencesconf pour soumettre, indications données ici pour en créer un)
• dans le menu Espace connecté / Mes dépôts cliquer sur "Déposer la communication" (que ce soit un résumé ou un article).
• sélectionner le type de la soumission parmi [ Résumé article régulier // Article régulier // Résumé poster/démonstration ]
• sélectionner la.les thématique.s parmi celle.s proposée.s 
• indiquer au moins l'affiliation de l'auteur correspondant 
• ATTENTION, indiquer impérativement un auteur correspondant (colonne ACTIONS / icône crayon) afin de faciliter les échanges sur le dépôt

Une fois la "communication" déposée (résumé ou article), vous pourrez le modifier (voir Mes dépôts dans le menu à gauche) tant que le site de soumission est ouvert (voir dates limites). Suite à la soumission d'un Résumé article régulier, vous devrez refaire la procédure pour soumettre l'Article régulier correspondant. 

Version finale des articles réguliers : merci de refaire la procédure de soumission avant le mercredi 18 octobre 2023.

N'hésitez pas à nous contacter pour toute question : msr2023@sciencesconf.org.

Distinction du "meilleur article jeune chercheur.se"

Un article régulier parmi ceux acceptés se verra attribuer une distinction de "meilleur article jeune chercheur.se". L'auteur.rice principal.e de cet article devra être un.e jeune chercheur.se, c'est-à-dire doctorant.e ou ayant soutenu sa thèse il y a moins d'un an au moment de la tenue de MSR'23. 

--

Le comité de pilotage MSR'23 a l'honneur de décerner ce prix du meilleur article jeune chercheur à Arthur Clavière pour son article "SAM : un outil de vérification de propriétés d'atteignabilité sur des classifieurs neuronaux". 

Le comité de pilotage MSR'23 tient également à féliciter Daniel Martin Xavier pour la présentation orale en français de grande qualité de son article "Data-driven MPC applied to non-linear systems for real-time applications".

Félicitations à eux deux ! 

--