MOOC – Ecole SED 2025
- Isabel Demongodin et Sebastien Lahaye.Introduction au temps dans les systèmes à évènements discrets,
- Olivier H. Roux. Les réseaux de Petri temporels,
- Pascale Marangé et Alexandre Philippot. Les automates temporisés,
- Guilherme Espindola Winck et Olivier Boutin. Les dioides temporisées,
- Silvano Dal Zilio. Model-Checking et le temps ,
- Jean-Jacques Loiseau et Claude Martinez. Contrôle (géométrique) max+,
- Didier Lime. Contrôle – Théorie des jeux,
- Ramla Saddem et Yannick Pencolé. Diagnostic et Diagnosticabilité,
- Exemple d’utilisation des modèles et outils dans le domaine temporisé,
MOOC – Ecole SED 2024
- Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé. Introduction aux Systèmes à Évènements Discrets,
- Pascale Marangé, Alexandre Philippot, Laurent Piétrac, Ramla Saddem, Laurent Piétrac. Automates à états et langages,
- Pascal Berruet, Isabel Demongodin, Olivier H. Roux, Armand Toguyeni. Réseaux de Petri,
- Dimitri Lefebvre, Pascale Marangé, Olivier H. Roux Introduction aux automates temporisés,
- Isabel Demongodin, Olivier H. Roux Introduction aux Réseaux de Petri temporels,
- Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez Introduction aux systèmes maxplus,
- Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé Méthodologie de construction,
- Pascale Marangé, Alexandre Philippot, Olivier H. Roux Utilisation des SED pour la vérification,
- Euriell Le Corronc Introduction au contrôle commande,
- Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez La théorie du contrôle des systèmes maxplus,
- Isabel Demongodin La synthèse de contrôleur par réseaux de Petri,
- Pascale Marangé, Alexandre Philippot, Laurent Piétrac La théorie de la commande par supervision avec les automates à états,
- Gregory Faraut, Dimitri Renard, Bernard Riera La synthèse algébrique via l’algèbre de Boole,
- Mohamed Ghazel, Dimitri Lefevre, Hervé Marchand, Ramla Saddem, Armand Toguyéni Utilisation des SED pour le diagnostic.