Synthse de commande par supervision de procds

Les systmes industriels sont complexes et la synthse de leurs commandes supervises se fait par des essais-erreurs. La thorie de commande par supervision des systmes vnements discret (SED), initi par Ramadge et Wonham (1983) a longtemps pch par manque d'applicabilit d la taille des modles manipuls et la philosophie utilise. Dans ce travail, nous proposons une agrgation des mthodes formelles de commande par supervision partir d'un modle structurel, savoir le rseau de Ptri (RdP). La modlisation par RdP s'adaptent l'environnement industriel au moyen des transitions (capteurs, boutons) et des places (tats). Notre mthode de synthse de commande par supervision vrifie par sa construction les spcifications imposes au procd. L'utilisation de la mthode des invariants de place du RdP a permis d'obtenir des modles structurels de commande supervise d'une meunerie locale. Ces modles RdP superviss ont t implments dans une application de supervision industrielle. Les rsultats obtenus tmoignent de la ncessit de dvelopper une mthode structurelle de synthse.