Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet

Pascale Marangé (1) , Abdelouahed Tajer (1) , François Gellot (1) , Véronique Carré-Ménétrier (1)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

Suite à nos travaux sur la synthèse de la commande basée sur la théorie de Ramadge et Wonham, nous proposons une approche de validation de la commande hors ligne. Cette approche nécessite la modélisation de la partie opérative et des contraintes de sécurité et de vivacité, appliquées au système. Nous proposons de modéliser la partie opérative par une méthode à base de règles d'occurrence et de précédence et d'utiliser des équations logiques pour les contraintes pour pallier les problèmes de méthodologie de conception de modèles et d'explosion combinatoire. La démarche de validation de la commande permet de détecter les éventuels blocages ou les contraintes non respectées et d'aider le concepteur à apporter les modifications nécessaires. Pour illustrer ces concepts, nous proposons de les éprouver sur un exemple de tri de caisses.

Mots clés: Systèmes à événements discrets; Grafcet; Synthèse de commande; Théorie de supervision; Validation.; Validation

Domaines: Automatique / Robotique

Pascale Marangé, Abdelouahed Tajer, François Gellot, Véronique Carré-Ménétrier. Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet. Journal Européen des Systèmes Automatisés (JESA), 2008, 42 (1), pp.63-94. ⟨hal-00385483⟩