Synthèse d'une commande sure pour les systèmes à évenements discrets
Loading...
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Mouloud Mammeri
Abstract
La théorie des systèmes et de leur commande, appelée aussi l’Automatique, s’est intéressée dès ses origines à des systèmes physiques généralement décrits par les équations différentielles ou aux dérivées partielles auxquelles obéissent les phénomènes physiques correspondant. L’évolution technologique à conduit au développement de systèmes, dont l’impact socio-économique est devenu très fort et dont la modélisation ne se fait pas par des équations différentielles. Au début des années 80, l’automatique à pris en charge ces systèmes, appelés par la suite « systèmes à événements discret » (SED), le mot discret ne signifie ni « temps discret » ni « état discret ». Ce mémoire présente les principales approches qui permettent la synthèse d’un superviseur/contrôleur qui impose au système le respect de spécifications logiques de fonctionnement dans le but de satisfaire un cahier de charges. Les premiers pas menés dans le domaine de la supervision et de la commande ont été fait par Ramadge et Wonham (R&W). La théorie de la supervision tel qu’introduite par R&W est basée sur l’utilisation des automates à états finis et des langages formels. L’objectif de notre travail est l’étude de la méthode de synthèse de superviseur basée sur l’utilisation des invariants de marquage tel que introduite par Yamalidou. Par la suite, le modèle réseau de Petri sera transformé en un grafcet implantable sur automates programmables industriels (API). Enfin, cette étude nous a permis d’approfondir nos connaissances sur des outils de modélisation comme les automates à états finis, les langages formelles, les réseaux de Petri ainsi que le passage de l’un de ces modèles à un modèle Grafcet
Description
102 f. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Systèmes, Automate, Réseaux de Pétri, Grafcet, Superviseur, Synthèse
Citation
Commande Des Systemes