Formalisation d'une approche de supervision basée sur le Grafcet

La mutation des systèmes de production en systèmes automatisés a engendré une flexibilité de la configuration des procédés industriels. De ce fait, les exigences sans cesse croissantes en qualité et quantité de produits manufacturés rendent ces systèmes très complexes. L'effort humain visant à superviser ces systèmes consiste alors en l'élaboration de programmes sécurisés. D'où l'émergence de la théorie de commande par supervision de Ramadge & Wonham. Dans le soucis de contribuer à l'implémentation de cette théorie dans l'industrie, la commande, dans le cadre des travaux de cet ouvrage, est obtenue en se basant sur la modélisation du système et des spécifications à l'aide du Grafcet. A cet effet, deux méthodes sont proposées: la première est basée sur l'algorithme de Kumar et la seconde utilise la méthode des invariants de marquage. Ces approches sont illustrées sur un système manufacturier.

Né en 1987 au Nord Cameroun , Wayang Senguel fait ses études à l'Université de Ngaoundéré où il obtient un DUT en Génie électrique, une licence de la même filière et un Master recherche en informatique, électronique et automatisme. Il est employé comme ingénieur dans une industrie de la place et poursuit des travaux de thèse de doctorat au LESIA.