Programme

Semaine Mar. 18 Mer. 19 Jeu. 20 Ven. 21 Liste

	Mar. 18	Mer. 19	Jeu. 20	Ven. 21
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	Soirée de dissémination du projet EcoFertis - Soirée d'accueil 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	Accueil - Café 9:00 - 9:30 (30min) Accueil - Café Ouverture 9:30 - 10:00 (30min) Ouverture Janan Zaytoon, Alexandre Philippot et Leonardo Brenner https://msr2025.sciencesconf.org/data/program/Jour_1_MSR_2025.pdf Modélisation des systèmes réactifs 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) Déjeuner 12:00 - 13:30 (1h30) Déjeuner Plénière 1 - Kamel Barkaoui 13:30 - 14:30 (1h) Plénière 1 - Kamel Barkaoui Modélisation des systèmes réactifs 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) Pause café 16:00 - 16:30 (30min) Pause café Plénière 2 - Euriell Le Corronc 16:30 - 17:30 (1h) Plénière 2 - Euriell Le Corronc	Accueil - café 9:00 - 9:30 (30min) Accueil - café Modélisation des systèmes réactifs 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) Pause café 11:00 - 11:30 (30min) Pause café Plénière 3 - Dimitri Lefebvre 11:30 - 12:30 (1h) Plénière 3 - Dimitri Lefebvre Déjeuner 12:30 - 13:30 (1h) Déjeuner Posters & démonstrations 13:30 - 15:30 (2h) Posters & démonstrations https://msr2025.sciencesconf.org/data/program/PostersDemos.pdf Pause café 15:30 - 16:00 (30min) Pause café Départ visite et gala 16:00 - 17:00 (1h) Départ visite et gala Départ visite et gala Visite 17:00 - 18:30 (1h30) Visite Visite Animation-Cocktail 18:30 - 19:00 (30min) Animation-Cocktail Animation-Cocktail Repas de Gala 19:00 - 23:30 (4h30) Repas de Gala	Accueil - Café 8:30 - 9:00 (30min) Accueil - Café Modélisation des systèmes réactifs 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) Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink 10:30 - 11:00 (30min) Mathworks : Modélisation et commande des systèmes complexes multidomaines avec MATLAB/Simulink Plénière 4 - Cristian Mahuela 11:00 - 12:00 (1h) Plénière 4 - Cristian Mahuela Clôture 12:00 - 12:30 (30min) Clôture Déjeuner 12:30 - 13:30 (1h) Déjeuner

Flux RSS | Vie privée | Accessibilité