Unité d’enseignement: UEF 2.1.2
Matière: Systèmes à évènement discrets
Crédits: 4
Coefficient: 2
Objectifs de l’enseignement:
L’objectif de la première partie de cette matière consiste en la modélisation des Systèmes à
Evénements Discret (SED) par réseau de Petri autonomes, la construction des graphes de marquage
et/ou de couverture et l’analyse de ces systèmes. La deuxième partie du cours est consacré à la
commande par supervision des SED. Enfin en verra en troisième partie, les systèmes temporisés.
Connaissances préalables recommandées:
Automatique de base (asservissement et régulation). Algorithmique.
Contenu de la matière:
Chapitre 1 : Introduction aux SED (1 semaine)
I .1. Modèles et systèmes
1.1 Système: définition
1.2 Modèle: définition
· I.2. Systèmes continu, discret, hybride
2.1 Système hybride et définitions
2.2 Exemples de systèmes discrets
· I.3. Domaines d’application
3.1 Domaines
3.2 Caractéristiques
Chapitre 2 : Modélisation des SED (6 semaines)
· II.1. Introduction
· II.2. Langages et automates
2.1. Langages
2.2. Automates: Machine à Etats Finis (MAF)
2.3. Conception des machines à états
· II.3. Modélisation par RDP
3.1. RDP ordinaire
3.2. RDP temporisé
3.3. RDP synchronisé
3.4. RDP interprété de commande
· II.4. Modélisation par grafcet
· II.5. Algèbre des dioides ou Max+
Chapitre 3 : Commande par supervision des SED (5 semaines)
· III.1. Introduction à la RW theory
· III.2. Commande sous contraintes
· III.3. Synthèse de contrôleur pour les SED modélisés par Automates à états Finis
· III.4. Synthèse de contrôleur pour les SED modélisés par RDP (méthode desinvariants)
· III.5. Synthèse de contrôleur pour les SED modélisés par Grafcet
Chapitre 4 : Extensions et Conclusion (3 semaines)
· IV.1. Commande par supervision modulaire, hiérarchique, observation partielle, Max+
· IV.2. Prise en compte du temps
2.1. RDP et Grafcet Temporisés
2.2. Automates temporisés
2.3. Algèbre des dioides ou Max+
Mode d’évaluation:
Contrôle continu: 40 % ; Examen: 60 %.
Références bibliographiques:
1- BRAMS, Approche mathématique des réseaux de Petri, MASSON 1987
2- J.M. Proth,X. Xie, Modélisation des systèmes de production, DUNOD 1992
3- A. Marsan, S. Donatelli .Modelling with generalized stochasticPetri Nets, Willey 1995
4- M. cassandras, S. Lafortune. Introduction to DES, Willey 1999.
5- R. David et H Alla. Du Grafcet aux Réseaux de Petri, Hermes. 1992.
6- C. Cassandras and S. Lafortune. Introduction to discrete Event Systems. Kluwer Academic,
2008.