Colloque

Modélisation des Systèmes Réactifs (MSR)

8 novembre 2021
9 novembre 2021

  • Paris Saint-Martin/Conté
Amphi. Robert Faure
MSR est un colloque biennal 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.

LUNDI 8 NOVEMBRE

9h30 - accueil 

10h15 - Engineering Trustworthy Learning-Enabled Autonomous Systems - Saddek Bensalem

11h45/12h45 - Session régulière 1 :

  • Sur l'estimation d'état des systèmes max-plus - Guilherme Espindola-Winck, Laurent Hardouin and Mehdi Lhommeau
  • Détection et localisation de dérives temporelles à base d'observateurs (max,+) dans les Graphes d'Evénements Temporisés - Claire Paya, Euriell Le Corronc, Yannick Pencolé and Philippe Vialetelle

12h45/14h - Déjeuner

14h/16h - Session régulière 2 : 

  • Supervision d’un système de transport par AGVs bidirectionnels dans un contexte de défauts de capteurs - Samia Maza et Pascale Marange
  • Gestion de l'exécution de phases de production par interface PLI - Patrice Caulier
  • Toward Refinement of Communication Protocols by Model Transformation - Pascal André, Antoine Guérin, Anthony Rozen et Alexandre Gicquel
  • Nouvelle approche de diagnostic en ligne des Systèmes Automatisés de Productions - Ramla Saddem, Dylan Baptiste et Achraf Marrakh

16h : pause

16h30/17h30 - Exposé invité : Stability and Consensus in nonlinear Multi-Agent Systems via nonlinear Perron-Frobenius Theory - Alessandro Giua

MARDI 9 NOVEMBRE

10h/11h - Exposé invité : Réduction par ordre partiel des réseaux de Petri temporels - Hanifa Boucheneb

11h - pause

11h30/13h - Session régulière 3 :

  • Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés - Rémi Parrot, Mikaël Briday et Olivier H. Roux
  • Synthèse de traces temporisées à cout optimal pour l'ordonnancement de systèmes embarqués intermittents - Antoine Bernabeu, Mikaël Briday, Jean-Luc Béchennec, Sebastien Faucou et Olivier H. Roux
  • Signature de motifs d’événements temporels dans des réseaux de Petri temporels : une caractérisation formelle Camille Coquand, Audine Subias et Yannick Pencolé

13h/14h30 : déjeuner

14h30/16h - Session posters : Discussions et échanges devant les posters / démonstrateurs 

16h - pause

16h30/17h45 - Exposé invité : Is there nothing as practical as a good theory? Christian Fleck, Andrea Flexeder et Alexandre Wagner

17h45/18h : clôture