Le CT SED organise une série d'écoles sur les Systèmes à Evénements Discrets à destination des jeunes chercheur.se.s (master, thèse, post-doc...) et des collègues. 

Nous espérons vous y voir nombreux !

Programme :

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 (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…). 

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

Vidéo souvenir de cette 1ère édition :