Contribution à la conception d'un système de conduite pour les systèmes flexibles de production manufacturière : modélisation et validation de la commande

A Contribution To The Design Of Control Systems For Flexible Manufacturing Systems : Modelling And Validation Of The Command

• Auteur / Autrice : Christian Ausfelder
• Direction : Jean-Claude Gentina
• Type : Thèse de doctorat
• Discipline(s) : Productique, automatique et informatique industrielle
• Date : Soutenance en 1994
• Etablissement(s) : Lille 1

Mots clés

Mots clés contrôlés

Fabrication, Systèmes flexibles de

Commande, Théorie de la

Résumé

Nous presentons dans ce memoire une methode de conception et une demarche de validation de la commande de coordination des systemes flexibles de production manufacturiere (sfpm) par reseaux de petri a predicat/transition. Nous decrivons, dans le premier chapitre, les differentes fonctions necessaires a une conduite performante des sfpm qui permet d'accroitre leur disponibilite. Cette analyse est exposee en utilisant le formalisme sadt et porte essentiellement sur les liens entre la surveillance et la commande. La flexibilite existant a differents niveaux est identifiee comme caracteristique essentielle d'un sfpm permettant de reagir aux aleas d'un environnement perturbe, sans presumer de son mode d'exploitation. Cette exploitation etant a la charge de la commande de coordination, nous etablissons alors une hierarchie des modeles qui tient compte des differentes formes de flexibilite a des niveaux appropries. Les differents modeles sont generes et connectes selon une demarche descendante. Nous nous interessons davantage a la conception du modele du systeme de transport qui, structure, correspond a un synoptique representant les flux des produits dans le systeme et permet un routage individuel des produits. Le troisieme chapitre est consacre a la validation formelle des proprietes des modeles de la commande issus de la phase de generation. Elle conduit, suivant une demarche ascendante de validation, a la definition des conditions de vivacite de nos modeles. Cette condition s'exprime par une limitation de l'encours dans le sfpm en fonction de son mode operatoire.