09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:00 (30min)
9:00 - 9:30 (30min)
Accueil - Café
›9:30 (30min)
9:30 - 10:00 (30min)
Ouverture
Janan Zaytoon, Alexandre Philippot et Leonardo Brenner
https://msr2025.sciencesconf.org/data/program/Jour_1_MSR_2025.pdf›10:00 (2h)
10:00 - 12:00 (2h)
Modélisation des systèmes réactifs
› Comment choisir son outil d'analyse de systèmes à événements discrets ?
- Pascal Andre, Aurélien Pageot, Orlann Cailleau, Charbel Bedran
10:00-10:30 (30min)
› De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3)
- Mathieu Roisin, Dimitri Renard, David Annebicque, Pierre-Alain Yvars, Bernard Riera
10:30-11:00 (30min)
› Spécification de la synchronisation des jumeaux numériques à l'aide d'automates temporisés et stochastiques
- Pascale Marange, William Derigent
11:00-11:30 (30min)
› Filtre logique et Théorie du Contrôle Supervisé
- Dimitri Renard, David Annebicque, Ramla Saddem, Bernard Riera
11:30-12:00 (30min)
›12:00 (1h30)
12:00 - 13:30 (1h30)
Déjeuner
›13:30 (1h)
13:30 - 14:30 (1h)
Plénière 1 - Kamel Barkaoui
›14:30 (1h30)
14:30 - 16:00 (1h30)
Modélisation des systèmes réactifs
› Estimation d'état pour les réseaux de Petri synchronisés temporisés labellisés
- Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri LEFEBVRE
14:30-15:00 (30min)
› Méthode active pour l'identification de réseaux de Petri saufs
- Manon Le Moigne, Rémi Parrot, Olivier Roux
15:00-15:30 (30min)
› Pronostic en ligne des fautes des Systèmes Industriels modélisés par Réseaux de Petri Etiquetés
- Armand Toguyeni, Braian Igreja de Freitas, João Carlos Dos Santos Basílio
15:30-16:00 (30min)
›16:00 (30min)
16:00 - 16:30 (30min)
Pause café
›16:30 (1h)
16:30 - 17:30 (1h)
Plénière 2 - Euriell Le Corronc
