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.