MOOC SED 2025 :
Focus sur le temps. Captation vidéo de l’Ecole SED 2025 à Nantes
- Introduction au temps dans les systèmes à évènements discrets – Isabel Demongodin et Sebastien Lahaye.
- Les réseaux de Petri temporels – Olivier H. Roux.
- Les automates temporisés – Pascale Marangé et Alexandre Philippot.
- Les dioides temporisées – Guilherme Espindola Winck et Olivier Boutin.
- Model-Checking et le temps – Silvano Dal Zilio.
- Contrôle (géométrique) max+ – Jean-Jacques Loiseau et Claude Martinez.
- Contrôle – Théorie des jeux – Didier Lime.
- Diagnostic et Diagnosticabilité – Ramla Saddem et Yannick Pencolé.
- Exemples d’utilisation des modèles et outils SED dans le domaine temporisé
- Une application des RdP coloré stochastiques pour analyse des systèmes d’économie circulaire – Gautier Vanson, Pascale Marangé etÉric Levrat.
- Application des réseaux de Petri pour le contrôle des métros – Loic Hélouet.
- Une mise en application de la modélisation SED dans le cadre des Jumeaux Numériques – Alexandre Philippot.
- Une application originale de Live Coding utilise les automates (max,+) – Bérangère Daviaud, Sébastien Lahaye etMehdi Lhommeau.
MOOC SED 2024 :
Captation vidéo de l’Ecole SED 2024 à Nancy.
Objectif : 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…).
- Introduction aux Systèmes à Évènements Discrets – Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé.
- Automates à états et langages – Pascale Marangé, Alexandre Philippot, Laurent Piétrac, Ramla Saddem, Laurent Piétrac.
- Réseaux de Petri – Pascal Berruet, Isabel Demongodin, Olivier H. Roux, Armand Toguyeni.
- Introduction aux automates temporisés – Dimitri Lefebvre, Pascale Marangé, Olivier H. Roux.
- Introduction aux Réseaux de Petri temporels – Isabel Demongodin, Olivier H. Roux.
- Introduction aux systèmes maxplus – Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez.
- Méthodologie de construction – Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé.
- Utilisation des SED pour la vérification – Pascale Marangé, Alexandre Philippot, Olivier H. Roux.
- Introduction au contrôle commande – Euriell Le Corronc.
- La théorie du contrôle des systèmes maxplus – Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez.
- La synthèse de contrôleur par réseaux de Petri – Isabel Demongodin.
- La théorie de la commande par supervision avec les automates à états – Pascale Marangé, Alexandre Philippot, Laurent Piétrac.
- La synthèse algébrique via l’algèbre de Boole – Gregory Faraut, Dimitri Renard, Bernard Riera.
- Utilisation des SED pour le diagnostic – Mohamed Ghazel, Dimitri Lefevre, Hervé Marchand, Ramla Saddem, Armand Toguyéni.