Reconfiguration dynamique de la commande d'un système manufacturier : approche par la synthèse de commande

par Eun Joo Lee

Thèse de doctorat en Informatique industrielle et automatique

Sous la direction de Abdoul Karim Armand Toguyeni.

Soutenue en 2006

à l'Ecole Centrale de Lille .

  • Titre traduit

    Dynamic reconfiguration of the controllers of a manufacturing system : a control synthesis approach


  • Pas de résumé disponible.


  • Résumé

    Ce travail est une contribution à la commande des systèmes manufacturiers et plus particulièrement à leur reconfiguration dynamique. En cas de reconfiguration, l’idée de base est de synthétiser les contrôleurs de commande en tenant compte d’une part des besoins de l’utilisateur et d’autre part de l’état du système. L’approche proposée est inspirée de la théorie du supervisory control, mais est adaptée à l’exploitation du formalisme des réseaux de Petri. Dans ce travail, nous proposons un nouveau problème pour la modélisation des spécifications utilisateurs : le « Problème des Séquences Interdites de Transitions d’États» (PSITE). Nous proposons alors le « Graphe d’Accessibilité Synchrone Contraint » (GASC) pour synthétiser le modèle du procédé et le modèle des spécifications tous les deux basés sur les RdPs. Pour réaliser la synthèse, nous utilisons la théorie des régions revisitée par les travaux de thèse de A. Gaffari. Dans la deuxième partie du travail nous montrons dans un premier temps que cette approche peut être utilisée pour la synthèse d’allocateurs de ressources, pour rendre déterministe l’interprétation de gammes opératoires. L’idée à ce niveau est de pouvoir synthétiser des contrôleurs déterministes qui mettent en œuvre un ordonnancement cyclique donné, établi en tenant compte de l’état du procédé et des objectifs de production. Ce travail est complété par la proposition d’un outil logiciel dont nous présentons le fonctionnement, l’intérêt et également les limites actuelles.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( x-160 p.)
  • Annexes : Bibliogr. p.153-159. 50 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-2006-414
  • Bibliothèque : Ecole Centrale de Lille (Villeneuve d'Ascq, Nord). Centre de documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.