Contrôle par le produit des systèmes d'exécution de la production : apport des techniques de synthèse

Works presented in this report join the context of the product/process engineering of manufacturing systems. This context leads to reconsider the hierarchically integrated production processes to the profit of more flexible and reconfigurable distributed structures. More precisely, the products variability control, especially within the framework of a mass- customized production, imposes the ability to adapt the manufacturing control to the product characteristics while ensuring their individual traceability.Our contribution focuses on the formalization of a product driven control modeling framework of the manufacturing systems, based on formal synthesis techniques proposed within the context of Ramadge & Wonham Supervisory Control Theory.The originality of our contribution consists in placing the product at the center of the automation process, by ensuring the interoperability between the control of manufacturing system resources and the control of product routing through the system.Les travaux présentés dans ce mémoire s'inscrivent dans le contexte de l'ingénierie produit/processus des systèmes de fabrication. Ce contexte conduit à repenser l'intégration hiérarchique des procédés de production au profit de structures distribuées plus flexibles et reconfigurables. Plus précisément, la maîtrise de la variabilité des produits, notamment dans le cadre d'une production personnalisée de masse, impose de pouvoir adapter le contrôle de la production aux particularités de chaque produit et d'assurer individuellement leur traçabilité.Notre contribution porte sur la formalisation d'un cadre de modélisation du contrôle par le produit des systèmes d'exécution de la production, basé sur les techniques de synthèse proposées dans le contexte de la théorie de la commande par supervision de Ramadge & Wonham.L'originalité de ces travaux consiste à placer le produit au centre de la démarche d'automatisation, en assurant l'interopérabilité entre le contrôle des ressources du système de fabrication et le contrôle par le produit de son routage à travers le système