Modélisation des Systèmes Réactifs (MSR)
8 novembre 20219 novembre 2021
- Paris Saint-Martin/Conté
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
8 novembre 20219 novembre 2021
- Paris Saint-Martin/Conté
Dans la même rubrique
- Accueil
- Agenda
- Medias-Cnam
- Vient de paraître
-
Expositions virtuelles
- L'abbé Grégoire, un héritage toujours vivant/
- Main tenant/
- La bibliothèque du Cnam, hier & aujourd'hui/
- Objets du Musée/
- Décalcomanie/
- Répare-moi si tu peux/
- Exploração/
- Le Piano oriental/
- 5 sens et 9e art/
- Surimpressions/
- Le Cnam : 70 ans d'engagement sur les territoires
- Détours verts : le futur des transports/
- Out of Home/
- The Shoe Must Go On/
- Simplement Afghanes/
- Exils syriens/
- Made in Cnam/
- Station 9e art/
- Itinéraires/
- Infinités plurielles/
- Histoires d'objets/
- Roms entre autres/
- La déportation des enfants juifs du 3e arrondissement
- Bibliothèques (SCD)
- Conservatoire numérique des Arts et Métiers (Cnum)
- Musée des Arts et Métiers