⚡ electrical engineering

Circulatory Load-sharing Redundancy for Resource Single Point of Failure in Automated Manufacturing Systems Using Petri Nets

Ce document propose une technique de redondance par partage de charge circulaire basée sur les réseaux de Petri qui améliore la résilience des systèmes de fabrication automatisés face aux défaillances de ressources uniques en redistribuant dynamiquement les tâches entre les ressources voisines en cercle, atteignant ainsi une efficacité de récupération élevée sans nécessiter de ressources de secours supplémentaires ni de perte opérationnelle.

Auteurs originaux : Ebrahim A. Alzalab, Adeeb A. Ahmed, Haithm M. Al-Gunid, Sadiq Ghalib

Publié 2026-08-31

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ebrahim A. Alzalab, Adeeb A. Ahmed, Haithm M. Al-Gunid, Sadiq Ghalib

Article original sous licence CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Les usines modernes s'appuient sur des systèmes automatisés qui déplacent des pièces, assemblent des composants et emballent des marchandises avec une vitesse incroyable. Ces machines travaillent selon un rythme étroitement coordonné, où un robot transmet une pièce à un autre, qui la passe ensuite à une machine pour traitement. Toute l'opération dépend du fait que chaque composant accomplisse sa tâche. Si un robot tombe en panne ou si un capteur défaillit, le flux peut s'interrompre complètement. Il ne s'agit pas seulement d'un inconvénient mineur ; un arrêt de la ligne de production signifie une perte de temps, un gaspillage de matériaux et des dommages financiers importants. Pendant des décaines, les ingénieurs ont tenté de résoudre ce problème en ajoutant des machines de secours. Si le robot principal tombe en panne, un exemplaire de rechange prend le relais. Cependant, l'achat et l'installation de matériel supplémentaire pour chaque machine est coûteux, et la gestion de la transition entre eux peut créer ses propres problèmes complexes, provoquant parfois le gel total du système.

Une équipe de chercheurs a proposé une autre manière de gérer ces pannes, qui évite le besoin de pièces de rechange supplémentaires. Au lieu d'ajouter de nouvelles machines, ils suggèrent de disposer les robots existants peu fiables en cercle. Dans cette configuration, chaque robot est responsable de son propre travail, mais il se tient également prêt à reprendre la tâche de son voisin si celui-ci cesse de fonctionner. Si le premier robot tombe en panne, le second prend le relais. Si le deuxième tombe en panne, le troisième prend la suite, et ainsi de suite, jusqu'à ce que le cercle revienne au premier. Cette méthode, appelée redondance par partage de charge circulaire, permet au système de continuer à fonctionner même lorsqu'une pièce se casse, sans nécessiter de matériel supplémentaire ou de couches de contrôle complexes. Les chercheurs ont testé cette idée à l'aide d'un modèle informatique d'un sol d'usine pour voir si elle pouvait réellement maintenir la ligne de production en mouvement.

L'étude se concentre sur un type spécifique de système automatisé appelé cellule de fabrication, où plusieurs robots et machines partagent des ressources pour traiter des pièces. Les chercheurs ont utilisé un outil mathématique appelé réseau de Petri pour cartographier précisément la façon dont ces systèmes se comportent. Considérez un réseau de Petri comme un organigramme détaillé qui suit le mouvement des jetons, lesquels représentent les pièces en cours de fabrication, à travers les différentes étapes de la production. Cet outil permet aux ingénieurs de prédire où le système pourrait rester bloqué, un état connu sous le nom d'interblocage (deadlock), où aucune pièce ne peut avancer car chaque machine attend une autre. Dans un modèle d'usine standard sans aucun plan de secours, si un seul robot critique tombe en panne, l'ensemble du système s'arrête. Les jetons représentant les pièces restent bloqués, et la production s'arrête complètement.

Pour tester leur nouvelle idée circulaire, les chercheurs ont construit un modèle numérique d'une usine comprenant quatre robots et deux machines. Ils ont disposé les quatre robots en boucle, où chacun agit comme une sauvegarde pour celui qui le précède. Ils ont ensuite simulé un scénalio où l'un des robots s'est soudainement arrêté de fonctionner. Dans le modèle traditionnel sans redondance, la défaillance a provoqué l'arrêt immédiat du système, entraînant une récupération nulle du processus de production. Cependant, lorsqu'ils ont appliqué l'arrangement circulaire, le système a réagi différemment. Dès que le premier robot est tombé en panne, le modèle a automatiquement transféré les tâches destinées à ce robot défectueux au robot suivant dans le cercle. Le deuxième robot a repris le travail supplémentaire, et la ligne de production a continué de progresser.

Les résultats de la simulation ont été frappants. Lorsque les chercheurs ont introduit une défaillance au milieu d'un cycle, le système doté du plan de secours circulaire a été capable de récupérer 90,5 % de sa production normale. Cela signifie que même avec un robot en panne, l'usine a continué à produire la grande majorité de ses pièces. Les chercheurs ont noté qu'il y avait un léger coût à cette résilience. Lors du fonctionnement normal, lorsqu'aucun robot n'est en panne, le système avec le plan circulaire produit légèrement moins de pièces par heure qu'un système standard sans caractéristiques de redondance. La production est passée d'une moyenne de 9,3 pièces à 7,7 pièces. Cette baisse est due à la légère surcharge de gestion de la logique de secours, mais les chercheurs soutiennent que perdre environ 17 % de la vitesse normale est un compromis acceptable pour la capacité de continuer à fonctionner à 90 % de la capacité lors d'une défaillance.

L'étude a également examiné la complexité du système. La méthode circulaire a ajouté quelques étapes supplémentaires au modèle informatique, augmentant le nombre de transitions que le système doit suivre, mais elle l'a fait sans nécessiter de nouvelles machines physiques. Les chercheurs ont constaté que le système restait stable et ne se retrouvait pas bloqué dans des interblocages, même lorsqu'un robot tombait en panne. Ils ont prouvé mathématiquement que tant qu'un seul robot tombe en panne à la fois, le système sera toujours capable de trouver un moyen de faire avancer les pièces. C'est une amélioration significative par rapport aux méthodes précédentes qui reposaient sur des machines de secours dédiées, qui sont coûteuses, ou sur des systèmes hiérarchiques, qui peuvent être difficiles à analyser et sujets à leurs propres erreurs.

Les chercheurs prennent soin de préciser les limites de leurs conclusions. Leurs simulations supposaient qu'un seul robot tomberait en panne à un instant donné. Ils n'ont pas testé ce qui se passerait si deux robots ou plus tombaient en panne simultanément, car cela nécessiterait un arrangement plus complexe. Ils ont également noté que le modèle actuel utilise des choix aléatoires pour certaines actions, et qu'une approche plus déterministe pourrait améliorer davantage la vitesse. Malgré ces limites, ce travail démontre une voie claire vers des usines automatisées plus résilientes. En repensant simplement la façon dont les machines existantes sont connectées et dont elles se soutiennent les unes les autres, il est possible de construire des systèmes capables de résister aux pannes sans le coût élevé de l'achat d'équipements supplémentaires. L'étude conclut que cette approche circulaire offre un moyen pratique et efficace de maintenir les lignes de fabrication en mouvement face aux défaillances mécaniques inévitables.

Résumé Technique : Redondance de Partage de Charge Circulaire pour le Point de Défaillance Unique de Ressource dans les Systèmes de Fabrication Automatisés à l'aide des Réseaux de Petri

Énoncé du Problème
Les systèmes de fabrication automatisés (AMS) sont hautement susceptibles de défaillances de ressources (par exemple, robots, machines, capteurs), ce qui peut interrompre des lignes de production entières, causant des pertes financières et des temps d'arrêt importants. Bien que les réseaux de Petri aient été largement utilisés pour modéliser et contrôler les systèmes à événements discrets (DES) afin d'éviter les blocages dans des environnements fiables, la présence de ressources non fiables complique ces stratégies de contrôle. Les approches de tolérance aux pannes existantes, telles que la Redondance de Partage de Charge (LSRR - Load-Sharing Redundant Resources), reposent généralement sur des ressources de secours dédiées ou des mécanismes de commutation hiérarchiques. Ces méthodes entraînent des coûts matériels élevés, augmentent la complexité de la conception logique et introduisent des problèmes d'inversion de priorité et de surcharge de contrôle. De plus, l'extension des schémas de secours dédiés à des systèmes comportant plusieurs ressources non fiables nécessite un ratio de secours de un pour un, ce qui est économiquement prohibitif. Le problème spécifique traité est la manière de parvenir à la tolérance aux pannes pour plusieurs ressources non fiables dans un AMS sans ajouter de matériel de secours dédié ou de structures hiérarchiques complexes, tout en maintenant la vivacité et le bornage du système.

Méthodologie
Le document propose une technique de Récupération par Redondance de Partage de Charge Circulaire (C-LSRR). La méthodologie centrale comprend les composants suivants :

Disposition Circulaire : Les ressources non fiables ( $R = \{r_1, r_2, ..., r_n\}$ ) sont disposées selon une topologie circulaire ( $r_1 \to r_2 \to ... \to r_n \to r_1$ ). Dans cette configuration, chaque ressource $r_i$ est secondée par son successeur immédiat $r_{i+1}$ (avec $r_1$ servant de secours pour $r_n$ ).
Modélisation par Réseau de Petri (US3PR vers C-LSRR) : Le système est modélisé à l'aide d'une extension de la classe S3PR (System of Simple Sequential Processes with Resources), nommée US3PR (Unreliable S3PR). Le modèle C-LSRR proposé introduit un sous-réseau de commutation circulaire sans arcs inhibiteurs.
- Sous-réseaux de Défaillance/Réparation : Pour chaque ressource non fiable $r_i$ , un sous-réseau local de défaillance/réparation est ajouté, composé d'une place de défaillance ( $fail_i$ ), d'une transition de défaillance ( $t_{fail, r_i}$ ) et d'une transition de réparation ( $t_{rep, r_i}$ ).
- Duplication de Transitions : Pour chaque transition $t$ dans le réseau original qui consomme la ressource $r_i$ , une transition dupliquée $t^{(i)}$ est créée. Cette transition dupliquée consomme la ressource de secours $r_{i+1}$ et nécessite un jeton dans $fail_i$ pour se déclencher.
- Logique de Fonctionnement : En conditions normales, les jetons résident dans les places de ressources, permettant le déclenchement des transitions originales. Lors d'une défaillance, un jeton se déplace vers $fail_i$ , désactivant les transitions originales et activant les transitions dupliquées, qui redirigent la charge de travail vers la ressource suivante dans le cercle. Lors d'une réparation, le jeton revient dans la place de la ressource, rétablissant le fonctionnement normal.
Contrôle Supervisé (TGAL) : Pour garantir que le système reste vivant (sans blocage) et borné tant en mode nominal qu'en mode dégradé (défaillance unique), l'algorithme TGAL (Think Globally, Act Locally) est employé.
- Un superviseur est synthétisé pour le mode nominal (toutes les ressources fonctionnent).
- Des superviseurs distincts sont synthétisés pour chaque mode dégradé (défaillance d'une seule ressource), où la ressource défaillante et sa ressource de secours sont effectivement traitées comme une capacité groupée.
- Ces superviseurs sont consolidés en un seul contrôleur par la suppression des moniteurs redondants (invariants de place).

Principales Contributions
Le document expose cinq contributions principales :

Mécanisme de Redondance Circulaire : Un nouveau schéma de redondance pour gérer plusieurs ressources non fiables qui ne nécessite aucun matériel de secours supplémentaire ni couches hiérarchiques, en s'appuyant sur le secours mutuel entre les ressources existantes.
Modèle de Réseau de Petri sans Inhibiteur : Un modèle formel de réseau de Petri utilisant un sous-réseau de commutation circulaire qui gère les transitions de défaillance et de réparation sans utiliser d'arcs inhibiteurs, économisant ainsi les ressources de calcul.
Vérification Formelle : Des esquisses de preuves et des définitions établissant que le réseau C-LSRR résultant préserve la vivacité et le bornage en cas de défaillance d'une seule ressource.
Synthèse de Contrôleur : L'application et l'adaptation de l'algorithme TGAL au réseau C-LSRR pour générer des superviseurs imposant la vivacité pour les états normaux et dégradés.
Vérification Expérimentale : Des résultats de simulation démontrant l'efficacité de l'approche sur un modèle de référence S4R.

Résultats Expérimentaux
La méthodologie a été validée par des simulations sur un modèle S4R contenant 23 places, 18 transitions et 4 robots non fiables ( $R_1$ à $R_4$ ) avec 50 pièces initiales.

Performance de Référence : Un système S4R non redondant a atteint un débit moyen de 9,3 pièces. Cependant, lors de la défaillance du robot $R_1$ , le système s'est arrêté complètement (0 % de récupération).
Performance C-LSRR (Normal) : Le système C-LSRR sans défaillance a atteint un débit moyen de 7,7 pièces, soit une diminution de 17 % par rapport à la référence en raison de la surcharge du mécanisme de redondance.
Performance C-LSRR (Défaillance) : Lorsque $R_1$ a échoué à l'étape 7 500, le système C-LSRR a continué à fonctionner avec un débit moyen de 7,0 pièces. Cela a permis un taux de récupération de 90,5 % par rapport à l'état dégradé du système non redondant.
Surcharge : Le modèle C-LSRR a augmenté le nombre de places de 17 % (23 à 27) et de transitions de 111 % (18 à 38). Le temps de simulation a augmenté de 40 % (3,2 s à 4,5 s), ce que les auteurs jugent raisonnable pour un usage pratique.
Comparaison : Le taux de récupération de 90,5 % surpasse les solutions non redondantes (0 %) et est compétitif par rapport aux solutions LSRR dédiées (citées à 77,8 % dans la littérature antérieure), sans les coûts matériels associés.

Signification et Revendications
Le document affirme que le C-LSRR offre une solution rentable et structurellement simple pour la tolérance aux pannes dans les AMS. En disposant les ressources en cercle, le système atteint une haute résilience (90,5 % de récupération) contre les défaillances de point unique, sans nécessiter de matériel de secours dédié ni de structures de contrôle hiérarchiques complexes. Les auteurs soulignent que la légère réduction du débit normal (de 9,3 à 7,7 pièces) est un compromis justifiable pour le gain significatif en disponibilité du système. L'approche est présentée comme une alternative viable à la redondance dédiée, particulièrement pour les systèmes où les coûts matériels sont une contrainte.

Limites et Travaux Futurs
Les auteurs notent explicitement que l'approche actuelle suppose qu'une seule ressource échoue à la fois ; la gestion de défaillances multiples simultanées est reportée à des travaux futurs. De plus, l'étude repose sur une sélection aléatoire des transitions, et les auteurs suggèrent que des approches déterministes pourraient améliorer davantage le débit. Les futures directions de recherche incluent l'extension de la méthode à des défaillances multiples, l'optimisation du débit via des transitions déterministes, le test sur des modèles plus complexes et l'intégration de l'apprentissage automatique pour la prédiction des défaillances.

Articles similaires