Synthèse de commande par supervision de procédés

Les systèmes industriels sont complexes et la synthèse de leurs commandes supervisées se fait par des essais-erreurs. La théorie de commande par supervision des systèmes à événements discret (SED), initié par Ramadge et Wonham (1983) a longtemps pêché par manque d¿applicabilité dû à la taille des modèles manipulés et à la «philosophie» utilisée. Dans ce travail, nous proposons une agrégation des méthodes formelles de commande par supervision à partir d¿un modèle structurel, à savoir le réseau de Pétri (RdP). La modélisation par RdP s'adaptent à l¿environnement industriel au moyen des transitions (capteurs, boutons) et des places (états). Notre méthode de synthèse de commande par supervision vérifie par sa construction les spécifications imposées au procédé. L'utilisation de la méthode des invariants de place du RdP a permis d¿obtenir des modèles structurels de commande supervisée d¿une meunerie locale. Ces modèles RdP supervisés ont été implémentés dans une application de supervision industrielle. Les résultats obtenus témoignent de la nécessité de développer une méthode structurelle de synthèse.