08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00
19:00 - 21:00 (2h)
Soirée de dissémination du projet EcoFertis - Soirée d'accueil
Innovative processing of manures and biowastes of Eco-friendly Fertilizers. Innovact, 28 Rue Thiers, 51100 Reims
À la veille de la conférence MSR, rejoignez-nous pour une soirée d’échanges autour du projet EcoFertis, dédié à l’innovation durable et à l’optimisation des
fertilisants écologiques.
https://msr2025.sciencesconf.org/data/program/flyer_EcoFertiS_2025.pdf 9:00 - 9:30 (30min)
Accueil - Café
9:30 - 10:00 (30min)
Ouverture
Janan Zaytoon, Alexandre Philippot et Leonardo Brenner
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 - 13:30 (1h30)
Déjeuner
13:30 - 14:30 (1h)
Plénière 1 - Kamel Barkaoui
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 - 16:30 (30min)
Pause café
16:30 - 17:30 (1h)
Plénière 2 - Euriell Le Corronc
9:00 - 9:30 (30min)
Accueil - café
9:30 - 11:00 (1h30)
Modélisation des systèmes réactifs
› Modélisation du transport de fret multimodal par Réseau de Petri de Haut Niveau, pour la résilience des ports maritimes Européens
- Armand Toguyeni, Guilherme Espindola Winck, Benoit Trouillet
09:30-10:00 (30min)
› Évaluation de stratégies de régénération dans un modèle de vente de services : une approche par réseaux de Petri à coût
- Didier Lime, Pascale Marange, Rémi Parrot, Olivier Roux
10:00-10:30 (30min)
› Towards an efficient conversion of Petri nets into Higher Dimensional Automata
- Philipp Schlehuber-Caissier, Timothée Fragnaud, Amazigh Amrane, Hugo Bazille
10:30-11:00 (30min)
11:00 - 11:30 (30min)
Pause café
11:30 - 12:30 (1h)
Plénière 3 - Dimitri Lefebvre
12:30 - 13:30 (1h)
Déjeuner
13:30 - 15:30 (2h)
Posters & démonstrations
15:30 - 16:00 (30min)
Pause café
16:00 - 17:00 (1h)
Départ visite et gala
Départ visite et gala
17:00 - 18:30 (1h30)
Visite
Visite
18:30 - 19:00 (30min)
Animation-Cocktail
Animation-Cocktail
19:00 - 23:30 (4h30)
Repas de Gala
8:30 - 9:00 (30min)
Accueil - Café
9:00 - 10:30 (1h30)
Modélisation des systèmes réactifs
› Looking For All Solutions of a Set of Max-Atoms Solves the Max Atom Problem in Strongly Polynomial Time
- Laurent TRUFFET
09:00-09:30 (30min)
› Application de la déquantification de Maslov pour l'étude des systèmes à évènements discrets
- Guilherme Espindola-Winck, Laurent Hardouin, Mehdi Lhommeau, Benoit Trouillet
09:30-10:00 (30min)
› Un DSL pour représenter et analyser des systèmes à événements discrets
- Pascal Andre, Hugo LOCTEAU, Yasmina DALI YOUCEF, Erwan BOUSSE, Olivier CARDIN
10:00-10:30 (30min)
10:30 - 11:00 (30min)
Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink
11:00 - 12:00 (1h)
Plénière 4 - Cristian Mahuela
12:00 - 12:30 (30min)
Clôture
12:30 - 13:30 (1h)
Déjeuner
