Thèse de doctorat en Productique, automatique et informatique industrielle
Sous la direction de Christian Vasseur.
Soutenue en 1993
à Lille 1 .
La description d'une application de commande temps-réel des cellules flexibles d'assemblage doit prendre en compte les caractères réactif et transformationnel du système ainsi que les contraintes temporelles de fonctionnement. La méthodologie de spécification présentée ici, tient compte de ces trois aspects et intégre d'une part un outil commun synchrone (le grafcet) et d'autre part une stratégie de spécification définie par : a) un ensemble de moyens puissants d'expression des aspects réactif et transformationnel ; b) une méthode de structuration en processus interagissant ; c) une hiérarchisation temporelle des objectifs de commande. Dans le prolongement des travaux de l'adepa, des extensions du grafcet sont proposés. Les algorithmes d'interprétation associés à ces extensions sont considérés dans un chapitre de mise en oeuvre. Ce dernier intégre également les moyens informatiques nécessaires pour l'exécution, dans un contexte centralisé. L'ensemble de la méthodologie est expérimenté avec succès pour l'assemblage de moteurs électriques sur une cellule flexible d'assemblage.
Pas de résumé disponible.