Beschreibung
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 dapplicabilité 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 dun modèle structurel, à savoir le réseau de Pétri (RdP). La modélisation par RdP s'adaptent à lenvironnement 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 dobtenir des modèles structurels de commande supervisée dune 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.
Autorenporträt
Mohaman GONZA, Doctorant en Génie Eléctrique et Automatique; Master en Informatique, Electronique et Automatique et Ingénieur en Maintenance industrielle de L'ENSAI, Université de N'Gaoundéré. Membre Labo LESIA.Laurent BITJOKA, Maitre de conférences, Université de N'Gaoundéré; Responsable Labo LESIA.
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
