Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
SAADI, Djallel
Directeur de thèse
SEKHRI Larbi (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Synthèse des Superviseurs : Approche basée sur la Théorie des Réseaux de Petri
Mots clés
Systèmes à événements discrets; Synthèse du contrôleur; Réseaux de Pétri; Contraintes linéaires; Simplification.
Résumé
Dans ce mémoire, nous proposons un algorithme pour la synthèse des superviseurs des SED. Nous commençons par modéliser le SED par un RdP qui soit sauf et conservatif. L’idée est d’ajouter des places de contrôle pour empêcher l’atteignabilité des états interdits. A ce stade nous sommes confrontés au problème des transitions incontrôlables empêchant une garantie d’optimalité et à la complexité apportée par le nombre des places de contrôles qui peut être considérable. En premier lieu nous avons utilisé l’algorithme de Kumar afin d’obtenir les états interdits ensuite nous avons exploité le théorème introduit par Giua pour passer d’un ensemble d’états interdits vers un ensemble de contraintes linéaires. Ensuite nous avons utilisé des méthodes de simplification de contraintes introduites par Dideban pour réduire le nombre et la borne des contraintes. Enfin nous avons utilisé la méthode de Yamalidou pour calculer les places de contrôle. Nous avons aussi présenté les conditions nécessaires et suffisantes pour l’obtention d’un contrôleur maximal permissif. L’avantage principal de la méthode est que le modèle RdP contrôlé est très proche du modèle initial.
Date de soutenance
2011
Cote
TH3302
Pagination
114F
Format
30 cm
Notes
RESUME ET MOTS CLES EN FRANCAIS ET EN ANGLAIS. ANNEXE 107-109F.BIBLIOG.110-115F.
Statut
Soutenue