MSR 2019 – LARIS – Angers, France, du 13 au 15 novembre 2019

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 présente 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

Les membres de RUFEREQ peuvent trouver de l’intérêt à ce colloque.