WorldCat Identities

Toguyeni, Abdoul Karim Armand (1964-...).

Overview
Works: 22 works in 36 publications in 2 languages and 40 library holdings
Roles: Thesis advisor, Author, Other, Opponent, Contributor
Publication Timeline
.
Most widely held works by Abdoul Karim Armand Toguyeni
Surveillance et diagnostic en ligne dans les ateliers flexibles de l'industrie manufacturière by Abdoul Karim Armand Toguyeni( Book )

3 editions published in 1992 in French and held by 7 WorldCat member libraries worldwide

Le travail présenté dans ce mémoire a pour objet la surveillance en ligne des systèmes flexibles de l'industrie manufacturière. Le rôle d'une telle fonction est d'assurer la sécurité et la disponibilité des biens et équipements, afin de permettre le maintien d'une production adaptable et évolutive (flexibilité). Pour répondre à ces objectifs, il est nécessaire de pouvoir identifier et confiner les défaillances en temps réel. L'approche proposée concerne la conception d'un système de diagnostic temps réel. Pour faire face à cette contrainte et à la nécessité de complétude, le modèle de connaissance est construit à partir du modèle fonctionnel du procédé. Sur ce modèle baptisé GF (Graphe Fonctionnel), deux formes de raisonnement sont mises en œuvre: le raisonnement temporel et le raisonnement hypothétique. Ces raisonnements permettent d'implémenter les mécanismes de base du diagnostic et du confinement de défaillance, à savoir: la localisation, l'identification et le pronostic. En amont, du diagnostic, nous avons proposé une méthode de conception de la fonction détection basée sur l'utilisation conjointe des techniques de perception-filtrage et de classification des symptômes. En aval, dans le cadre du recouvrement, nous proposons une structuration en couches de la commande, permettant d'intégrer la gestion des modes de marches à la fonction pilotage
Modèle global pour la Qualité de Service dans les réseaux de FAI : intégration de DiffServ et de l'ingénierie de trafic basée sur MPLS by Lee Kyeongja( Book )

3 editions published between 2006 and 2008 in English and held by 3 WorldCat member libraries worldwide

Multipath routing is a mechanism for load balancing in which the total load is spatially distributed over several paths. It can reduce congestion probability given by routing into the shortest path in the current Internet. LSPs of MPLS provide path controllability by explicit route in the connectionless IP network.Multipath routing scheme is composed of two steps, the selection of multiple candidate paths and the traffic splitting among these selected paths. We compare some recent multipath routing algorithms based on MPLS on the point of scalability and stability. Among them, we pick up WDP and LDM for our hybrid approach which combines cross-steps of different algorithms. PER algorithm is proposed in the improvement of LDM's traffic splitting step. Using LDM, WDP and PER, three hybrid QoS algorithms are made. Their performances are proved by simulation that they, especially LBWDP (Load Balancing over Widest Disjoint Paths), are more effective than LDM or MATE. For better QoS guarantee, we integrate DiffServ with our traffic engineering technique (DiffServ-aware MPLS Traffic Engineering : DS-TE). PEMS (PEriodic Multi-Step algorithm in DS-TE network) is proposed as one DS-TE model to differentiate the quality of service according to the class. For PEMS algorithm, we propose a new algorithm to select candidate paths by proper metric of each traffic class. PER algorithm distributes the traffic among its own candidate paths by dynamic metric of requested class. Simulation results using ns-2 showed that PEMS can balance the load less than LBWDP but EF and AF classes can be ensured of the better quality of service than LBWDP
Conception et évaluation d'un modèle adaptatif pour la qualité de service dans les réseaux MPLS by Khodor Abboud( Book )

2 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

L'objectif de ce travail de thèse dans un premier temps est l'évaluation de performances des modèles de routage multi-chemins pour l'ingénierie de trafic et l'équilibrage de charge sur un réseau de type IP/MPLS (MPLS-TE). Nous comparons la capacité de ces modèles à équilibrer la charge du réseau tout en faisant de la différentiation de trafic. Nous les appliquons sur des grandes topologies générées par le générateur automatique des topologies BRITE, qui s'approchent en forme et en complexité du réseau réel. Nous mesurons ainsi l'impact de leur complexité respective et donc la capacité à les déployer sur des réseaux de grande taille (scalabilité). Dans un second temps, l'objectif est de proposer un concept de modélisation générale d'un réseau à commutations par paquets. Ce modèle est établi sur la base de la théorie différentielle de trafic et la théorie des files d'attente, tout en utilisant des approches graphiques. Le but est d'estimer l'état de charge du réseau et de ses composants (routeurs, liens, chemins). Ensuite, en fonction de ça, nous développons des approches de contrôle de congestion et commande sur l'entrée améliorant les techniques de routage adaptatif et l'équilibrage de charge dans les réseaux IP/MPLS
Recherche de chemins dans un graphe à pondération dynamique : application à l'optimisation d'itinéraires dans les réseaux routiers by Mohamed Mejdi Hizem( Book )

2 editions published in 2008 in French and held by 2 WorldCat member libraries worldwide

This thesis aims to develop algorithms and models for optimizing itineraries in road networks. The first part of this work treats the problem of intercepting a mobile in a graph. In this context, the goal is to compute the optimal path to reach a moving target with a known itinerary. This problem is studied for different situations (one pursuer/one target and several pursuers/several targets) and for different types of graphs (time-independent graphs and FIFO graphs). For each case, an algorithm is suggested and its optimality is proven. Moreover, simulations are conducted to check the algorithms efficiency in terms of execution time. In the second part of this thesis, a new class of time-dependent graphs is defined : the time-dependent interval graphs. The distinctive feature of these graphs is that the edge weight is time-dependent and it is defined by an interval. For this new class of graphs, the shortest path problem is studied. This problem can be viewed either as mono-objective optimization problem or as a multi-objective optimization problem. For each case, the problem is formulated and approaches for resolution are proposed
Reconfiguration dynamique de la commande d'un système manufacturier : approche par la synthèse de commande by Eun Joo Lee( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

This work is a contribution to manufacturing systems control and more particularly to their dynamic reconfiguration. In the case of reconfiguration, the background idea is to synthesize controllers according with the user's request and the state of the system. In this case, we have developed a synthesis approach inspired of the supervisory control theory but adapted to the formalism of Petri Nets. The first part of this work situates our contribution with respect to control synthesis based on PN formalism. The selection of PN is justified by their expression power with regard to the modeling of mechanisms such as parallelism and synchronization. Thereby, in our approach we address the different types of user specifications. We present a new problem: the "Forbidden Sequences of State-Transitions Problem" (FSSTP). We propose the "Constrained Synchronous Reachability Graph" (CSRG) to synthesize the plant model and the user specifications model based on PN. The theory is also based on the theory of regions as revisited in the thesis of A. Gaffari. The second part of the work deals with the synthesis of resources allocators' to make determinist the interpretation of operating sequences. The idea is to synthesize deterministic controllers from a given cyclic scheduling established by taking into account the plant state and the production objective. This work is completed by the proposition of a software tool by which we present the main features and also the current limits
Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l'architecture de communication dans la modélisation by Aladdin Masri( Book )

2 editions published in 2009 in English and held by 2 WorldCat member libraries worldwide

Manufacturing systems belong to the class of distributed discrete event systems. Their size requires distributing the software to control them on architecture of several industrial computers connected by networks. In this context, it becomes crucial to be able to evaluate the impact of a specific architecture on the manufacturing systems services both in terms of performance and quality. The performance of the underlying network can notably affect the productivity of the system. In traditional methodology proposed in literature, this aspect is not taken into account in the design stage. Thus, modeling such systems is important to verify some properties at that stage. In this thesis, we propose a component-based modeling approach with High Level Petri nets based method for modeling some network protocols in order to evaluate the manufacturing systems as being distributed systems. The selection of Petri nets is justified by their expression power with regard to the modeling of distributed and concurrent systems. Component-based approach can decrease modeling complexity and encourages genericity, modularity and reusability of ready-to-use components. This allows building new models easily and reducing the systems development cost. Moreover, this can help in better managing services and protocols and to easily change/modify a system element. Finally, this modeling enables us to evaluate discrete event systems by means of centralized simulations
On-line fault diagnosis of FMS based on flows analysis by Olfa Fakhfakh( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Contribution à la Spécification et à la Vérification des Exigences Temporelles : proposition d'une extension des SRS d'ERTMS niveau 2 by Ahmed Mekki( Book )

2 editions published in 2012 in French and held by 2 WorldCat member libraries worldwide

The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers' KO states relatives to the requirements' violation
Contribution à la commande et à l'observation des systèmes en réseaux by Wenjuan Jiang( Book )

2 editions published in 2009 in English and held by 2 WorldCat member libraries worldwide

Cette thèse concerne la stabilisation exponentielle de systèmes commandés en réseaux (NCS en anglais) par retour de sortie. Les solutions proposées reposent sur un observateur distant et capable d'estimer l'état présent du processus malgré les différents retards générés par la présence du réseau. Le premier chapitre présente le contexte général des NCS et décrit plus particulièrement le problème étudié. Le chapitre suivant propose une architecture informatique permettant de réaliser un retour d'état distant basé sur une structure d'observateur. Deux autres chapitres proposent ensuite la synthèse d'un couple loi de commande / observateur garantissant des performances de convergence exponentielle. Les conditions correspondantes s'écrivent sous forme d'inégalités matricielles linéaires (LMI en anglais) et permettent donc une optimisation. Ces conditions sont basées sur la méthode des fonctionnelles de Lyapunov-Krasovskii et des résultats originaux sont proposés. Une première synthèse peut être effectuée globalement, une seconde permet d'adapter les performances dynamiques à la qualité de service disponible à chaque instant. La seconde approche fait intervenir des résultats originaux sur les systèmes à retards et à commutations. Dans un dernier chapitre, nous proposons une solution complètement asynchrone (gérée par événements). Dans ce cas, le problème des pertes de paquets devient crucial et nous y apportant une réponse. L'ensemble des résultats est confirmé par des expérimentations mises au point dans le cadre de ce travail, et correspondant à un robot léger commandé en temps réel à 40km de distance par Internet
Diagnostic des défauts dans les systèmes à évènements discrets soumis à des contraintes temporelles by Sara Rachidi( )

2 editions published in 2019 in French and held by 2 WorldCat member libraries worldwide

This PhD thesis deals with the fault diagnosis of Discrete Event Systems (DES) for which the occurrence of events is constrained by temporal specifications. The domain of application is large and varied ranging from manufacturing systems to transportation systems, communication networks and information systems. The increasing complexity of these systems requires the development of effective and efficient monitoring methods to ensure their security, availability and the maintenance of their properties over the time. For that purpose, Partially Observed Stochastic Timed Petri Nets (POSTPN) are used to model the system and the different faults that may affect it. The study is particularly concerned with faults that result after the violation of temporal constraints. Our main contribution in this thesis is the relevant exploitation of the timed information for the fault diagnosis. In fact, a better use of these temporal informations allow to discern with precision the different behaviors that are consistent with the measurements. In addition, the probability of faults occurrence is evaluated according to the dates of collected measurements. Two approaches are developed : the first one is used for single faults and the second one for slow drifts in cyclical systems
Modèles d'équité pour l'amélioration de la qualité de service dans les réseaux sans fil en mode ad-hoc by Hanal Abu Zanat( Book )

2 editions published in 2009 in English and held by 2 WorldCat member libraries worldwide

This thesis aims to enhance the quality of service (QoS) in wireless ad-hoc networks with fairness. The QoS in wireless ad-hoc networks is referred to the standard IEEE802.11e (EDCA) to guarantee the high priority traffic (i.e. Multimedia and Real-time traffics). Further, the QoS is managed in each station by differentiating the packets in categories to be queued depending on their priorities. Then, these packets will access the channel in different waiting time. However, EDCA cannot control the heavy traffic caused by the ill-behaved users. So, if the traffic is regulated with fairness, it could resolve some of networks' problems like the congestion and starvation. These problems degrade the QoS guarantee, because the ill-behaved sources consume the majority of the allocated resources. That leads to some of source nodes suffer from the lack of bandwidth and unfairness. So, without a proper control mechanism, it could decrease the QoS guarantees. Therefore, we propose (FQ-EDCA) that is a Fairness Queuing model for EDCA. It enhances the QoS by implementing scheduling techniques and improving the architecture of EDCA. Thereby, the traffic is regulated between the source nodes by separating the ill-behaved sources. Thus, the resources are allocated fairly between all the source nodes. Further, a fairness model (F-EDCA) is proposed to differentiate between two source nodes. One of them is routing packets of its neighbors and the other is only sending its packets. Both of these models are implemented and evaluated with EDCA. As a consequence, each of them enhances EDCA, could allocate the resources with fairness in different conditions and increase the QoS guarantee
Surveillance des systèmes à évènements discrets à l'aide des réseaux de Petri Temporels by Mohamed Ghazel( Book )

2 editions published in 2005 in French and held by 2 WorldCat member libraries worldwide

Nous nous intéressons dans le cadre de cette thèse à la surveillance des systèmes à événements discrets (SED). Plus particulièrement, nous cherchons à développer une approche de surveillance qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. II s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Le choix des RdPT se justifie par la riche sémantique de ce type de modèles et par ses bonnes capacités d'expression des aspects liés à la surveillance. Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios événementiels possibles dans le système. Par ailleurs, et en vue de préparer une base pour la mise en oeuvre des mécanismes de surveillance, notre algorithme de construction de l'Estimateur prévoit l'intégration des séquences événementielles antérieures, permettant d'extraire les scénarios possibles suite à l'occurrence d'un événement observable, et des séquences candidates permettant d'anticiper l'analyse des scénarios événementiels possibles. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Les idées développées reposent sur la corrélation des informations recueillies en ligne avec les données de l'Estimateur. Toujours dans le même contexte, une étude de l'observabilité (surveillabilité + diagnosabilité) a été effectuée. Le dernier volet de notre étude concerne le développement de métamodèles pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance. Un tel modèle ne peut en effet être élaboré sans la détermination des relations fonctionnelles, notamment les relations de dépendance et de causalité dans le système étudié. La connaissance des relations fonctionnelles est par ailleurs importante pour assurer l'identification par propagation d'hypothèses de défaillances à travers des modèles fonctionnels. Afin d'assurer la généricité de nos métamodèles, une démarche d'abstraction inspirée du domaine du génie logiciel a été adoptée, et UML a été choisi comme formalisme de modélisation pour les avantages qu'il offre
Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques by Ramla Saddem( )

2 editions published in 2012 in French and held by 1 WorldCat member library worldwide

Aujourd'hui, les systèmes embarqués sont de plus en plus utilisés pour contrôler les systèmes complexes. Dans ce travail de thèse, nous nous intéressons aux systèmes embarqués critiques utilisés pour la commande de systèmes de transport comme les systèmes ferroviaires. Le but de ce travail est de permettre la conception de systèmes tolérants aux fautes pour le contrôle-commande des systèmes de transport. Nous proposons une nouvelle approche de modélisation des systèmes embarqués temporisés pour le diagnostic de leurs fautes. Elle est basée sur une décomposition structurelle du système et sur une extension de la diagnosticabilité modulaire au contexte des systèmes temporisés. On distingue deux approches de base pour le diagnostic de fautes des SED, une approche basée sur les diagnostiqueurs et une approche basée sur les signatures temporelles causales (STC). La principale limite de l'approche diagnostiqueur réside dans la gestion de l'explosion combinatoire. Dans ce travail, notre verrou principal est de combattre cette limite. Nous proposons une nouvelle méthode basée sur l'ingénierie par les modèles pour le diagnostic des systèmes embarqués critiques. D'autre part, la limite majeure de l'approche STC est la garantie de la cohérence d'une base de STC. Un deuxième niveau de difficulté réside dans l'interprétation des événements en entrée du système de diagnostic dans le cadre de l'hypothèse de défaillances multiples. Dans ce travail, nous proposons deux méthodes différentes pour la vérification de la cohérence d'une base de STC et nous proposons un algorithme d'interprétation basé sur le concept de monde qui garantit la correction du diagnostic
Contribution à la conception d'une commande reconfigurable et tolérante aux fautes pour les Systèmes Automatisés de Production by Imane Tahiri( )

1 edition published in 2020 in French and held by 1 WorldCat member library worldwide

The research results presented in this thesis falls within the framework of control reconfiguration of Automated Production Systems (APS) seen as a class of Discrete Event Systems (DES). The reconfiguration is based on Supervisory control theory (SCT) and triggered following a plant fault detection (fault tolerant control). The faults considered in this report are sensor faults (a sensor which remains blocked on reading 1 or on reading 0). The main contribution is based on a safe control synthesis founded on timed properties. In fact, if a sensor fault is detected, the controller of the normal behavior is reconfigured to a timed one where the timed information compensates the information lost on the faulty sensor. The switch between normal and reconfigured behaviors is ensured using reconfiguration rules. The main objective of our method is to implement the obtained control into a PLC. To meet the different objectives, we propose a method to translate the distributed controllers of the two operating modes, as well as the reconfiguration rules into different Grafcets implantable in a PLC. The implementation of these different models is verified by a model-checking technique before being tested on a digital twin. Finally, we apply our contribution to a real system to illustrate our results
Contribution à la tolérance aux fautes des systèmes flexibles de production manufacturière by Abdoul Karim Armand Toguyeni( Book )

1 edition published in 2001 in French and held by 1 WorldCat member library worldwide

Évaluation de performance d'architecture de contrôle-commande en réseau dans un contexte incertain d'avant-vente by Moulaye A.A Ndiaye( )

1 edition published in 2017 in French and held by 1 WorldCat member library worldwide

This PhD dissertation, supported by CIFRE convention between the company Schneider-Electric and the University of Lorraine through the CRAN laboratory, deals with the assessment of temporal performances for a networked distributed control system. The industrial need was the development of a quotation and sizing tool of industrial control architecture during pre-sales stage. This stage is characterized by limited information about the process and the customers' needs. The underlying scientific problematic was the ability to generate automatically models serving as support for the evaluation. In fact, performance assessment is realized for a wide range of architecture during a small amount of time, which is not compliant with a manual definition of the models. Our contribution is mainly based on a formal definition of a “builder” model with Colored and Timed Petri Nets which embeds mechanisms for configuration, instantiation and parameters setting of the architecture models. Several algorithms have been proposed for firstly build automatically the architecture Petri Nets model from a formal description of the topology and from a component model library and, secondly, for generating performance observers. Theses algorithms have been implemented on a tool gathering a user interface developed by Schneider -Electric and the Petri Nets simulator called CPN Tools which provides the performance assessment through Monte-Carlo simulation. The added value of this approach has been illustrated through case studies provided by Schneider-Electric
Contribution au recouvrement des systèmes flexibles de production manufacturière : analyse de la tolérance et reconfiguration by Pascal Berruet( Book )

1 edition published in 1998 in French and held by 1 WorldCat member library worldwide

Le travail presente s'interesse principalement au recouvrement des pannes materielles dans les sfpm. Cette fonction fait partie de la supervision et collabore avec les modules de surveillance, de gestion des modes et de pilotage afin d'elaborer une reaction lorsqu'une panne survient. Son role decisionnel consiste a determiner comment le systeme peut conserver un caractere operationnel malgre la presence d'une panne. Notre contribution est basee sur une demarche en deux temps, s'interessant a la conception puis a l'exploitation. La premiere partie concerne la tolerance aux pannes et vise a concevoir un sfpm dont la disponibilite reste elevee grace a l'analyse de sa flexibilite. L'approche originale se fonde sur la determination des elements critiques du systeme. Elle permet une analyse a priori des architectures de production et un classement par type. L'analyse de la tolerance participe ainsi a l'aide a la conception des architectures materielles. La seconde partie propose une procedure de reconfiguration qui determine, apres l'apparition d'une panne, la nouvelle configuration du sfpm (les ressources a arreter, celles a mettre en marche). La principale caracteristique est une reaction evolutive, fonction de la difficulte de mise en oeuvre et des imperatifs de production. L'approche est fondee sur une analyse de la capacite du systeme a realiser un type de production donne
Sécurisation de capteurs/actionneurs sur réseau industriel by Thomas Toublanc( )

1 edition published in 2018 in French and held by 1 WorldCat member library worldwide

Today, production systems are facing their 4th revolution. This revolution is digital with increasingly dense and complex networks opening on the outside. This openness makes these systems more vulnerable. The threats on these Cyber-Physical Production Systems (CPPS) are no longer just theoretical. The attacks on the German steel mill or the Wannacry crypto virus are perfect examples. This work proposes a tool contributing to the security of the SCPP. Our contributions are threefold: The design of an Anomaly Detection and Response System (ADRS) placed on the field network. It integrates behavioral and informational detection methods. It also includes passive response capabilities, implementing feedback to the human or to higher level systems, and active integrating order filtering or fallback. The application of the proposed methods naturally entails an additional design effort which must be reduced. We have therefore developed an approach to assist designers in the configuration of our ADRS. It is based on a hybrid approach (component / operation) and extends an existing design flow. Several transformations refine monitoring / supervision views of the components while others generate the configuration of the ADRS. A third contribution proposes a realistic demonstrator based on a virtual test environment. It integrates the joint simulation of the operative part and the control part and makes it possible to show the functional qualities of the solutions in the face of attack or failure scenarios
Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains by Yuchen Xie( )

1 edition published in 2019 in English and held by 1 WorldCat member library worldwide

Le degré d'automatisation des systèmes de contrôle ferroviaire est en constante augmentation. Les industriels ferroviaires ont besoin d'un niveau accru de sécurité et de fiabilité pour remplacer les conducteurs par des systèmes de contrôle automatique des trains (ATC). Cependant, la complexité du système est également fortement augmentée par l'intégration des fonctions automatiques, ce qui rend difficile l'analyse de ces systèmes.Différentes méthodes de modélisation peuvent être utilisées pour construire les modèles du système au niveau d'abstraction approprié. Les méthodes de modélisation formelles et les méthodes de vérification formelles fournissent un cadre crucial pour assurer les propriétés de sécurité et de fiabilité. Les Réseaux de Petri constituent un outil formel approprié à la modélisation et à la vérification de systèmes critiques comme les systèmes de contrôle automatique du ferroviaire. Dans cette thèse, nous utilisons plus particulièrement les réseaux de Pétri colorés (CPNs) de Jensen pour exploiter la modularité et la hiérarchisation pour la modélisation et la vérification d'un système de grande taille
Contribution au rééquilibrage dynamique des lignes d'assemblage : modélisation, résolutions et applications by Antoine Manceaux( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

Si le problème d'équilibrage lors de la conception de lignes d'assemblage est largement étudié dans la littérature sous le nom d'ALBP (Assembly Line Balancing Problems), peu de travaux concernent leur rééquilibrage dans un horizon court terme et en-ligne. Les travaux présentés dans ce mémoire portent donc sur le rééquilibrage dynamique des lignes d'assemblage en réaction aux événements court terme perturbants la production. L'objectif étant de changer l'allocation des taches sur les postes de travail afin de lisser la charge induite par la perturbation. Le délai court sans arrêt de production étant plus important que l'optimalité de la solution, le temps de résolution rapide des méthodes de résolution approchées nous a intéressé. Deux approches ont été étudiées pour leur simplicité et leur nouveauté dans le domaine du ALBP : la méthode ILS (Iterated Local Search) et la recherche d'atteignabilité sur un réseau d'automates communicants. Cela nous a montré qu'elles peuvent répondre au besoin de réactivité imposé par notre problème mais qu'elles sont difficilement adaptables lorsque les leviers d'action pour rééquilibrer la ligne sont modifiés. Notre proposition pour répondre à ce besoin d'adaptabilité est une méthodologie de modélisation et de résolution des problèmes de rééquilibrage des lignes d'assemblage s'appuyant sur un réseau d'automates communicants et une recherche d'atteignabilité sur celui-ci. Pour assurer la généricité, la méthodologie est décomposée en deux niveaux d'abstraction : l'étude de la classe du problème ALBP considéré et al résolution du problème spécifique. Les travaux ont été validés sur des exemples industriels issus de la société Trane
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Surveillan ... to 0.00 for Surveillan ...)

Alternative Names
Toguyeni, Abdoul

Toguyeni, Abdoul Karim

Toguyéni, Armand

Languages
French (23)

English (11)