Département de Génie Electrique

https://www.univ-soukahras.dz/fr/dept/ge

Enseignant	Reda ROUAIBIA
Information	Master - Automatique et informatique industrielle Département de Génie Electrique Site web : https://www.univ-soukahras.dz/fr/module/3923 Semestre : S3 Unité : UEF 2.1.2 Crédit : 4 Coefficient: 2
Contenu	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+
Evaluation	Contrôle continu: 40 % ; Examen: 60 Note TD= (Micro-interrogation (60%) + Devoir à la maison(20%)+ Assiduité (20%))