Colloque Modélisation des systèmes réactifs (MSR'23)

URL: 
https://msr2023.sciencesconf.org/
Date: 
Wednesday, 22 November, 2023 - 00:00 to Friday, 24 November, 2023 - 23:30


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

photos_toulouse

MSR est un colloque en langue française qui se tient tous les deux ans depuis 1999 (la dernière édition était à Paris en novembre 2021). Il traite de la modélisation, de l'analyse et de la commande des systèmes réactifs et temps réel. Plus particulièrement, ce colloque 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 ainsi 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, également pour 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 ci-dessous.

> Soumissions et inscriptions sur le site du colloque MSR'23.

Éditions précédentes : MSR 2019 (Angers) et MSR 2021 (Paris)

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
  • Commande : synthèse de contrôleur, supervision, surveillance, diagnostic

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

Comité de pilotage :
- Isabel Demongodin, Univ. Marseille, & LIS
- Laurent Fribourg, CNRS & LSV
- Sébastien Lahaye, Univ. Angers & LARIS
- Pascale Marangé, Univ. Lorraine & CRAN
- Hervé Marchand, INRIA Rennes
- Olivier H. Roux, Ecole Centrale de Nantes & LS2N

Comité d’organisation :
- Silvano Dal Zilio, CNRS & LAAS-CNRS (co-président)
- Euriell Le Corronc, Univ. Toulouse 3 & LAAS-CNRS (présidente)
- Yannick Pencolé, CNRS & LAAS-CNRS (co-président)
- Pauline Ribot, Univ. Toulouse 3 & LAAS-CNRS
- Audine Subias, INSA Toulouse & LAAS-CNRS (co-présidente)