Informations du cours

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.