Résumé du séminaire du 9 novembre 2007


P. MARANGÉ - Proposition d'une approche de validation de la commande des systèmes à événements discrets

Dans le cadre de la conception de la commande des systèmes à événements discrets, nous nous intéressons au problème de la validation de la commande en vue de son implémentation sur une cible industrielle. L'objectif est d'assurer la sécurité du système dans son ensemble (machines et opérateurs) et de valider l'adéquation de la commande implantée par rapport aux spécifications de commande du cahier des charges. Nos travaux proposent deux méthodes : une approche hors ligne basée sur les travaux de Ramadge et Wonham et une approche en ligne basée sur la notion de filtre de validation entre la partie opérative et la partie commande. L'étude de ces deux approches conduit à une comparaison permettant une discussion sur leur domaine d'applications. Ces travaux trouvent un applicatif dans le cadre de l'enseignement de la commande.