|
| Titre : | Synthèse de superviseur basé sur les réseaux de Petri en présence de transitions non contrôlables | | Type de document : | texte imprime | | Auteurs : | Massinissa Cherief, Auteur ; Lyes Ghouti, Auteur ; Hayet Harrouche, Directeur de thèse | | Editeur : | Tizi-Ouzou : UMMTO F.G.E.I | | Année de publication : | 2024 | | Importance : | 66 p. | | Présentation : | ill. | | Format : | PDF | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Systèmes à événement discret Réseaux de Petri Transition non contrôlable Contrôlabilité structurelle Algorithme de paramétrisation. | | Résumé : | La supervision des systèmes à événements discrets (SED) constitue un enjeu majeur dans le domaine de l’automatique et du contrôle des systèmes complexes. Les réseaux de Petri offrent un cadre mathématique rigoureux et visuel pour la modélisation et l’analyse de tels systèmes. Toutefois, la présence de transitions non contrôlables introduit des difficultés supplémentaires dans la conception de superviseurs garantissant le respect des spécifications comportementales.
Ce mémoire s’intéresse à la synthèse de superviseur basée sur les réseaux de Petri en tenant compte de transitions non contrôlables. L’objectif est de concevoir un superviseur capable d’imposer les contraintes de sûreté et de vivacité tout en préservant la faisabilité du système face aux événements incontrôlables.
La méthodologie proposée s’appuie sur l’analyse structurelle et comportementale du réseau, combinant les notions d’états interdits, de contrôle basé sur les places et de conditions de contrôlabilité adaptées. Une approche systématique est développée pour dériver les contraintes de contrôle minimales assurant que le système supervisé reste dans un comportement admissible.
Les résultats obtenus sont validés à travers des exemples illustratifs, démontrant l’efficacité de la méthode proposée face à des scénarios complexes où certaines transitions échappent à toute action de contrôle directe.
| | Diplôme : | Master | | Permalink : | ./index.php?lvl=notice_display&id=37943 |
Synthèse de superviseur basé sur les réseaux de Petri en présence de transitions non contrôlables [texte imprime] / Massinissa Cherief, Auteur ; Lyes Ghouti, Auteur ; Hayet Harrouche, Directeur de thèse . - Tizi-Ouzou (Tizi-Ouzou) : UMMTO F.G.E.I, 2024 . - 66 p. : ill. ; PDF. Bibliogr. Langues : Français | Mots-clés : | Systèmes à événement discret Réseaux de Petri Transition non contrôlable Contrôlabilité structurelle Algorithme de paramétrisation. | | Résumé : | La supervision des systèmes à événements discrets (SED) constitue un enjeu majeur dans le domaine de l’automatique et du contrôle des systèmes complexes. Les réseaux de Petri offrent un cadre mathématique rigoureux et visuel pour la modélisation et l’analyse de tels systèmes. Toutefois, la présence de transitions non contrôlables introduit des difficultés supplémentaires dans la conception de superviseurs garantissant le respect des spécifications comportementales.
Ce mémoire s’intéresse à la synthèse de superviseur basée sur les réseaux de Petri en tenant compte de transitions non contrôlables. L’objectif est de concevoir un superviseur capable d’imposer les contraintes de sûreté et de vivacité tout en préservant la faisabilité du système face aux événements incontrôlables.
La méthodologie proposée s’appuie sur l’analyse structurelle et comportementale du réseau, combinant les notions d’états interdits, de contrôle basé sur les places et de conditions de contrôlabilité adaptées. Une approche systématique est développée pour dériver les contraintes de contrôle minimales assurant que le système supervisé reste dans un comportement admissible.
Les résultats obtenus sont validés à travers des exemples illustratifs, démontrant l’efficacité de la méthode proposée face à des scénarios complexes où certaines transitions échappent à toute action de contrôle directe.
| | Diplôme : | Master | | Permalink : | ./index.php?lvl=notice_display&id=37943 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtude et réalisation d'une commande d'un banc de perçage à base du microcontrôleur PIC 16F876 / Hayet Harrouche (2007)
Synthèse de superviseur basé sur les réseaux de Petri en présence de transitions non contrôlables / Massinissa Cherief (2024)
