Modélisation et synthèse de superviseur pour une chaine de production
| dc.contributor.author | Chelli Hayat | |
| dc.contributor.author | Chougar Lyes | |
| dc.contributor.other | Kara Redouane | |
| dc.date.accessioned | 2019-11-12T12:59:09Z | |
| dc.date.available | 2019-11-12T12:59:09Z | |
| dc.date.issued | 2016 | |
| dc.description | 63 f. : ill. ; 30 cm. (+ CD-Rom) | en |
| dc.description.abstract | L’objectif de ce mémoire est dans un premier temps, de proposer un modèle réseau de Petri de la chaine de production des tubes métalliques. Par la suite, on suivra une méthodologie de synthèse de superviseur basée sur la méthode des invariant de marquages (Yamalidou et al, 1996) qui permettra de résoudre ce problème. Les superviseurs synthétisés s’expriment en termes de places de contrôle et permettent de satisfaire les spécifications imposées à la chaine de production. Il est à noter que les superviseurs calculés peuvent être mise en oeuvre pratiquement dans un API. Pour mener à terme notre travail, nous avons organisé notre mémoire de la façon suivante : Dans le premier chapitre nous avons présenté les éléments de base qui permettent de comprendre le formalisme des réseaux de Petri. Le deuxième chapitre est consacré à la description du système de production des tubes métalliques d’ANABIB. Dans ce chapitre on à aussi posé la problématiques rencontré dans ce projet. Dans le chapitre trois nous avons présenté quelques méthodes qui permettent de synthétiser des superviseurs pour les systèmes à événements discrets. La théorie de la supervision des SED proposée par Ramadge & Wonham est d’abord présentée en détail, elle est l’origine de la commande par supervision. Puis deux méthodes de synthèse de superviseur sont décrites. La première combine l’approche de Ramadge & Wonham, et la deuxième exploite les invariants de marquage de réseaux de Petri pour synthétiser le système de commande. En fin, dans le quatrième chapitre nous avons proposé un modèle RdP pour notre système. Ensuite on a proposé une loi de commande pour satisfaire les spécifications imposées sur le marquage des places modélisant les stocks qui posent problème. A la fin de ce chapitre, on a obtenu le modèle globale supervisé. | en |
| dc.identifier.citation | Automatique Et Informatique Industrielles | |
| dc.identifier.other | MAST.AUTO.43-16 | en |
| dc.identifier.uri | https://dspace.ummto.dz/handle/ummto/7437 | |
| dc.language.iso | fr | en |
| dc.publisher | Université Mouloud Mammeri | en |
| dc.subject | Réseau de Petri | en |
| dc.subject | Synthèse de superviseur | en |
| dc.subject | Système à événement discret | en |
| dc.subject | Contraintes linéaire. | en |
| dc.title | Modélisation et synthèse de superviseur pour une chaine de production | en |
| dc.type | Thesis | en |