Le changement de croyances vise à trouver des moyens adéquats pour faire évoluer les croyances d'un agent lorsqu'il est confronté à de nouvelles informations. Dans la plupart des travaux sur la révision de croyances, l'ensemble de croyances d'un agent est composé de croyances au sujet de l'environnement (le monde) et est représenté par un ensemble de formules de la logique classique. Dans de nombreuses applications, un agent n'est pas seul dans l'environnement, mais le partage avec d'autres agents, qui ont aussi des croyances. Ainsi les croyances sur les croyances des autres agents constituent un élément d'information important pour l'agent, afin d'être en mesure de prendre les meilleures décisions et d'effectuer les meilleures actions. L'utilisation de croyances sur les croyances des autres agents est par exemple cruciale dans la théorie des jeux. Dans cette thèse, nous étudions dans un premier temps les opérateurs de contraction propositionnelle correspondant aux opérateurs de révision de Katsuno et Mendelzon. Nous étudions ensuite une connexion entre les logiques épistémiques et la théorie du changement de croyances, proche de l'approche AGM. Nous nous sommes intéressés à l'utilisation des opérateurs qui modifient les croyances des agents dans les modèles KD45n standard. Cette tâche est plus compliquée que dans le cadre AGM standard, car, dans un contexte multi-agents, les nouvelles informations peuvent prendre différentes formes. Par exemple, chaque nouvelle information peut être observée/transmise/disponible à tous les agents ou seulement à certains d’entre eux. / Belief change is about finding appropriate ways to evolve an agent's beliefs when confronted with new pieces of information. In most works on belief revision, the set of beliefs of an agent is composed of beliefs about the environment (the world) and is represented by a set of formulas of classical logic. In many applications, an agent is not alone in the environment, but sharing with other agents, which also have beliefs. Thus beliefs about the beliefs of other agents are an important piece of information for the agent in order to be able to make the best decisions and perform the best actions. The use of beliefs about the beliefs of other agents is, for exampel, crucial in game theory. In this thesis, we first study the operators of propositional contraction corresponding to the revision operators proposed by Katsuno and Mendelzon. Then, we study a connection between epistemic logics and belief change theory, close to the AGM approach. We are interested in the use of operators that modify agent beliefs in standard KD45n models. This task is more complicated than in the standard AGM framework because, in a multi-agent context, new information can take different forms. For example, each new information can be observed/transmitted/available to all agents or only some of them.

Le partage entre sources indépendantes hétérogènes et distribuées peut être résolu par la construction d’un système d’information coopératif (SIC). Un SIC est un ensemble de composants plus ou moins autonomes, souvent préexistants qui travaillent de manière synergique en échangeant information, expertise et en coordonnant leurs activités. Cela implique notamment la prise en compte de l’interopérabilité liée aux différences de description des données et de représentation de la sémantique. La gestion des données est alors assurée sans recours à un schéma global complet pour respecter l’autonomie des bases locales.Dans ce contexte, nous avons choisi de traiter le thème de la sécurité d’accès dans le but de garantir la confidentialité et l’intégrité des données de la coopération. La sécurité ajoute de nouveaux problèmes d’hétérogénéité et de résolution de conflits à ceux déjà existants en terme de coopération de données. Nous utilisons deux modèles canoniques proposés par l’équipe MODEME, permettant de représenter de manière unifiée les schémas locaux de données et de sécurité. Nous construisons un système pour la gestion de l’interopération des données et des politiques de sécurité, ainsi que la résolution sécurisée de requêtes globales. Nous avons choisi d’implémenter notre système en suivant le paradigme multi-agents avec une approche par médiation et intégration de schémas. Deux protocoles sont définis au regard des deux fonctionnalités du système : - Un protocole de gestion des connaissances permettant de traiter le problème d’interopérabilité entre les différents modes de représentation des données et des modèles de sécurité, et de générer les appariements entre ces différents modèles. - Un protocole de résolution de requêtes à partir des connaissances globales construites a priori, dont l’objectif est de présenter des résultats sémantiquement cohérents et sécurisés. Les agents sont décrits dans leur buts, leurs interactions, leurs connaissances en définissant leur rôle pour chaque protocole, avec notamment le rôle clé de médiateur de sécurité. Un scénario d’expérimentation permet d’illustrer sur un cas concret la génération des connaissances à partir des schémas locaux ainsi que le développement complexe du protocole pour le contrôle d’accès. / Sharing heterogeneous and distributed independent data sources can be solved by building a Cooperative Information System (CIS). A CIS is a set of components, exchanging information, expertise and coordinating their activities. This must consider interoperability related to differences of data description and semantic. Data management is provided without using a comprehensive global scheme to respect the autonomy of local databases.In this context, we chose to treat access security in order to ensure confidentiality and data integrity in a cooperation. This adds new security issues regarding heterogeneity and conflict resolution, on top of those in terms of data cooperation. We use two canonical models proposed by the MODEME team, to represent the local schemas and security policies in a unified way.We build a system to manage the interoperation of data and security policies, and the resolution of secure global queries. We have chosen to implement our system using the multi-agent paradigm, with an schema integration and mediation approach. Two protocols have been defined related to the features of the system: - A knowledge management protocol to address the problem of interoperability between different modes of data representation and security models, and to generate the matches between these different models. - A query resolution protocol using the global knowledge, which aims to present the results semantically consistent and secure. Agents are described in their goals, their interactions, their knowledge by defining their role for each protocol, including the key role of security mediator. An experimental scenario illustrates the knowledge generation from local schemas and the development of protocol for access control.

Les crises projettent la plupart du temps le décideur sur une durée plus ou moins longue dans l’urgence de la décision, avec l’obligation de minimiser les conséquences possibles sur les enjeux. Une équipe de gestion de crise est organisée en cellule et a pour objectif de construire des stratégies de réponse concertées et appropriées. Or, il s’avère que certaines des compétences nécessaires ne peuvent être acquises que par expérience. Ce travail s’attache ainsi à améliorer les processus de formation des décisionnaires en définissant, suivant quatre étapes, un environnement semi-virtuel de formation à la gestion stratégique de crise. Une phase de conception sert tout d’abord de point de départ au cahier des charges d’une implantation physique, d’une ingénierie système et d’une ingénierie pédagogique dédiées. Puis, une étape de modélisation d’un exercice de gestion de crise structure une méthodologie visant à définir les objectifs pédagogiques retenus, et propose une méthode appliquée de génération semi-automatique d’un scénario didactique. Une attention particulière est notamment portée sur l’élaboration d’une typologie d’évènements et d’éléments logiciels permettant la simulation multi-agents de crises virtualisées. Enfin, une méthodologie d’évaluation des participants est proposée dans le but d’enrichir la phase classique de débriefing. Seize indicateurs sont définis et permettent en particulier de construire des arbres de compétences. Une phase de validation porte sur trois de ces quatre axes méthodologiques, et il est montré que les premiers résultats obtenus tendent à valider les spécifications retenues pour l’environnement semi-virtuel de formation développé. / Currently, actors who deal with crisis situations have to make decision under stress and to act in emergency for mitigating the consequences or avoiding the impacts on critical stakes. To achieve this common goal efficiently, these actors must constitute a crisis cell and collaborate in a coordinated way. But crisis management requires skills which depend mainly on experience. That is why, this work aims to propose a set of methods in order to characterize training decision makers. In order to develop a semi-virtual training environment for strategic crisis management, four axes are studied. The first one focuses on a design pattern – based on chronological, systemic and functional analyzes – and leads to the specification of a real generic training platform. The second one defines a methodology for the semi-automatic generation of dynamic crisis scenarios (models, databases, etc.). The third one deals with a simulation model (based on a multi-agent system), and especially a dedicated typology for required events: the phenomena (reactive agents), the operational and tactical actors (archetypical agents), and the pedagogical events (action of trainers). The last one contributes to facilitate the exercises animation and the debriefings management, thanks to three methods of participant assessment. Sixteen indicators are defined and used, in particular, to build capability trees. Finally, three of these four topics have been validated and the first results seem to fit with the aim of the semi-virtual training environment developed.

L'alimentation est une nécessité de base de l'être humain, dont la survie dépend de la quantité et de la qualité de la nourriture ingérée. L'augmentation de la population requiert de plus en plus de nourriture, tandis que la qualité est associée aux contraintes des produits alimentaires comme une courte durée de vie ou la sensibilité à la température. L'augmentation de la demande entraîne une augmentation de la production alimentaire, répartie entre plusieurs sites de production appartenant à plusieurs entreprises de taille variée, qui peuvent utiliser les produits d'autres sites pour fabriquer leurs produits finaux. En outre, certains produits alimentaires doivent être transportés entre les sites et les produits finaux distribués à des détaillants et des consommateurs lointains en tenant compte des contraintes de produits alimentaires. Les activités exercées par ces entités incluent entre autres la production, la distribution, la vente, etc. et ces entités forment conjointement dans l'environnement de l'écosystème alimentaire une chaîne pour le traitement, l'emballage ou la livraison de nourriture. Ce réseau s'appelle une chaîne logistique alimentaire (FSC). En raison de leur nature distribuée, les FSC héritent des problèmes classiques des chaînes logistiques, mais doivent en plus gérer les problèmes découlant de la périssabilité des produits. Cette périssabilité rend extrêmement important le traitement d'enjeux tels que le maintien de la qualité, la prévision de la demande, la gestion des stocks (éviter les ruptures de stock ou les stocks excessifs), l’amélioration de l'efficacité du réapprovisionnement, de la production et du transport, la traçabilité et le suivi pour réagir aux perturbations. Il est donc nécessaire d'établir une collaboration entre les entités principales de l'écosystème alimentaire pour traiter tous ces enjeux. En outre, depuis l'arrivée des entreprises de transport spécialisées, un nouveau acteur a émergé appelé transporteur ou fournisseur de logistique. Ces transporteurs doivent collaborer avec les producteurs, les détaillants et même d'autres transporteurs afin de prendre en compte la demande future et les tendances, afin d'organiser leur réseau et les ressources, pour livrer des produits alimentaires en assurant sécurité et qualité. Ainsi, la collaboration est devenue vitale pour les FSC. La collaboration implique une bonne compréhension des informations échangées afin de minimiser les déplacements, le coût et la pollution environnementale. Des problèmes d'interopérabilité surgissent lorsque les partenaires impliqués utilisent des systèmes hétérogènes et différentes normes et terminologies. Les approches de collaborations existantes comme "Vendor Managed Inventory" (VMI) ou "Collaborative Planning Forecasting and Replenishment" (CPFR) ne prennent en compte que deux acteurs de la FSC : le producteur et le détaillant (acheteur et vendeur). En outre, elles ne considèrent pas la planification de la production et des transports comme des tâches de collaboration. En tenant compte des limitations ci-dessus, nous proposons, dans une première partie de cette thèse, une extension du modèle CPFR prennant en compte les aspects production et transport. Ce nouveau modèle C-PRIPT (Collaborative -Planning Replenishment Inventory Production and Transportation) inclut le transporteur et considère la planification de la production et des transports comme des activités de collaboration. Dans la deuxième partie, nous proposons un modèle distribué et interopérable I-POVES (Interoperable - Path Finder, Order, Vehicle, Environment and Supervisor) pour réaliser la planification des transports en collaboration avec les producteurs, les transporteurs et les détaillants, visant à une meilleure utilisation efficace des ressources de transport. Enfin, nous illustrons le fonctionnement du modèle I-POVES en l’appliquant sur un cas étude de chaîne logistique alimentaire. / Eating is human’s basic necessity whose survival depends on both quantity and quality of food. Increasing population requires increasing in quantity of food, while quality is associated with the food product constraints like short shelf-life, temperature sensitiveness, climate etc. Increasing demand causes increase in food production, which is distributed between several production sites involving several distinct entities from small to large enterprises, where sites may use the intermediate products of other sites to produce the final products. Moreover, food products need to be transported between sites and final products to be distributed to faraway retailer sites and consumers considering the food product constraints. Activities performed by these entities include but not limited to: production, distribution, sales, etc. and these entities form jointly in the environment of food ecosystem a chain for food gathering, processing, packaging, delivery etc. This distributed network of enterprises is called food supply chain (FSC). Due to FSC’s distributed nature, it inherits not only the common problems also faced by other supply chain, but in addition has to deal with the problems arising from the perishability of food products. This perishability nature makes extremely important for FSC, the handling of issues such as maintaining the quality of food products, forecasting the product demand, managing the inventory according to the forecast to reduce out of stock or excessive inventory of products, improving the efficiency of replenishment, production and transportation, taking into account product future demand and tracing and tracking to react to disturbance. Finally, it is necessary to institute collaboration between the main entities of food ecosystem to deal with all of these issues. Furthermore, since the advent of specialized transport enterprises, a new actor has emerged called transporter or logistics provider in the FSC. These transporters have to collaborate with producers, retailers and even other transporters within FSC to take into account product future demands and trends to organise their transport network and resources to make possible the delivery of the food products with security, while maintaining the quality of the food products. Thus, collaboration became vital for FSC. Collaboration involves a good understanding of exchanged information in order to minimizing number of transport travels, cost and environmental pollution. Interoperability problem arises when each of the partners involved in FSC uses heterogeneous systems and uses different standards and terminologies for representing locations, product constraints, vehicles types etc. Furthermore, existing collaborative approaches like Quick Response, Efficient Consumer Response, Vendor Managed Inventory, Collaborative Planning Forecasting and Replenishment (CPFR), etc. take into account only two types of actors of FSC: buyer and seller (producer and retailer). Additionally, they don’t consider the production and transportation planning as collaborative tasks. Taking into account above limitations, we propose, in the first phase of this thesis, an extension of CPFR model, which take into account production and transportation aspects. This new model C-PRIPT (Collaborative -Planning Replenishment Inventory Production and Transportation) includes transporter actor and elaborates production and transportation planning as collaborative activities. In the second phase, we propose a distributed and interoperable transportation planning model I-POVES (Interoperable - Path Finder, Order, Vehicle, Environment and Supervisor) to realise collaborative transportation planning by collaborating producers, transporters and retailers, aiming at a better use of transport resources. Finally, we illustrate the functioning of I-POVES model by applying it on a case study of food supply chain.

Il est bien connu qu’une nouvelle étude, menée au sein d’une entreprise, est souvent semblable à une étude précédente et par conséquent, peut être structurée selon un processus de référence commun au type d’étude correspondant. Dans notre travail, nous l’avons appelé démarche métier. Il s’agit d’une bonne pratique de réalisation d’un type d’études. La difficulté majeure réside dans la formalisation de cette démarche métier. Les approches traditionnelles de capitalisation des connaissances s’appuyant sur des verbalisations d’experts ont montré leur limite. Souvent réalisées en dehors de l’activité réelle, les experts omettent des détails qui peuvent être d’importance. Notre thèse repose sur l’idée qu’il est possible de construire le processus opérationnel mis en œuvre lors des activités collaboratives de conception, à partir des traces enregistrées lors de l’utilisation de l’outil numérique par les acteurs métier. Le processus opérationnel ainsi construit pourra aider les acteurs métiers et les experts à prendre du recul sur le travail réel et à formaliser et enrichir les démarches métier de l’entreprise. Notre travail s’est déroulé au sein du laboratoire ERPI (Équipe de Recherche sur les Processus Innovatifs) de l’Université de Lorraine et en collaboration avec la société TDC Software dans le cadre d’une thèse CIFRE. Les contributions que nous proposons sont les suivantes : • Un double cycle de capitalisation pour des activités instrumentées,• Une approche globale de gestion des démarches métier,• Une ontologie OntoProcess modélisant des aspects organisationnels génériques (séparant clairement des concepts liés aux traces et d’autres liés aux démarches métier) et des extensions métiers spécifiques à l’outil utilisé,• Un système multi-agents supportant l’approche globale de gestion des démarches métiers et s’appuyant sur l’ontologie OntoProcess,• Un système à base de traces permettant de construire un processus opérationnel à partir des traces enregistrées lors d’une étude / It is well known in the enterprises that each new projectto be carried out is usually similar to a certain previous projects. Those projects can be structured according to a common reference process depending on their type. In the dissertation, we call this reference process of the enterprise’s good practices the “expertise business process”. The main difficulty lies in the formalization of the expertise business process. The traditional knowledge capitalization approaches based on the experts’ debriefings showed their limits: the experts often leave out details which may be of relevance because the debriefings are habitually realizedexternally to the activities. Our thesis relies on the idea that it is possible to construct the operational process, implemented during the collaborative activities in a product development study, from the traces recorded by the used IT tools. The constructed operational process allows the business actors and experts to step back on their work and formalize the new deducted experience to enhance the expertise business processes of the firm. Our work had taken place in the ERPI (Equipe de Recherche sur les Processus Innovatifs) laboratory of the “Université de Lorraine” under a partnership with TDC Software society and through a CIFRE Convention. This dissertation offers five key contributions: • A double cycle to capitalize over the instrumented activities. • A global approach for the management of expertise business processes. • An ontology “OntoProcess” to conceive the generic organizational aspects, separating distinctly the concepts related to traces from those related to the business process, and providing extensions in function of the used tools. • A multi-agents system based on the ontology “OntoProcess” to support the presented global approach of the expertise business processes management. • A trace based system that allows the construction of the operational process from the traces registered over the study

L’optimisation de la maintenance industrielle revêt différents aspects suivant les objectifs fixés par l’exploitant industriel. L’objectif le plus courant est la réduction des arrêts et des pannes. Le but est d’assurer une disponibilité élevée de l’équipement. Nous allons plus loin en nous posant la question de l’efficience des coûts de maintenance et de la rentabilité. La réponse donnée ici à cette question provient des résultats d’une fonction de coût associée à une plateforme de simulation basée sur les systèmes multiagents. Le choix du paradigme Agent est motivé par l’utilisation des SMA à d’autres fins de simulation et qu’ils garantissent une forme de souplesse quant à l’évolution du contexte métier. La thèse porte sur un modèle de systèmes multiagents destiné à améliorer la gestion des parcs éoliens à travers la définition d'un ensemble de critères financiers propres à l’exploitant éolien. / Optimization & maintenance in the Industrial sector covers different aspects according to the objectives set by the industrial operator. Their common goal is to reduce downtime and failures. For the windfarm operators the goal is to ensure the wind farms high availibility. We went one step further by asking the question of the efficiency of maintenance costs and the profitability. The answer to this question comes from the results of a cost function associated to a simulation model based on multiagents systems. The choice of the multiagent paradigm is motivated by the use of MAS for other simulation purposes and the fact that they guarantee a kind of flexibility regarding the evolution in a moving business context. This Phd thesis focuses on a multi-agent systems model designed to improve the management of wind farms through the definition of a set of financial criteria specific to the wind farm operators.

Cette thèse s’intéresse à l’étude de la stabilité des systèmes à commutation qui évoluent sur un domaine de temps non uniforme en introduisant la théorie des échelles de temps. On s’intéresse essentiellement aux systèmes dynamiques linéaires à commutation définis sur une échelle de temps particulière T = P{tσk ,tk+1} = ∪∞k=0[tσk , tk+1]. Le système étudié commute entre un sous-système dynamique continu sur les intervalles ∪∞k=0[tσk , tk+1[ et un sous-système dynamique discret aux instants ∪∞k=0{tk+1} (à temps discret) avec un pas discret qui varie dans le temps. Dans une première partie, des conditions suffisantes sont données pour garantir la stabilité exponentielle de cette classe de systèmes à commutation. Ensuite, des conditions nécessaires et suffisantes de stabilité sont données en déterminant une région de stabilité exponentielle. Dans une deuxième partie, la stabilité de cette classe des systèmes à commutation avec des perturbations nonlinéaires a été traitée en utilisant des majorations de la solution, puis en introduisant l’approche de la fonction de Lyapunov commune. La troisième partie est consacrée au problème du consensus en présence d’interruptions de transmission d’informations où le système multi-agent en boucle fermée peut être représenté comme un système à commutation par une combinaison de modèles de systèmes linéaires à temps continu et de systèmes linéaires à temps discret. / This thesis deals with the stability analysis of switched systems that evolve on non uniform time domain by introducing the time scale theory. We are interested mainly in dynamical linear switched systems defined on particular time scale T = P{tσk ,tk+1} = ∪∞k=0[tσk, tk+1]. The studied system switches between a continuous-time dynamical subsystem on the intervals ∪∞k=0[tσk, tk+1[ and a discrete-time dynamical subsystem on instants ∪∞k=0{tk+1} (a discrete time) with a time-varying discrete step. In a first part, sufficient conditions are given to guarantee the exponential stability of this class of switched systems. Then necessary and sufficient conditions for stability are given by determining a region of exponential stability. In the second part, the stability of this class of switched systems with nonlinear uncertainties, is treated using majoration of the solution, and after that by introducing the approach of a common Lyapunov function. The third part is devoted to the consensus problem under intermittent information transmissions where the closed-loop multi-agent system can be represented as a switched system using a combination of linear continuous-time and linear discrete-time systems.

L’étude des systèmes complexes tels que des systèmes écologiques ou urbains, nécessite sou- vent l’usage de simulateurs qui permettent de comprendre les dynamiques observées ou d’avoir une vision prospective de l’évolution du système. Cependant, le crédit donné aux résultats d’une simulation dépend fortement de la confiance qui est accordée au simulateur, et donc de la qualité de sa validation. Cette confiance ne s’obtient qu’au travers d’une étude avancée du modèle, d’une analyse de sensibilité aux paramètres et d’une confrontation des résultats de simulation et des données de terrain. Pour cela, pléthore de simulations est nécessaire, ce qui est coûteux du point de vue des ressources mobilisés (temps de calcul, processeurs et mémoire) et est souvent impossible compte tenue de la taille de l’espace des paramètres à étudier. Il est donc important de réduire de manière significative et intelligente le domaine à explorer. L’une des particularités des simulateurs représentatifs de phénomènes réels est d’avoir un espace des paramètres dont la nature et la forme est fonction : (i) des objectifs scientifiques ; (ii) de la nature des paramètres manipulés ; et (iii) surtout du systèmes complexes étudiés. Ainsi, le choix d’une stratégie d’exploration est totalement dépendante du domaine de l’étude. Les algorithmes génériques de la littérature ne sont alors pas optimaux. Compte tenu de la singularité des simulateurs complexes, des nécessités et des difficultés rencontrées de l’exploration de leur espace de paramètres. Nous envisageons de guider le tâche d’exploration des systèmes complexes en proposant le protocole d’exploration stratifié coopérative GRADEA qui hybride trois algorithmes d’exploration de différents classements dans un même environnement : la recherche en criblage pour zones d’intérêt, la recherche globale et la recherche locale. Différents stratégies d’exploration vont en parallèle parcourir l’espace de recherche pour trouver l’optimum globale du problème d’optimisation et égale- ment pour désigner partiellement la cartographie de l’espace de solutions pour comprendre le comportement émergent du modèle. Les premiers résultats du protocole d’exploration stratifié avec un exemple d’algorithmes présélectionnés d’exploration sont appliquées au simulateur du domaine environnemental pour l’aide à la conception de la planification des politiques de vaccination de la maladie rougeole au Vietnam. Le couplage d’algorithmes d’exploration est intégré sur une architecture modulaire à base d’agents qui sont en interaction avec des noeuds de calcul où sont exécutés les simulations. Cet environnement facilite d’une part le rapprochement et l’interaction entre une selection d’algorithmes d’exploration, et d’autre part l’utilisation de ressources de calcul haute performance. L’enjeu résolu jusqu’à ce temps est de proposer, à la communauté, un environnement optimisé où l’utilisateur sera en mesure : (i) de combiner des algorithmes d’exploration adaptés à son cas d’étude ; (ii) et de tirer parti des ressources disponibles de calcul haute performance pour réaliser l’exploration. / Study of complex systems such as environmental or urban systems, often requires the use of simulators for understanding the dynamics observed or getting a prospective vision of the evolution of system. However, the credit given to results of a simulation depends heavily on the trust placed in the simulator, and the quality of validation. This trust is achieved only through an advanced study on the model, a sensitivity analysis of parameters and a comparison of simulation results and collected data. For all of those, plethora of simulations is necessary, which is costly in term of computing resources (CPU time, memory and processors) and is often impossible because of the size of parameters space. It is therefore important to reduce significantly and intelligently the domain to explore. One of the special properties of representative simulators of real phenomena is that they own a parameters space, of which the nature and the form is based on: (i) the scientific objectives; (ii) the nature of manipulated parameters; and (iii) especially complex systems. Thus, the choice of an exploration strategy is totally dependent on the domain to explore. The generic algorithms in the literature are then not optimal. Because of the singularity of complex simulators, the necessities and the difficulties of exploring their parameters space, we plan to guide the exploration task of complex systems by providing GRADEA, a stratified cooperative exploration protocol, that hybrids three different algorithms of different categories in the same environment: the screening search for areas of interest, the global search and the local search. Various exploration algorithms will explore the search space by parallel manner to find the global optimum of optimization problem and also to partially describe the cartography of solutions space to understand the emergent behavior of the model. The first results of the stratified exploration protocol with an example of preselected search algorithms are applied to the environmental simulator for the design of vaccination policies of measles disease in Vietnam. The coupling of search algorithms is built on a modular and agent based architecture that interacts with a computing cluster where the simulations run. This environment facilitates both the interaction between a group of search algorithms, and also the use of high performance computing resources. The challenge is resolved to propose to community, an optimized environment where users will be able: (i) to combine search algorithms that adapted to case study; (ii) and take advantage of the available resources of high performance computing to accelerate the exploration.

L'évolution des technologies de l'information ainsi que la miniaturisation constante des composants électroniques de ces dernières décennies ont permis de doter les objets de la vie de tous les jours de capacités de calcul et de communication. Ces objets connectés sont disséminés dans l'environnement de l'utilisateur et coopèrent les uns avec les autres afin de fournir à l'utilisateur des services intelligents de manière totalement transparente et non intrusive. Ces environnements sont caractérisés par une grande hétérogénéité ainsi qu'une grande dynamicité. Les intégrations dites verticales (les données des capteurs sont externalisées sur les serveurs d'une entreprise) permettent certes une interopérabilité plus importante, mais engendrent des problèmes de saturation des canaux de communication, ainsi que des questionnements sur la sécurité et la confidentialité de des informations. Pour pallier ces problèmes, les intégrations dites horizontales (les entités matérielles sont mises en relation directement au sein de l'infrastructure) sont encouragées. Dans cette thèse, nous adressons le problème du déploiement et de la configuration automatique d'applications au sein de tels environnements ambiants. Nous proposons des mécanismes permettant, à partir d'une description de l'environnement ambiant, la sélection et la configuration d'entités matérielles qui supporteront l'exécution des applications. Ces mécanismes ont été encapsulé dans un intergiciel basé sur le paradigme Multi-agents dans lequel les différents agents logiciels du système collaborent afin de sélectionner les entités de l'infrastructure respectant les besoins et les contraintes des applications à déployer. / Research domains like Ambient Intelligence or Internet of Things came up in the early 2000’s with the technologic improvement and the ongoing miniaturization of electronic devices. These electronic and information devices are scattered in the user’s environment, can communicate and exchange data more and more easily to provide intelligent and non-intrusive services to the users. However, it is difficult to have generic implementations of these applications. These difficulties are due the the high heterogeneity and dynamicity of the ambient environments. Vertical integrations of connected devices (data exchanges from the devices to external servers) allow more interoperability but generate overloads of the communication channels and privacy concerns. To prevent these problems, horizontal approaches (connected devices communicate directly together through the hardware infrastructure) have to be encouraged. In this thesis work, we address the problem of the automatic deployment and configuration of distributed applications in these ambient environments. We propose mechanisms that allow, from a description of the environment, the selection and the configuraion of the hardware entities that will support the execution of applications. These mechanisms are encapsulated in a middleware based on the multi-agent paradigm. The different agents of the system cooperate in order to select the right hardware entities that respects the requirements and the constraints of the applications we want to deploy.

L’analyse des réseaux sociaux a conduit à la découverte d’une propriété très intéressante : ces réseaux se caractérisent par l’existence de zones de forte densité constituées d’éléments fortement connectés entre eux. Ces zones appelées "communautés", évoluent au cours du temps suivant la dynamique des acteurs sociaux et de leurs interactions. L’identification de ces communautés offre un éclairage intéressant sur la structure du réseau et permet de suivre leur évolution au fil du temps. Bien que ce problème ait donné lieu à de très nombreux travaux ces dernières années, la détection des communautés dynamiques reste encore un problème ouvert et aucune solution entièrement satisfaisante n’est encore proposée. Dans ce travail, nous proposons une approche multi-agents pour la détection des communautés dans les réseaux sociaux dynamiques. Les entités de notre approche observent l’évolution du réseau, et en conséquence, elles adaptent en temps réel le graphe représentant le réseau et elles engendrent les modifications adéquates sur les communautés précédemment détectées. Cette approche permet de modéliser le réseau par un graphe dynamique qui s’adapte en fonction l’évolution observée dans le réseau. Pour cette modélisation, plusieurs aspects du réseau sont intégrés : la structure topologique du graphe, la similarité sémantiques des membres sociaux et la communication entre eux. Cette modélisation se base sur le concept d’homophilie et sur une stigmergie à base des phéromones. Afin d’étudier les performances de l’approche proposée, nous l’avons appliquée sur un ensemble très varié de graphes réels et artificiels. Les résultats ont été suffisamment satisfaisants et montrent la bonne performance de notre modèle. / Analysis of social networks has led to the discovery of a very interesting property : these networks are characterized by the existence of areas with high density composed of highly interconnected elements. These areas called "communities", evolve over time according to the dynamic of social members and their interactions. The identification of these communities offers an interesting light on the network structure and it allows to track their progress over time. Although this problem has been the subject of numerous studies in recent years, the detection of dynamic communities remains an open problem and no fully satisfactory solution has yet been proposed. In this work, we propose a multi-agent approach for the detection of communities in dynamic social networks. The entities of our approach observe the evolution of the network and consequently they adapt in real time the graph representing the network and they generate the appropriate changes on previously identified communities. This approach allows to model the network by a graph that dynamically adapts according to the evolution of the network. For this modeling, several network’s aspects are integrated: the topological structure of the graph, the semantic similarity of social members and the communication between them. This modeling is based on the concept of homophily and a pheromone based stigmergy. In order to study the performances of the proposed approach, we applied it to a divers set of real and artificial graphs. The results were satisfactory enough and show the good performance of our model.