Rencontre LACL/LAMA et Groupe SII

Nous organisons un séminaire commun des laboratoires LACL, LAMA de l'UPEC et le  service R&D de la société Groupe SII (https://sii-group.com/).L'objectif est d'échanger et d'explorer des collaborations possibles entre recherche académique et industrie, notamment autour des thématique lié à la data, l’apprentissage automatique, la modélisation et la simulation.  

 

On propose trois exposés, la présentation de différentes structure suivis d'un temps d'échange et d'un café gouter (offert par l'EPISEN)

 

Date : 15 juin 2026 -13h00 – 17h00

Lieu : Faculté des Sciences Campus centre UPEC , salle P2 235  

 

Programme

13h00 – 14h00 · Présentation et Exposé LACL 

14h00 – 15h00 · Présentation et Exposé SII 

15h00 – 15h30 · Pause café 

15h30 – 16h30 · Présentation et Exposé  LAMA 

16h30 – 17h00 · Discussion — perspectives de collaboration 

17h00 · Goûter & café

Chaque exposé est structuré comme suit : 10 min de présentation généraliste + 40 min sur un sujet précis + 10 min de questions.

Exposés

 

Antoine Spicher (LACL) 
Les transformations globales : des règles locales aux dynamiques globales, une approche catégorique
Les transformations globales constituent un cadre catégorique visant à  formaliser des systèmes dont le comportement global est déterminé par  des règles locales appliquées de manière synchrone et déterministe.  Elles proposent une approche unifiée permettant de décrire des modèles issus de domaines variés à l'aide d'un même  langage mathématique. Elles ont montré leur efficacité en capturant  notamment les systèmes de Lindenmayer, des algorithmes de maillage (par  ex., raffinement), les automates cellulaires ou encore les dynamiques causales de graphes.

Après une introduction informelle aux idées fondamentales du cadre, nous  illustrerons cette approche à travers différents exemples classiques et  différents résultats. Nous verrons également le relâchement de  propriété de déterminisme, ouvrant la voie à des cadres plus expressifs fondés sur les foncteurs ouverts.

 

Alexandre Heintzmann (SII) 

Décomposition de Benders Orbitale : application à l'électrification d'un réseau de bus  

 La Décomposition de Benders est une méthode classique pour résoudre des problèmes d’optimisation avec des variables mixtes, reposant sur une décomposition en un problème maître et un sous-problème résolus de manière itérative. Cette approche est aujourd'hui considérée comme une méthode phare pour ce type de problème d'optimisation, mais elle peut perdre en efficacité lorsque le problème maître admet un grand nombre de solutions symétriques, c’est-à-dire identiques à une permutation près, et équivalentes du point de vue de la fonction objectif.
Nous souhaitons vous présenter la Décomposition de Benders Orbitale, un nouvel algorithme qui introduit un troisième problème dans la boucle de résolution. Ce troisième problème permet de mieux gérer les symétries et d’améliorer les performances de la méthode.
Cette approche est appliquée à un problème concret d’électrification de réseau de bus. Il s’agit de déterminer l’implantation des stations de recharge, le type de batteries et les temps de charge, en minimisant à la fois les coûts d’installation et les retards par rapport aux horaires existants.

 

Mickaël Randrianarivony (LAMA) 
Contrôle optimal en temps réel des réseaux de transport d'eau potable 

Un réseau de transport d'eau potable est un ensemble de noeuds (réservoir, zone de demande, sous réseau) connecté par des tuyaux, des pompes, et des vannes. On peut le voir naturellement comme un graphe. Le problème principal est de controler les pompes et les vannes afin de satisfaire la demande en eau en tout temps avec des contraintes additionnelles. Dans cet exposé je commencerai par la formalisation mathématique du problème. De manière général on peut diviser le problème de contrôle optimal en deux parties. La modélisation et l'optimisation. Je commencerai par décrire brièvement le modèle classique classique chez les hydrauliciens pour modéliser l'évolution de l'état du réseau. Puis je parlerai des limites du modèle pour les tâches d'optimisation et de simulation en temps réel et comment le simplifier sans trop perdre d'information. Ensuite des stratégies pour résoudre le problème d'optimisation lié au modèle simplifié. Enfin si on a le temps comment rendre la modélisation/optimisation robuste face aux incertitudes lié à la prévision de la demande et aux vieillissement du réseau (tuyaux bouché/troué). Nous verrons que ce problème concret impliquera : la théorie des équations aux dérivées partielle, le calcul stochastique, et un peu de topologie algébrique, géométrie différentielle discrète et théorie des graphes.

 

Contact et organisation  

Frédéric Gava (LACL/EPISEN) -- gava@u-pec.fr

Sophie Laruelle (LAMA) — sophie.laruelle@u-pec.fr 

Sara Brofferio (LAMA/EPISEN) — sara.brofferio@u-pec.fr 

Sophie Demoures (SII) — sophie.demoures@sii.fr