Programme

mardi 18 novembre 2025

Heures événement
19:00 - 21:00 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.
 

mercredi 19 novembre 2025

Heures événement
09:00 - 09:30 Accueil - Café  
09:30 - 10:00 Ouverture - Janan Zaytoon, Alexandre Philippot et Leonardo Brenner
 
10:00 - 12:00 Modélisation des systèmes réactifs  
10:00 - 10:30 › Comment choisir son outil d'analyse de systèmes à événements discrets ? - Pascal Andre, Aurélien Pageot, Orlann Cailleau, Charbel Bedran
main file
10:30 - 11:00 › 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
main file
11:00 - 11:30 › Spécification de la synchronisation des jumeaux numériques à l'aide d'automates temporisés et stochastiques - Pascale Marange, William Derigent
main file
11:30 - 12:00 › Filtre logique et Théorie du Contrôle Supervisé - Dimitri Renard, David Annebicque, Ramla Saddem, Bernard Riera
main file
12:00 - 13:30 Déjeuner  
13:30 - 14:30 Plénière 1 - Kamel Barkaoui  
14:30 - 16:00 Modélisation des systèmes réactifs  
14:30 - 15:00 › Estimation d'état pour les réseaux de Petri synchronisés temporisés labellisés - Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri LEFEBVRE
main file
15:00 - 15:30 › Méthode active pour l'identification de réseaux de Petri saufs - Manon Le Moigne, Rémi Parrot, Olivier Roux
main file
15:30 - 16:00 › 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
main file
16:00 - 16:30 Pause café  
16:30 - 17:30 Plénière 2 - Euriell Le Corronc  

jeudi 20 novembre 2025

Heures événement
09:00 - 09:30 Accueil - café  
09:30 - 11:00 Modélisation des systèmes réactifs  
09:30 - 10:00 › 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
main file
10:00 - 10:30 › É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
main file
10:30 - 11:00 › Towards an efficient conversion of Petri nets into Higher Dimensional Automata - Philipp Schlehuber-Caissier, Timothée Fragnaud, Amazigh Amrane, Hugo Bazille
main file
11:00 - 11:30 Pause café  
11:30 - 12:30 Plénière 3 - Dimitri Lefebvre  
12:30 - 13:30 Déjeuner  
13:30 - 15:30 Posters & démonstrations
 
15:30 - 16:00 Pause café  
16:00 - 17:00 Départ visite et gala - Départ visite et gala  
17:00 - 18:30 Visite - Visite  
18:30 - 19:00 Animation-Cocktail - Animation-Cocktail  
19:00 - 23:30 Repas de Gala  

vendredi 21 novembre 2025

Heures événement
08:30 - 09:00 Accueil - Café  
09:00 - 10:30 Modélisation des systèmes réactifs  
09:00 - 09:30 › Looking For All Solutions of a Set of Max-Atoms Solves the Max Atom Problem in Strongly Polynomial Time - Laurent TRUFFET
main file
09:30 - 10:00 › 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
main file
10:00 - 10:30 › Un DSL pour représenter et analyser des systèmes à événements discrets - Pascal Andre, Hugo LOCTEAU, Yasmina DALI YOUCEF, Erwan BOUSSE, Olivier CARDIN
main file
10:30 - 11:00 Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink  
11:00 - 12:00 Plénière 4 - Cristian Mahuela  
12:00 - 12:30 Clôture  
12:30 - 13:30 Déjeuner  
Chargement... Chargement...