Ecole SED

 Le CT SED a organisé à Nancy sa 1ère édition de l'école SED (Systèmes à Evénements Discrets) du 17 au 19 janvier 2024. 

Cette 1ère édition avait pour objectif de présenter les formalismes de base (système séquentiel, automate, langage, réseau de Petri, graphe d’événements…), leurs extensions temporisées (automate temporisé, réseau de Petri temporisé et temporel, algèbre (max,+), graphes d’événements temporisés…) ainsi que les utilisations possibles de ces formalismes (contrôle-commande, diagnostic, pronostic, opacité, vérification, synthèse algébrique...). 

Programme :

Equipe pédagogique :

Pascal Berruet, Univ. Bretagne Sud & Lab-STICC

Bertrand Cottenceau, Univ. Angers & LARIS

Isabel Demongodin, Aix Marseille Univ. & LIS

Guilherme Espindola Winck, Ecole Centrale de Lille & CRISTAL

Gregory Faraut, ENS Paris Saclay & LURPA

Mohamed Ghazel, Univ. Gustave Eiffel & ESTAS

Sébastien Lahaye, Univ. Angers & LARIS

Euriell Le Corronc, Univ. Toulouse 3 & LAAS

Dimitri Lefebvre, Univ. Le Havre Normandie & GREAH

Mehdi Lhommeau, Univ. Angers & LARIS

Pascale Marangé, Univ. Lorraine & CRAN

Hervé Marchand, INRIA Rennes

Claude Martinez, Nantes Univ. & LS2N

Alexandre Philippot, Univ. Reims Champagne Ardenne & CReSTIC

Laurent Piétrac, SIGMA Clermont & Institut Pascal

Bernard Riera, Univ. Reims Champagne Ardenne & CReSTIC

Olivier H. Roux, Ecole Centrale de Nantes & LS2N

Ramla Saddem, Univ. Reims Champagne Ardenne & CReSTIC

Armand Toguyeni, Ecole Centrale de Lille & CRIStAL