Site menu:



Programme de MSR2021

Programme de MSR 2021 en version pdf

Lundi 8 novembre 2021
9h30 - 10h00 Accueil des participants (Amphithéâtre Robert Faure)
10h00 - 10h15 Session ouverture
10h15 - 11h15 Exposé invité
  • Engineering Trustworthy Learning-Enabled Autonomous Systems
    Saddek Bensalem
11h15 - 11h30 Pause
11h30 - 12h30 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
12h30 - 14h00 Déjeuner
14h00 - 16h00 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
16h00 - 16h30 Pause
16h30 - 17h30 Exposé invité
  • Stability and Consensus in nonlinear Multi-Agent Systems via nonlinear Perron-Frobenius Theory
    Alessandro Giua
19h00 - 22h00 Dîner de Gala

Mardi 9 novembre 2021
9h30 - 10h30 Exposé invité
  • Réduction par ordre partiel des réseaux de Petri temporels
    Hanifa Boucheneb
10h30 - 11h Pause
11h - 12h30 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é
12h30 - 15h Déjeuner et/ou visite du Musée des arts et métiers
15h - 16h30 Session posters
  • Discussions et échanges devant les posters / démonstrateurs dans le couloir d’accès à l’amphithéâtre Paul Painlevé.
16h30 - 17h Pause
17h - 18h15 Exposé invité
  • Is there nothing as practical as a good theory?
    Chrsitian Fleck, Andrea Flexeder et Alexandre Wagner
18h15 - 18h30 Clôture