Ecole de printemps 2025 SED – Systèmes à Evénements Discrets

du 12 au 14 mars 2025 – Nantes

Programme

En bref 

Cette école fait suite à l’Ecole d’hiver SED 2024 organisée du 17 au 19 janvier 2024 à Nancy.

Pour cette édition la thématique principale sera le temps. Les vidéos de la précédente édition seront disponibles. Quelques extraits vidéos de l’édition 2024 sont disponibles ici

Cette école s’adresse principalement aux doctorantes et doctorants, aux étudiant(e)s de master, enseignants-chercheurs, chercheurs et industriels.

Même si cette école est composée de cours présentant les principaux résultats et méthodes théoriques sur les SED et leurs extensions au temps, plusieurs sessions sont consacrées aux outils et à la mise en situation permettant aux participants d’appliquer rapidement les leviers d’action présentés en cours.

Présentations mises à disposition dans les détails du programme

Mercredi 12 mars
Amphi S

Les modèles temporisés

12/03 : 8h30-12h30

8h30-8h50 : Accueil

8h50-9h : Ouverture et présentation générale
9h-10h30 : Le temps dans les SED
10h30-11h : Pause Café
11h-12h30 : Les réseaux de Petri temporels
     

  • 1h30 Présentation générale du temps en SED
  • 1h30 Les réseaux de Petri temporels. Modélisation et calcul du graphe des classes d’états
  • Repas dans le hall du batiment S.
12/03 : 13h30-17h30

13h30-15h : Les automates temporisés
15h-15h30 : Présentation des sujets de these
15h30-16h : Pause Café
16h-17h30 : Algèbre max+ et dioïdes

19h : Restaurant Onedia

  • 1h30  Automates temporisés. Modélisation avec UPPAAL
  • 1h30  Algèbre max+ et Dioïdes
  • 30mn Tour de table : présentation des sujets de thèse des doctorants

Onedia – Restaurant espagnol & Bar à tapas. Parc des Chantiers, 7 Rue René Siegfried, 44200 Nantes

 

Jeudi 13 mars
Amphi S

Model checking, Contrôle et Diagnostic

13/03 : 9h-12h30

9h-10h30 : Verification, model checking
10h30-11h : Pause Café
11h-12h30 : Contrôle (géométrique) max+ 

  • 1h30 Vérification des modèles temporisés. Outils UPPAAL et Roméo
  • 1h30 Contrôle (géométrique) max+
  • Repas dans le hall du batiment S.
13/03 : 13h30-17h30

13h30-15h : Contrôle – Théorie des jeux
15h-15h30 : Presentation des sujets de thèse
15h30-16h : Pause café
16h-17h30 : Diagnostic et Diagnosticabilité

19h : Magmaa – Food Hall (Espace privatisé)

  • 1h30 Contrôle temporisé – Théorie des jeux
  • 1h30 Diagnostic
  • 30mn Tour de table : présentation des sujets de thèse des doctorants

Magmaa – Food Hall Nantes. 15 Rue La Noue Bras de Fer, 44200 Nantes

Vendredi 14 mars
Amphi S

Les extensions et les applications

14/03 : 9h-12h30

9h-10h : Autres extensions (Modèles stochastiques,
Modèles hybrides)
10h-10h30 : Pause café
10h30-12h30 : Applications
– Jumeau numérique
– Parcours de soin
– Métro
– Musique (Live coding)

  • 30 mn  Modèles stochastiques
  • 30 mn  Modèles hybrides
  • 2h Applications : Jumeau numérique, Santé, Metro, Systèmes de transport, Musique

 

Nos experts

  • Olivier Boutin (3iL Ingénieurs Nantes  & LS2N)
  • Silvano Dal Zilio (CNRS & LAAS)
  • Isabel Demongodin (Aix Marseille Univ. & LIS) 
  • Guilherme Espindola Winck (Centrale Lille & CRIStAL) 
  • Gregory Faraut (ENS Paris Saclay & LURPA) 
  • Loïc Helouet (INRIA)
  • Sébastien Lahaye (Univ. Angers & LARIS) 
  • Didier Lime (Centrale Nantes & LS2N)
  • Jean Jacques Loiseau (CNRS & LS2N)
  • Mehdi Lhommeau  (Univ. Angers & LARIS)
  • Pascale Marangé (Univ. Lorraine & CRAN) 
  • Claude Martinez (Nantes Univ. & LS2N) 
  • Yannick Pencole (CNRS & LAAS)
  • Alexandre Philippot (Univ. Reims Champagne Ardenne & CReSTIC) 
  • Olivier H. Roux (Centrale Nantes & LS2N) 
  • Ramla Saddem (Univ. Reims Champagne Ardenne & CReSTIC)