Systèmes à évènement discrets

Chapitre 1 : Introduction aux SED
- Modèles et systèmes
  - Système: définition
  - Modèle: définition
- Systèmes continu, discret, hybride
  - Système hybride et définitions
  - Exemples de systèmes discrets
- Domaines d’application
  - Domaines
  - Caractéristiques
Chapitre 2 : Modélisation des SED
- Introduction
- Langages et automates
  - Langages
  - Automates: Machine à Etats Finis (MAF)
  - Conception des machines à états
- Modélisation par RDP
  - RDP ordinaire
  - RDP temporisé
  - RDP synchronisé
  - RDP interprété de commande
- Modélisation par grafcet
- Algèbre des diodes ou Max+
Chapitre 3 : Commande par supervision des SED
- Introduction à la RW théorie
- Commande sous contraintes
- Synthèse de contrôleur pour les SED modélisés par Automates à états Finis
- Synthèse de contrôleur pour les SED modélisés par RDP (méthode des invariants)
- Synthèse de contrôleur pour les SED modélisés par Grafcet
Chapitre 4 : Extensions et Conclusion
- Commande par supervision modulaire, hiérarchique, observation partielle, Max+
- Prise en compte du temps
  - RDP et Grafcet Temporisés
  - Automates temporisés
  - Algèbre des diodes ou Max+

Département d'Électronique