Skip to Main content Skip to Navigation
Theses

Contributions à la synthèse de commande des systèmes à évènements discrets: nouvelle modélisation des états interdits et application à un atelier flexible

Résumé : Un Système de production peut être représenté par les systèmes à événements discrets. En dehors de la planification (où les gens travaillent avec des ratios de produits fabriqués par semaine ou par jour), la modélisation pourrait être basée sur les concepts d'événement et d'activités. Un événement correspond à un changement d'état. Une activité est une boîte noire d'encapsulation de ce qui se passe entre deux événements. En utilisant les réseaux de Petri (RdP), les événements sont représentés par les transitions, et les activités par les lieux. Notre travail propose une synthèse de commande par supervision pour les systèmes d'événements discrets modélisés par une classe de réseaux de Petri appelé graphe d'événements. L'objective de cette thèse est de concevoir un superviseur capable d'aider à améliorer la performance de système et de protéger le système en respectant des spécifications données par le fabricant ou le client selon les besoins et les conditions de travail. Pour modéliser ces spécifications, nous avons proposé un nouveau modèle mathématique de contrainte, appelé Contrainte d'Exclusion de Marquage (CEM). La deuxième contribution principale de ma thèse est de synthétiser une technique efficace et simple pour construire un superviseur qui impose le système de respecter des contraintes en évitant l'ensemble des états interdits modélisé par CEM. Nous avons également développé cette synthèse pour résoudre le problème d'existence des événements incontrôlables et des événements inobservables. Parfois, afin d'étudier les aspects liés à la performance, nous devons prendre le temps en considération. Donc, nous avons résolu aussi le problème des événements temporisé en utilisant RdP temporisés soumis à CEM
Document type :
Theses
Complete list of metadatas

Cited literature [53 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750418
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:45:46 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:59 AM

File

DDOC_T_2012_0412_ATLI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750418, version 1

Collections

Citation

Maen Atli. Contributions à la synthèse de commande des systèmes à évènements discrets: nouvelle modélisation des états interdits et application à un atelier flexible. Autre. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0412⟩. ⟨tel-01750418⟩

Share

Metrics

Record views

36

Files downloads

39