14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23)
LAAS-CNRS, Toulouse (France) - Du 22 au 24 novembre 2023

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 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

Si vous souhaitez suivre l'actualité de MSR'23 (noms des orateurs invités, mise à jour des informations, actualités touristiques...), n'hésitez pas à indiquer votre mail via ce formulaire :

https://sondages.laas.fr/index.php/599113?lang=fr

24 mai 14 juin :
soumission des résumés

7 juin 5 juillet :
soumission des articles

27 septembre :
notification des acceptations des articles

11 octobre 13 octobre :
soumission des "poster/démonstration"

18 octobre :
versions finales des articles
  & notification des acceptations des "poster/démonstration"

22-24 novembre :
conférence MSR

msr2023@sciencesconf.org

(photos du bandeau)