Programme
| 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 |
|
|
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 |
|
|
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 |
|
|
11:30 - 12:00 |
› Filtre logique et Théorie du Contrôle Supervisé - Dimitri Renard, David Annebicque, Ramla Saddem, Bernard Riera |
|
|
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 |
|
|
15:00 - 15:30 |
› Méthode active pour l'identification de réseaux de Petri saufs - Manon Le Moigne, Rémi Parrot, Olivier Roux |
|
|
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 |
|
|
16:00 - 16:30
|
Pause café |
|
|
16:30 - 17:30
|
Plénière 2 - Euriell Le Corronc |
|
| 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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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... 
