-
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
-
Modèles et systèmes
-
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+