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