Synthèse d'une commande sure pour les systèmes à évenements discrets

dc.contributor.authorHaddouchi Assia
dc.contributor.otherKara Redouane
dc.date.accessioned2019-11-12T12:59:16Z
dc.date.available2019-11-12T12:59:16Z
dc.date.issued2011
dc.description102 f. : ill. ; 30 cm. (+ CD-Rom)en
dc.description.abstractLa 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 Grafceten
dc.identifier.citationCommande Des Systemes
dc.identifier.otherMAST.AUTO.14-11en
dc.identifier.urihttps://dspace.ummto.dz/handle/ummto/7445
dc.language.isofren
dc.publisherUniversité Mouloud Mammerien
dc.subjectSystèmesen
dc.subjectAutomateen
dc.subjectRéseaux de Pétrien
dc.subjectGrafceten
dc.subjectSuperviseuren
dc.subjectSynthèseen
dc.titleSynthèse d'une commande sure pour les systèmes à évenements discretsen
dc.typeThesisen

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
HaddouchiAssia.pdf
Size:
3.51 MB
Format:
Adobe Portable Document Format
Description:
PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: