Thèse soutenue

Contribution à la gestion de l'adaptabilité et de l'évolutivité des systèmes cyber-physiques de production (CPPS - Cyber-Physical Production Systems)
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Douha Macherki
Direction : Jean-Yves CholeyMohamed Haddar
Type : Thèse de doctorat
Discipline(s) : Génie électrique et électronique - Cergy
Date : Soutenance le 21/10/2022
Etablissement(s) : CY Cergy Paris Université en cotutelle avec École nationale d'ingénieurs de Sfax (Tunisie)
Ecole(s) doctorale(s) : École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise)
Partenaire(s) de recherche : Laboratoire : QUARTZ (ECS, L@RIS, LISMMA)
Jury : Examinateurs / Examinatrices : Jean-Yves Choley, Mohamed Haddar, Vincent Cheutet, Abdelkhalak El Hami, Riadh Chaari, Maher Barkallah, Thierno M. L. Diallo, Elise Vareilles
Rapporteurs / Rapporteuses : Vincent Cheutet, Abdelkhalak El Hami

Résumé

FR  |  
EN

Les systèmes de production doivent s'adapter aux changements internes et externes qui sont de plus en plus fréquents. Grâce à leur capacité d'auto-reconfiguration, les systèmes cyber-physiques de production (CPPS) peuvent faire face à ce besoin d'adaptation. Pour mettre en œuvre cette fonctionnalité d'auto-reconfiguration dans des conditions économiques et sécuritaires satisfaisantes, les CPPS doivent disposer d'outils appropriés et d'informations contextualisées. Ces informations peuvent être organisées sous la forme d'une architecture. Après une analyse de plusieurs architectures holoniques et non holoniques, nous avons proposé une architecture holonique qui permet une reconfiguration fiable et efficace : l'architecture QHAR (Q-Holonic-based ARchitecture). QHAR est construite à partir des Q-Holons. Le Q-Holon est un Holon enrichi ayant quatre dimensions (physique, cyber, humaine et énergétique) et peut échanger trois flux (énergie, donnée et matériel) que nous avons développé. Nous l'avons défini pour être un Holon générique pouvant représenter toute entité ou tout acteur de la chaîne de valeur et capable de représenter tous les flux que ces entités et acteurs peuvent s'échanger. L'architecture QHAR est structurée en trois niveaux : contrôle centralisé, contrôle décentralisé et exécution. En adoptant la philosophe des architectures oligarchiques ou semi-hétérarchique, l'architecture QHAR permet les échanges entre les entités d'un même niveau pour négocier et coopérer. Nous avons ensuite proposé un algorithme de reconfiguration basé sur l'architecture QHAR permettant la mise en œuvre effective de la fonctionnalité d'auto-reconfiguration. Cet algorithme se déroule en trois étapes principales : (1) la détection du besoin de reconfiguration, (2) la détermination des entités nécessaires à la nouvelle configuration et (3) la définition de la nouvelle implémentation. Pour automatiser la vérification des contraintes dans le processus de reconfiguration, nous avons modélisé le problème de reconfiguration à l'aide des équations logiques de la SMT (Satisfaction Modulo Théories). Cette modélisation a consisté essentiellement à la définition de la topologie, de la validité et des missions du système. Les trois contributions précédentes ont été appliquées et testées sur un cas d'étude représentatif des systèmes de production visés.