Conception et développement d'un système multi-agent d'aide à la décision pour la gestion de production dynamique

Une prise de décision efficace repose souvent sur le contrôle de l'information dans le temps, cette action vise à capturer des éléments d'information les plus importants qui sont mis à jour de différentes manières. L'intégration des agents aux Systèmes Interactifs d'Aide à la Décision (SIAD) fournit un moyen rentable pour la prise de décision. Les agents planifient dans le système et poursuivent leurs buts et sous-objectifs en coopérant, coordonnant leurs tâches et en négociant entre eux afin de répondre avec souplesse et intelligence aux situations dynamiques et imprévues. En gestion de production temps-réel, le système d'aide à la décision mémorise l'état courant de l'atelier. Il connaît à tout moment l'ensemble des décisions et des événements possibles. Nous distinguons trois contextes d'aide à la décision : (i) aide à la décision pour une séquence admissible; (ii) aide à la décision pour le recouvrement de l'admissibilité et (iii) aide à la décision et à la négociation entre les centres de décision hors du contexte planifié. La présente thèse propose un SIAD à base d'agents afin de résoudre certains problèmes d'incertitude dans le système d'ordonnancement de la production dynamique. Le système développé donne aux centres de décision la possibilité pour prendre des décisions dans un contexte dynamique. Plus précisément, les Stations Intégrées de Production (SIP) seront équipées d'un comportement suffisant pour exécuter des opérations concrètes et réagir simultanément à la complexité des problèmes causés par l'ordonnancement dynamique dans des situations réelles. Ces agents expriment leurs préférences en utilisant la méthode ELECTRE III, afin de résoudre les différences. Le mécanisme de négociation est basé sur le Protocole Contract Net (CNP). Le protocole développé sur JADE fournit des échanges de messages entre les agents et leur propose des comportements prédéfinis. L'approche est testée à travers des scénarii simples.An effective decision making is often based on control information in time. This action aims to capture the current state of the most important information elements updated in different ways. For Decision Support Systems (DSS), the software agents' integration provides an automated, cost-effective means for making decisions. The agents in the system autonomously plan and pursue their actions and sub-goals to cooperate, coordinate, and negotiate with others, and to respond flexibly and intelligently to dynamic and unpredictable situations. In real-time production management, the DSS memorizes the current state-of the workshop. It knows constantly all possible decisions and the possible events involved. We distinguish 3 contexts for the decision-making aid: (1) Decision-making aid in the context of an acceptable sequence; (2) Assistance for the admissibility covering; and (3) negotiation support among different decision-making centers in a dynamic context. The present thesis proposes an agent architecture-based DSS in order to solve some uncertainty problems in dynamic production system scheduling. The proposed DSS gives the decision centers the opportunity to make decisions in a dynamical context. Specifically, Integrated Station of Production agents (ISP) will be equipped with a sufficient behavior to carry out practical operations and simultaneously react to the complex problems caused by the dynamic scheduling in real situations. These agents express their preferences by using ELECTRE III method in order to solve differences. The negotiation mechanism is based on the Contract Net Protocol (CNP). The coordination protocol developed on JADE provides message exchanges between agents and offers them predefined behaviors. The approach is tested through simple scenarios

Prise en compte de la dynamique du contexte pour les systèmes ambiants par systèmes multi-agents adaptatifs

Les systèmes ambiants se composent de nombreux appareils électroniques hétérogènes, distribués dans l'environnement et interagissant de façon dynamique. Dès lors, l'individu est au centre des préoccupations de la conception de ces systèmes qui peuvent et doivent s'adapter au contexte des utilisateurs. On parle alors de systèmes sensibles au contexte. Cependant, la forte dynamique des systèmes ambiants rend difficile, voire impossible, d'établir à l'avance pour de tels systèmes toutes les règles d'adaptation nécessaires. L'apprentissage du comportement à attribuer à un système ambiant en fonction du contexte, en s'affranchissant de toute connaissance a priori, qu'il s'agisse de connaissance sur le comportement qu'il cherche à apprendre, sur les données manipulées, sur les préférences ou profils des utilisateurs, est un défi à lequel tente de répondre cette thèse. La principale contribution de ce travail porte sur la conception du système multi-agent Amadeus. Son objectif est d'apprendre un comportement pertinent pour un système ambiant en se basant sur l'observation des actions récurrentes des utilisateurs, puis d'établir dans quels contextes ces actions sont réalisées afin de suppléer l'utilisateur si une situation similaire se présente. L'apprentissage réalisé par Amadeus s'appuie sur l'approche par AMAS (Adaptive Multi-Agent System), et est local à chaque dispositif. Il consiste à distribuer et à intégrer les agents d'Amadeus à chaque dispositif composant le système ambiant, ces agents étant alors en charge d'apprendre et de mettre en œuvre localement et coopérativement le bon comportement à attribuer au dispositif associé en fonction des actions de l'utilisateur.The ambient systems are composed by many heteregeneous devices, distributed in the environment, and interacting dynamically. So, the person is a central concern of these systems that have to adapt themselves to the users' context. Thos kind of systems are called/named context aware system. However, the strong dynamic of ambient systems makes impossible to design a priori all adaptation rules needed. The learning of the behaviour to give to an ambient system depending of its context, independantly of any a priori knowledge -knowledge about the behaviour he has to learn, about the used data, or about the users preferences- is the challenge to which this thesis tries to answer. The main contribution of this work is the design of the adaptive multi agent system Amadeus. Its objective is to learn a pertinent behaviour for an ambient system based on the observation of the reccuring actions performed by users, and then to determine in which contexts theses actions are performed in order to perform them on behalf of the user. The learning performed by Amadeus is based on the AMAS approach (Adaptive Multi-Agent System), and is local to each device. It consists in distributing and integrating the Amadeus agents to each device of the ambient system, these agents being able to determine locally and cooperatively the good behaviour to assign to the associated device depending of the users actions

Dynamique de l'environnement : Scénarios, simulations et maquette

IP-SIG/LIV/4.2. Contrat RNRT IPSIGCe livrable traite de la négociation dynamique de SLA/SLS et du maintien des paramètres négociés lors de la mobilité du terminal dans le cadre d'une signalisation NSIS. Il fait suite au livrable 4.1 qui présentait un assistant de négociation, coté terminal utilisateur, permettant de négocier dynamiquement les SLA/SLS avec le/les fournisseurs de service, et plusieurs protocoles conformes à l'environnement NSIS afin de négocier le SLS, et maintenir la qualité de service négociée. Il s'agit dans ce livrable de compléter l'approche retenue en présentant des scénarios d'utilisation, notamment dans le cas du protocole de négociation dynamique de paramètres de SLS, des résultats de simulations, principalement pour le protocole de réservation de ressources à l'avance et une maquette permettant de démontrer la faisabilité de la (re)négociation dynamique de SLA/SLS. Cette dernière comporte un module d'apprentissage et un système multi-agents

De l'ordonnancement déterministe à l'ordonnancement distribué sous incertitudes

Ce travail présente l'étude de deux types de problèmes d'ordonnancement. Le premier concerne la résolution centralisée et exacte d'un problème à une machine, le second, la résolution distribuée et coopérative d'un problème job shop où chaque machine est assimilée à un acteur possédant sa propre autonomie décisionnelle. Pour ces deux problèmes, des conditions de dominance sont utilisées, dans le premier cas, dans le but de limiter la complexité algorithmique liée à la recherche de solutions admissibles ou optimales, dans le deuxième cas, pour accroître la capacité de chaque acteur à résister aux incertitudes liées aux fluctuations de son environnement. Dans un premier temps, un théorème proposé dans les années quatre-vingt est rappelé, qui, considérant le problème à une machine, permet de caractériser un ensemble de solutions dominantes. Sur la base de ce théorème, nous proposons ensuite de nouvelles conditions analytiques et numériques de dominance permettant de restreindre encore davantage l'ensemble des solutions dominantes. En exploitant ces résultats, des formulations mathématiques originales et efficaces sont présentées, sous forme de programmes linéaires en nombres entiers, pour la modélisation et la résolution du problème à une machine en s'intéressant tour à tour au critère de minimisation du plus grand retard algébrique, puis à celui de minimisation du nombre de travaux en retard. Dans un deuxième temps, nous étudions le problème d'ordonnancement job shop dans un environnement multi-acteur, chaque acteur gérant l'activité d'une machine. Tenant compte de l'autonomie de décision et des objectifs propres de chacun, l'ordonnancement est envisagé sous la forme d'une fonction distribuée où la solution globale résulte d'une coopération entre les différents acteurs, cette solution pouvant évoluer dans le temps au fur-et-à-mesure des prises de décision locales. Ainsi, chaque acteur construisant localement sa propre organisation et n'ayant qu'une connaissance partielle et incertaine de l'organisation des autres, nous proposons que les organisations locales soient construites de façon robuste. Pour cela nous montrons comment, à l'aide des résultats de dominance, maintenir au niveau de chaque acteur un ensemble dominant de solutions ayant une performance au pire bornée. Une nouvelle approche d'ordonnancement est ensuite proposée où les acteurs négocient deux à deux, de façon distribuée, de façon à converger progressivement vers des décisions assurant un compromis satisfaisant entre l'optimisation des objectifs locaux et des objectifs globaux.This work presents the study of two scheduling problems. The former concerns the exact and centralised resolution of a single machine problem, and the latter, the distributed and cooperative resolution of a job shop, each machine being viewed as an actor having its own decision autonomy. For both problems, dominance conditions are used, in the first case, in order to reduce the algorithmic complexity for seeking feasible or optimal solutions, and in the second case, to increase the ability of each actor to face uncertainties. In the first part, a theorem, stated in the early eighties, is recalled that allows to characterize a set of dominant solutions, considering a one-machine sequencing problem. On the basis of the theorem, new analytical and numerical dominance conditions are established that allow to tighten the set of dominant sequences. Then original and efficient mathematical formulations, in the form of integer linear programs, are proposed for modelling and solving single machine problems. Two kinds of criterion are considered : the minimization of the maximum lateness and the minimization of the number of tardy jobs. In the second part, the job shop scheduling problem is studied, using a multi-actor framework, assuming that each actor manages one machine. Taking into account the decisional autonomy and the own objectives of each actor, scheduling is seen as a distributed and dynamic function, where the global solution emerges from negotiations among the actors. We assume that each actor builds up its own local organisation in a robust way, having an imprecise and partial knowledge of the other actor's organisation. We particularly show how maintaining on each actor a set of dominant job sequences so that the worst performance can be bounded. Then a new scheduling approach is sketched where actors initiate point-to-point negotiation, in a distributed way, so as to progressively converge toward trade-off decisions that balance local and global objectives

Un cadre formel de décision pour la planification multi-niveau de systèmes de production réticulaires

La globalisation des marchés et les évolutions des technologies de communication et d'information ont fait émerger des organisations de production réticulaires (réseaux d'entreprises). Basées sur des relations étroites de partenariat, celles-ci nécessitent de gérer la chaîne logistique et d'étendre les outils de Gestion de Production traditionnelle à l'échelle du réseau d'entreprises. La planification de la production, fonction clé, demeurant mal résolue, ce mémoire propose un modèle formel de données cadrant la décision experte en planification/ordonnancement multi-site de la production. Nos développements sont basés sur le concept de conduite généralisée qui traite conjointement et récursivement l'allocation des tâches au fur et à mesure de la désagrégation des plans et des données techniques afférentes (gammes et ressources). Dans cette approche, chaque ressource est pilotée par un centre de conduite générique impliqué dans des relations de partenariat et/ou de supervision, instanciable à tout niveau de la structure de conduite. Pour tout centre de conduite, on initialise la fonction planification par la donnée d'un carnet de commande. Le processus décisionnel d'un centre se décompose alors en deux phases : - dans un premier temps, un calcul besoin/charge permettant d'évaluer quantitativement, qualitativement et sémantiquement la charge de travail du centre de conduite, - dans un second temps, une allocation charge/ressources internes et/ou externes, intégrant les contraintes d'approvisionnement logistique. Un ensemble de règles permet d'attester, d'une part, de la cohérence du scénario d'allocation proposé et, d'autre part, de la cohérence de la désagrégation et de la répartition des données entre centres de conduite impliqués dans des relations hiérarchiques et/ou de coopération.The market globalisation and the evolution of information and communication technology have led to the emergence of networked production organisations. Based on closed relationship, these organisations need to manage the supply chain and to extend production management tools to the scale of enterprises networks. As the planning function is not well-ensured, our works consists in the proposition of a formal model to support the expert decision in the context of multi-site production planning and scheduling. Our development are based on the concept of generalised production control. This concept allows simultaneous and recursive task allocation, according to the plan and incoming technical data desegregation (roots and resources). In this approach, each resource is controlled by a generic decision centre involved in partner and/or supervision relationships, instanciable at each decision level. For each decision centre, the planning function is initialised by an order book. Then the decisional process of a centre can be split up into two phases : - in the first time, a requirement/load calculus that permits to evaluate qualitatively, quantitatively and semantically the amount of works that the decision centre has to perform, - in the second time, a load external and/or internal resource allocation that takes into account the logistic constraints A set of rules that permit to check the coherency of the proposed allocation scenario and the coherency of the desegregation and repartition of data between decision centres involved in hierarchical and cooperation relation is then proposed

Formalisation Multi-Agents de la Sociologie de l'Action Organisée

The sociology of the organised action (Crozier, Friedberg) is widely used to make diagnostics of organisational context when some structural difficulties are encountered. However, the results of a SOA analysis is essentially informal, no comparisons or generalisation are possible. This work present a formalisation of this theory as: - a meta-model of social organisations, - techniques for an analytic study of an organisation, - simulation, using a model of the actors' bounded rationality, to compute how the actors' behaviours could be regularised.Bien souvent utilisée comme outils d'intégration et d'échange entre les différentes parties de projets scientifiques interdisciplinaires, la simulation numérique est en plein essor dans les sciences sociales, et notamment la simulation multi-agents. En effet, la capacité de calcul de plus en plus puissante des ordinateurs et les méthodes de recherche individu-centrées en sciences sociales (micro-économie ou individualisme méthodologique, pour ne citée que celles-ci) ont suscité un intérêt croissant pour la représentation logicielle de processus interagissant les un avec les autres dans le cadre d'un phénomène qualifié de complexe. Notre thèse se positionne ainsi dans ce contexte, plus particulièrement au niveau des relations causales entre des comportements microscopiques en interaction et un phénomène macroscopique émergeant. Notre travail de recherche s'inscrit dans un projet mené en collaboration avec des sociologues qui vise à rendre compte de phénomènes organisationnels. Plutôt que de s'emparer de cas empiriques et de produire des modèles ad'hoc, nous proposons une démarche innovante consistant à formaliser une théorie sociologique : la Sociologie de l'Action Organisée (SAO) de M. Crozier et E. Friedberg. L'intérêt d'une telle modélisation est de disposer d'un méta-modèle sociologiquement fondé permettant de modéliser de façon formelle différentes organisations relevant de son champ d'expertise. Nous proposons de mettre en œuvre cette formalisation via un laboratoire virtuel, SocLab, permettant d'éditer le modèle d'une organisation puis de mener des expériences et tester nos hypothèses. Du méta-modèle de la SAO à l'outil d'expérimentation SocLab, notre thèse propose une démarche méthodologique pour l'analyse organisationnelle assistée par l'expérimentation virtuelle. Dans la perspective d'analyser la causalité émergente des processus organisationnels, nous avons défini une série d'indicateurs numériques qui servent de base aux interprétations indispensables à la vérification et la validation d'un modèle. Ces indicateurs permettent de caractériser acteurs, relations, et transactions dans les termes de la SAO et de comparer différents modèles, d'une même organisation ou d'organisations différentes. Nous présentons ensuite un modèle d'agent adaptatif à base de règles qui rend compte du comportement stratégique des acteurs dont la rationalité est orientée vers la coopération tel que le postule la SAO. Nous présentons par ailleurs une méthodologie de validation des modèles de rationalité. Enfin nous illustrons notre démarche avec un cas d'étude issu du corpus SAO, que nous modélisons, soumettons à diverses hypothèses, que nous interprétons et (in)validons par la simulation. Outre la démarche de formalisation de la SAO et le développement du laboratoire virtuel SocLab, la thèse présente de nombreuses originalités que ce soit au niveau des concepts développés autour de l'échange et de la coopération, au niveau du modèle d'agent stratégique-coopératif, ou au niveau des outils d'analyse produits ou mis en œuvre. L'intérêt principal réside dans le développement d'une démarche rigoureuse couvrant de nombreux aspects de l'utilisation de l'expérimentation virtuelle en sociologie qui devrait permettre au chercheur, à l'étudiant comme aux consultants en organisation de produire des raisonnements solides sur le /phénomène organisation/

Raisonnement stratégique et tactique : une approche pour la communication entre agents logiciels basée sur la pertinence

Dans cette thèse, nous proposons une approche de communication entre agents logiciels basée sur la pertinence. Le problème est pour nous de permettre aux agents logiciels participant à des interactions dialogiques argumentatives d'être plus efficaces dans leurs communications. Nous nous sommes focalisés sur les deux questions : 1) l'élaboration d'un modèle permettant aux agents de générer, d'adopter, d'annuler et de réaliser les sous-buts nécessaires à l'accomplissement de leurs buts conversationnels; 2) l'élaboration d'un modèle permettant aux agents de choisir à chaque étape de l'interaction dialogique, les arguments les plus pertinents qui contribuent à la réalisation de leurs buts conversationnels. En premier lieu, nous avons développé un modèle de raisonnement stratégique qui permet à un agent logiciel participant à une interaction dialogique d'avoir une orientation, en termes des contraintes à satisfaire et de sous-buts à accomplir, lui permettant de réaliser son but conversationnel. Notre idée fondamentale est de proposer un modèle de communication entre agents logiciels basé sur la notion de stratégie, au lieu des protocoles de communication. La stratégie d'un agent est déterminée par un raisonnement stratégique. Ce raisonnement permet d'une part, de choisir le plan global de la communication en termes de buts stratégiques à accomplir afin de réaliser le but conversationnel. D'autre part, le raisonnement stratégique permet d'orienter la réalisation d'un but en spécifiant les contraintes que l'agent veut satisfaire. Les buts stratégiques sont les sous-buts nécessaires à la réalisation du but conversationnel. Pour adopter ou réviser une stratégie, nous avons proposé un cadre formel basé sur les arguments pour gérer les buts stratégiques et les contraintes des agents. Les buts stratégiques sont générés au début du dialogue, comme ils peuvent être annulés ou remplacés par des alternatives pendant le déroulement de l'interaction dialogique. Ces alternatives sont d'une grande importance. En effet, elles permettent aux agents de persister dans la poursuite de leurs buts. Cependant, les contraintes reflètent les limites rencontrées par l'agent pour réaliser son but conversationnel. Ces contraintes peuvent être également générées au début ou au cours du déroulement de l'interaction dialogique. Un autre point important dans notre approche réside dans le fait que les agents peuvent vérifier à chaque instant qu'un but poursuivi est réalisable ou non, ce qui permet de renforcer la rationalité et l'efficacité des agents. Nous avons ensuite élaboré un modèle de raisonnement tactique permettant aux agents de réaliser leurs buts stratégiques élémentaires fixés par la stratégie adoptée d'une façon pertinente. Dans les approches argumentatives, les actions des agents sont justifiées par des arguments. Afin de permettre aux agents d'agir d'une façon pertinente, notre modèle de raisonnement permet de choisir à chaque étape de l'interaction dialogique l'argument le plus pertinent qui a, selon les connaissances de l'agent, la plus forte chance d'être accepté par l'interlocuteur. C'est l'argument qui va être utilisé pour supporter l'acte de langage permettant la réalisation d'un but stratégique élémentaire fixé par la stratégie adoptée par l'agent. Notre modèle de raisonnement tactique est guidé par un mécanisme de sélection. Ce mécanisme permet, dans un premier temps, de supprimer les arguments non pertinents. Ensuite, il permet d'établir un ordre entre les arguments pertinents en utilisant la relation d'ordre de pertinence. Cette relation est basée sur la relation de favori entre les arguments, les préférences privées de l'agent et le risque d'échec de chaque argument. Ce mécanisme emploie notre théorie de la pertinence qui tient compte du contexte de l'interaction dialogique. Un avantage important de l'utilisation de ce mécanisme de sélection réside dans le fait qu'il permet le retour-arrière pour explorer d'autres alternatives d'argumentation. Ceci permet à l'agent de persister davantage dans la réalisation de son but conversationnel. Notre modèle de raisonnement tactique permet également de comparer les arguments indépendamment de leurs conclusions. Ceci permet à l'agent de décider, selon l'argument le plus pertinent sélectionné, s'il va attaquer le point de vue de son adversaire ou s'il va défendre son point de vue. Par ailleurs, nous avons proposé un modèle de négociation basé sur les contraintes et utilisant l'argumentation. Dans ce modèle, chaque agent est capable de déterminer, à chaque étape de la négociation, l'ensemble de ses arguments potentiels et l'ensemble de ses offres potentielles. Chaque offre doit être justifiée par des arguments. Chaque agent essaye de réaliser son but en utilisant des arguments pour convaincre les autres agents de faire des concessions. La prise en compte des arguments reçus et de nouveaux arguments générés durant la négociation permet aux agents d'avoir des ensembles d'offres qui varient d'une étape à l'autre, ce qui permet de refléter l'aspect dynamique des négociations. Dans le cas où il y a plusieurs arguments qui supportent la même offre, nous utilisons notre modèle de raisonnement tactique pour déterminer l'argument le plus pertinent. Les contraintes de négociation permettent à chaque agent négociateur de déterminer son espace d'accord. Ainsi, chaque agent pourrait calculer son degré de satisfaction, soit pour chaque contrainte de négociation soit pour la négociation au complet. Notre modèle permet également à chaque agent négociateur de calculer ses offres en fonction de l'ensemble des variables associées aux contraintes de négociation, ce qui lui permet de garantir sa satisfaction et d'éviter le risque de faire des concessions excessives à l'autre agent. De plus, l'utilisation du processus d'argumentation, permet à nos agents de faire des concessions lorsque cela s'avère nécessaire, ce qui leur permet d'avoir plus de chances d'atteindre un accord. Pour décrire l'évolution de la négociation, nous proposons un algorithme qui spécifie le comportement de chaque agent dans les différentes situations. En outre, nous avons montré que notre approche permet à chaque agent de toujours choisir la meilleure offre et la négociation se termine toujours avec ou sans accord après un nombre fini d'étapes. S'il y a un accord dans une négociation donnée, nous avons montré que cet accord constitue un compromis satisfaisant pour les deux agents négociateurs. Nous avons également implémenté notre algorithme de négociation

Utilisation d’ordres partiels pour la caractérisation de solutions robustes en ordonnancement

Ce travail s’intéresse à la caractérisation hors ligne d’ensembles flexibles de solutions en ordonnancement. Il s’inscrit dans le champ de l’ordonnancement robuste pour lequel on désire construire un ensemble d'ordonnancements relativement insensible, du point de vue de ses performances, aux événements imprévus survenant lors de la mise en œuvre en environnement perturbé. L’approche robuste proposée est de type proactif-réactif. Elle s’est particulièrement focalisée sur la phase proactive où il s'agit d’anticiper la mise en œuvre de l’ordonnancement, en construisant au plus tôt une organisation relativement insensible aux perturbations, tout en disposant d’indicateurs relatifs à la performance temporelle.\ud Dans un premier temps, le problème d’ordonnancement à une machine est étudié. Pour ce problème, un ordre partiel dominant basé sur une analyse de structure d’intervalles est décrit. Cet ordre partiel caractérise un ensemble dominant de solutions de cardinalité calculable, dont la performance au mieux et au pire, en terme de retard algébrique, peut être déterminée en temps de calcul polynomial. Deux approches d’ordonnancement robuste sont ensuite proposées permettant soit de caractériser toutes les séquences optimales contenues dans l’ensemble dominant initial, soit de trouver un compromis flexibilité / performance acceptable.\ud Dans un deuxième temps, les problèmes d’ordonnancement à plusieurs machines sont considérés. Un ordre partiel suffisant est d'abord proposé pour le problème flow shop de permutation à deux machines. Deux algorithmes utilisant les résultats obtenus pour le problème à une machine, sont ensuite présentés dans le cadre de problèmes de type job shop.\ud This work aims at characterizing offline sets of scheduling solutions which aim at providing some flexibility. It belongs to the field of robust scheduling where one wants to build a schedule which is insensitive, regarding its performances, to unforeseen events which occur during the schedule execution in a disrupted environment. The proposed robust approach is of proactive-reactive type. It focuses, in particular, on the proactive phase which aims at anticipating the execution of the schedule by building as soon as possible an organization which is relatively insensitive to disruptions, while possessing some indicators related to the temporal performance.\ud In the first part, the one machine scheduling problem is studied. For this problem, we describe a dominant partial order which is based on an analysis of particular interval structures. This partial order characterizes a set of solutions having a calculable cardinality. Moreover, the best and the worst performances of this solution set, in term of lateness, can be computed in a polynomial time. Then, two robust scheduling approaches are proposed, which allow either to characterize all optimal sequences contained in the initial dominant set or to find an acceptable flexibility / performance trade-off. \ud In the second part, we are interested in scheduling problems with several machines. A sufficient partial order is firstly proposed for the two-machine permutation flow shop problem. Then, two algorithms using the results for the one machine problem are presented in order to solve the job shop problem.\u

Architecture logique d'un système multi agents de suivi multi caméra distribué : exploitation du modèle de croyance transférable

This thesis presents the joint use of the theory of evidence and multiple hypothesis tracking for modeling and managing a system for monitoring multiple cameras in a motorway. The tracking is based on the re-identification of objects (vehicles) on the basis of visuals and times informations. A realization of these concepts results in the design and implementation of a software architecture for multiple agents management of multiple camera tracking system. After presenting the state of the art on the frameworks of uncertainty management and that on information fusion for the matching, and the multi-agent systems, our contribution in this work is on two or three levels. The first was an adaptation of the decision phase of the transferable belief model to incorporate the use of multi-hypotheses tracking as a tool of ambiguity survey in case of indecision in matching situation. The second contribution was a proposition of agent-based software architecture for management of a multiple cameras tracking system. We have proposed the global system modeling as well as agents and their interactions modeling using a personal analysis method but nevertheless inspired by modelisation languages and tolls such as Agent UML, MaSE and others, because there is not yet a standard and normalized tool on the subject. Our third contribution was to begin an implementation of our agent-based software architecture using JADE (Java Agent Development Framework). Some experiment and discussions are presented at the end to lead to our conclusions and perspectives.Cette thèse présente l'utilisation conjointe de la théorie de l'évidente et du suivi multi-hypothèses pour la modélisation et la gestion d'un système de suivi multi-caméras dans un environnement autoroutier. Le suivi est basé sur la ré-identification des objets (véhicules) sur la base d'information visio-temporelles. Une concrétisation de ces concepts se traduit par la conception et la mise en oeuvre d'une architecture logicielle multi-agents de gestion du suivi multi-caméras. Après une présentation de l'état de l'art sur les cadres de gestion de l'incertain et celui relatif à fusion de l'information pour la mise en correspondance, et sur les systèmes multi-agents, notre apport dans ce travail se situe à trois niveaux. Le premier a été une adaptation de la phase de décision du modèle de croyance transférable pour y intégrer l'utilisation du suivi multi-hypothèses comme outil de levée d'ambigüité rn cas d'indécision face à une situation de mise en correspondance. Le second apport a été celui de proposer une architecture logicielle à base d'agents pour la gestion du système du suivi multi-caméras. Nous en avons proposé la modélisation globale ainsi que celle des agents et de leurs interactions en utilisant une démarche personnelle d'analyse mais toutefois inspirée de langages et outils de modélisation tels que Agent UML et MaSE pour ne citer que ceux-là, du fait qu'il n'existe pas réellement un standard normalisé à ce jour dans ce domaine. Notre troisième apport a été de faire un début d'implémentation de notre architecture logicielle à base d'agent en nous basant sur la plateforme JADE (Java Agent DEvelopment Framework). Quelques expérimentations et discussions des résultats sont présentées à la fin pour déboucher sur nos conclusions et perspectives