Le travail présenté se situe dans le champ des systèmes complexes. Certains problèmes complexes ne possèdent pas de solution analytique ou ont une solution trop compliquée pour être mise en œuvre facilement. Les méthodes analytiques traditionnelles se posent soit d'un point de vue global (holiste) soit découpent la complexité en éléments distincts pour représenter le comportement du système par une seule entité (réductionniste). Elles sous-estiment ainsi la complexité des différents niveaux d'organisation du système et leur imbrication. De fait, il est quasiment impossible de prévoir l'évolution de tels systèmes à cause du trop grand nombre d'entités et de leurs interactions.<br />Une autre approche se base sur la modélisation du comportement de chaque élément participant à cette évolution ainsi que celle de ses interactions avec les autres éléments et avec l'environnement. Lors de ces interactions, différents types de données peuvent être échangés (information, argent, nourriture, virus, etc...). Ces échanges peuvent être vus comme un flux. Le principe est de mettre en relation des entités ayant des caractéristiques simples qui leur permettront d'interagir les unes avec les autres dans un environnement spécifique afin d'obtenir un comportement global de plus haut niveau. Comme nous pouvons l'observer dans certaines sociétés d'animaux dits sociaux, la performance collective émerge des interactions directes ou indirectes entre les individus et l'environnement : elle est le résultat d'un processus d'auto-organisation au cours duquel l'environnement et la collectivité se structurent mutuellement. L'imprévisibilité de l'évolution des systèmes complexes ne permet pas de les caractériser complètement. Par conséquent, pour modéliser et comprendre la circulation de flux dans de tels systèmes, il est nécessaire de se tourner vers la simulation. <br />Afin de tenir compte des différentes spécifications des systèmes complexes dans leur modélisation, les Systèmes MultiAgents (SMA) représentent une méthode particulièrement appropriée. Il est alors possible de représenter des phénomènes environnementaux comme la conséquence d'interactions d'agents agissant en parallèle, chaque agent étant une entité réactive et autonome. <br />Notre travail est centré sur l'étude de la gestion des flux dans les systèmes complexes par l'élaboration de Simulation Orientée Agents (SOA). En particulier, nous appliquons cette démarche à l'étude de la circulation d'un parasite (Cryptosporidium parvum) dans un écosystème. L'objectif est de mieux comprendre les différents épisodes d'infection auprès de population d'hôtes (animale ou humaine) sous des contraintes spécifiques. Étant donné que ce parasite est particulièrement résistant aux méthodes de désinfection traditionnelles, il est nécessaire de saisir les facteurs prédominants agissant dans la contamination et la propagation du parasite. <br />A cet effet, les données, recueillies auprès de biologistes, nous ont permis de concevoir un outil d'expérimentation en épidémiologie. Cette SOA permet une exploration des comportements possibles du système où circule Cryptosporidium spp.. Ainsi, un ensemble de scenarii a pu être simulé. Les résultats permettent d'évaluer la fiabilité de la modélisation, puis, d'émettre de nouvelles hypothèses concernant la dissémination du parasite.<br />Dans l'objectif d'apporter aux biologistes un outil d'aide à la décision autonome, nous avons développé un système de niveau supérieur (méta-système) capable de réaliser le monitoring d'une SOA. Ce méta-système, basé sur le concept de métaheuristique, cherche à optimiser le comportement du système en fonction d'une problématique précise en évaluant l'impact de facteurs prédéfinis sur l'évolution de la SOA. Ainsi, il est à même d'interpréter les résultats des simulations pour permettre de faire émerger, par l'auto-génération de scenarii, les causes qui influent sur la propagation du parasite.

Ce mémoire introduit les systèmes de gestion de règles et de flux de travail. En faisant la synthèse de critères d'évaluation établis dans la littérature pour ces deux types de produits et en dégageant des critères spécifiques aux besoins des organismes de finance sociale et solidaire, le mémoire établit une grille d'évaluation pour les systèmes de gestion de règles et une seconde pour les systèmes de gestion de flux de travail. Les logiciels JBoss Drools, CLIPS et OpenRules sont évalués selon la première grille. Les logiciels JBoss jBPM, Bonita Open Solution et Enhydra Shark sont évalués selon la seconde. À la lumière des résultats obtenus, JBoss Drools et Bonita Open Solution sont recommandés comme étant les solutions libres les plus adaptées pour gérer respectivement les règles et les processus d'affaires des organismes de finance sociale et solidaire. ______________________________________________________________________________

Cette thèse concerne à la gestion globale à base de modèle des flux énergétiques dans le bâtiment. L'objectif des systèmes de gestion de l'énergie proposés est d'aider les occupants à gérer leur système bâtiment en planifiant la consommation/production des différents équipements présents en fonction des tarifs, de la disponibilité de l'énergie et des usages de l'occupant. L'objectif de cette thèse est de proposer une approche de résolution multi-solveurs s'appuyant sur le paradigme multi-agent.Pour y parvenir, nous avons développé, dans un premier temps, un service multi-phase, qui représente plusieurs phases flexibles avec des niveaux de consommation différents, offrant un niveau de précision supérieure pour des équipements comme une machine à laver. Dans un second temps, notre travail a consisté à proposer une nouvelle approche d'optimisation combinant différents solveurs embarqués dans des agents logiciels. Le résultat est une approche d'optimisation hybride à base d'agents, s'appuyant sur des algorithmes PLNE et des méta-heuristiques.

Ce travail a trait à la gestion des flux énergétiques électriques au sein du réseau embarqué d'un véhicule électrique. Les éléments constitutifs de la chaîne électrique ont été d'abord modélisés à des fins de commande et de simulation. Il est visé ici la minimisation du stress des batteries au plomb via une hybridation avec des supercondensateurs. Deux familles de lois de commande ont été conçues et développées, à savoir des lois de type " fréquentielles " et des lois optimales de type " Linéaires Quadratiques Gaussiennes ". Un banc de test temps réel hybride a été architecturé afin de tester ces lois. Ce banc de test a pour noyau deux simulateurs temps réel (RT-LAB et dSPACE). Une partie de la chaîne de puissance est soit émulée par des sources contrôlées ou réalisée via des maquettes à échelle réduite mais à facteur de similitude respecté. Les essais sur le banc de test ont permis d'obtenir des résultats satisfaisants et encourageants qui corroborent la théorie.

Cette thèse concerne à la gestion globale à base de modèle des flux énergétiques dans le bâtiment. L'objectif des systèmes de gestion de l’énergie proposés est d’aider les occupants à gérer leur système bâtiment en planifiant la consommation/production des différents équipements présents en fonction des tarifs, de la disponibilité de l'énergie et des usages de l'occupant. L’objectif de cette thèse est de proposer une approche de résolution multi-solveurs s'appuyant sur le paradigme multi-agent.Pour y parvenir, nous avons développé, dans un premier temps, un service multi-phase, qui représente plusieurs phases flexibles avec des niveaux de consommation différents, offrant un niveau de précision supérieure pour des équipements comme une machine à laver. Dans un second temps, notre travail a consisté à proposer une nouvelle approche d’optimisation combinant différents solveurs embarqués dans des agents logiciels. Le résultat est une approche d’optimisation hybride à base d’agents, s’appuyant sur des algorithmes PLNE et des méta-heuristiques. / This PhD focuses on the global energy management based on energetical flux models ofbuildings. The objective of the energy management system is to help the inhabitants to manage theirbuilding, by scheduling the consumption/production of the different appliances, taking into accountenergy costs, availability et inhabitants’ preferences. The PhD objective is to propose a resolution approach with several solvers inspired by the multi agent systems.A multi-phasis service representing several phasis has been developped. Each phasis is defined by its own consumption level. This type of service presents a better precision than singlephasis approaches to model some appliances. A new optimization approach has been developped. Itcombines different solvers embedded into software agents. The results is an hybrid approach forthe optimization based on the multi-agent system, using MILP algorithms and meta-heuristics.

Ce travail a trait à la gestion des flux énergétiques électriques au sein du réseau embarqué d’un véhicule électrique. Les éléments constitutifs de la chaîne électrique ont été d’abord modélisés à des fins de commande et de simulation. Il est visé ici la minimisation du stress des batteries au plomb via une hybridation avec des supercondensateurs. Deux familles de lois de commande ont été conçues et développées, à savoir des lois de type « fréquentielles » et des lois optimales de type « Linéaires Quadratiques Gaussiennes ». Un banc de test temps réel hybride a été architecturé afin de tester ces lois. Ce banc de test a pour noyau deux simulateurs temps réel (RT-LAB et dSPACE). Une partie de la chaîne de puissance est soit émulée par des sources contrôlées ou réalisée via des maquettes à échelle réduite mais à facteur de similitude respecté. Les essais sur le banc de test ont permis d’obtenir des résultats satisfaisants et encourageants qui corroborent la théorie. / This work addresses the management of electrical energy flows within the embedded network of anelectric vehicle. The electrical system components were first modeled for purposes of control synthesisand simulation. It is aimed the minimization of lead-acid batteries stress via hybridization withultracapacitors. Two families of control laws have been conceived and developed, namely afrequency-domain-based law and an optimal Linear Quadratic Gaussian law. A real-time hybrid testbench has been built in order to test these laws. This test bench has two core real-time simulators (RTLABand dSPACE). A part of the power chain has been either emulated by using suitably-controlledsources or realized by using small-scale real hardware with the similarity factor being respected. estson the testbed have yielded satisfactory and encouraging results that corroborate the theory.

Cette thèse s’intéresse au cas d’un port maritime dans lequel des terminaux à conteneurs coopèrent afin de fournir un meilleur service global. Pour coordonner les opérations entre les terminaux, un modèle et plusieurs méthodes de résolution sont proposés. L’objectif est de minimiser les temps de rotation des navires aux longs cours, des navires caboteurs, des barges fluviales et des trains. Une solution au modèle fournit une affectation des véhicules de transport de conteneurs aux terminaux, ce qui inclue les camions, ainsi qu’une allocation de ressources et des intervalles temporels pour leurs prises en charge et pour celles de leurs conteneurs. Pour obtenir des solutions au modèle, une formulation du problème comme un programme linéaire en variables mixtes est proposée, ainsi que plusieurs heuristiques basées sur la programmation mathématique. Une méthode de planification en horizon glissant est introduite pour la gestion dynamique avec prise en compte des incertitudes. Des expériences numériques sont conduites avec des milliers d’instances réalistes variées, dont les résultats indiquent la viabilité de notre approche. Des résultats démontrent qu’autoriser la coopération entre terminaux augmente significativement la performance du système. / This thesis deals with the case of a maritime port in which container terminals are cooperating to provide better global service. In order to coordinate operations between the terminals, a model and several solving methods are proposed. The objective is to minimize turnaround times of mother and feeder vessels, barges and trains. A solution to the model provides an assignment of container-transport vehicles to the terminals, including trucks, as well as an allocation of resources and time intervals to handle them and their containers. To obtain solutions to the model, a mixed-integer programming formulation is provided, as well as several mathematical programming based heuristics. A rolling horizon framework is introduced for dynamic management under uncertainty. Numerical experiments are conducted on thousands of various realistic instances. Results indicate the viability of our approach and demonstrate that allowing cooperation between terminals significantly increases the performance of the system.

Les applications de gestion de flux sont responsables de la majorité des calculs des systèmes embarqués (vidéo conférence, vision par ordinateur). Leurs exigences de haute performance rendent leur mise en œuvre parallèle nécessaire. Par conséquent, il est de plus en plus courant que les systèmes embarqués modernes incluent des processeurs multi-cœurs qui permettent un parallélisme massif. La mise en œuvre des applications de gestion de flux sur des multi-cœurs est difficile à cause de leur complexité, qui tend à augmenter, et de leurs exigences strictes à la fois qualitatives (robustesse, fiabilité) et quantitatives (débit, consommation d'énergie). Ceci est observé dans l'évolution de codecs vidéo qui ne cessent d'augmenter en complexité, tandis que leurs exigences de performance demeurent les mêmes. Les modèles de calcul (MdC) flot de données ont été développés pour faciliter la conception de ces applications qui sont typiquement composées de filtres qui échangent des flux de données via des liens de communication. Ces modèles fournissent une représentation intuitive des applications de gestion de flux, tout en exposant le parallélisme de tâches de l'application. En outre, ils fournissent des analyses statiques pour la vivacité et l'exécution en mémoire bornée. Cependant, les applications de gestion de flux modernes comportent des filtres qui échangent des quantités de données variables, et des liens de communication qui peuvent être activés / désactivés. Dans cette thèse, nous présentons un nouveau MdC flot de données, le Boolean Parametric Data Flow (BPDF), qui permet le paramétrage de la quantité de données échangées entre les filtres en utilisant des paramètres entiers et l'activation et la désactivation de liens de communication en utilisant des paramètres booléens. De cette manière, BPDF est capable de exprimer des applications plus complexes, comme les décodeurs vidéo modernes. Malgré l'augmentation de l'expressivité, les applications BPDF restent statiquement analysables pour la vivacité et l'exécution en mémoire bornée. Cependant, l'expressivité accrue complique grandement la mise en œuvre. Les paramètres entiers entraînent des dépendances de données de type paramétrique et les paramètres booléens peuvent désactiver des liens de communication et ainsi éliminer des dépendances de données. Pour cette raison, nous proposons un cadre d'ordonnancement qui produit des ordonnancements de type ``aussi tôt que possible'' (ASAP) pour un placement statique donné. Il utilise des contraintes d'ordonnancement, soit issues de l'application (dépendance de données) ou de l'utilisateur (optimisations d'ordonnancement). Les contraintes sont analysées pour la vivacité et, si possible, simplifiées. De cette façon, notre cadre permet une grande variété de politiques d'ordonnancement, tout en garantissant la vivacité de l'application. Enfin, le calcul du débit d'une application est important tant avant que pendant l'exécution. Il permet de vérifier que l'application satisfait ses exigences de performance et il permet de prendre des décisions d'ordonnancement à l'exécution qui peuvent améliorer la performance ou la consommation d'énergie. Nous traitons ce problème en trouvant des expressions paramétriques pour le débit maximum d'un sous-ensemble de BPDF. Enfin, nous proposons un algorithme qui calcule une taille des buffers suffisante pour que l'application BPDF ait un débit maximum. / Streaming applications are responsible for the majority of the computation load in many embedded systems (video conferencing, computer vision etc). Their high performance requirements make parallel implementations a necessity. Hence, more and more modern embedded systems include many-core processors that allow massive parallelism. Parallel implementation of streaming applications on many-core platforms is challenging because of their complexity, which tends to increase, and their strict requirements both qualitative (e.g., robustness, reliability) and quantitative (e.g., throughput, power consumption). This is observed in the evolution of video codecs that keep increasing in complexity, while their performance requirements remain the same or even increase. Data flow models of computation (MoCs) have been developed to facilitate the design process of such applications, which are typically composed of filters exchanging streams of data via communication links. Data flow MoCs provide an intuitive representation of streaming applications, while exposing the available parallelism of the application. Moreover, they provide static analyses for liveness and boundedness. However, modern streaming applications feature filters that exchange variable amounts of data, and communication links that are not always active. In this thesis, we present a new data flow MoC, the Boolean Parametric Data Flow (BPDF), that allows parametrization of the amount of data exchanged between the filters using integer parameters and the enabling and disabling of communication links using boolean parameters. In this way, BPDF is able to capture more complex streaming applications, like video decoders. Despite the increase in expressiveness, BPDF applications remain statically analyzable for liveness and boundedness. However, increased expressiveness greatly complicates implementation. Integer parameters result in parametric data dependencies and the boolean parameters disable communication links, effectively removing data dependencies. We propose a scheduling framework that facilitates the scheduling of BPDF applications. Our scheduling framework produces as soon as possible schedules for a given static mapping. It takes us input scheduling constraints that derive either from the application (data dependencies) or from the user (schedule optimizations). The constraints are analyzed for liveness and, if possible, simplified. In this way, our framework provides flexibility, while guaranteeing the liveness of the application. Finally, calculation of the throughput of an application is important both at compile-time and at run-time. It allows to verify at compile-time that the application meets its performance requirements and it allows to take scheduling decisions at run-time that can improve performance or power consumption. We approach this problem by finding parametric throughput expressions for the maximum throughput of a subset of BPDF graphs. Finally, we provide an algorithm that calculates sufficient buffer sizes for the BPDF graph to operate at maximum throughput.

Les applications de gestion de flux sont responsables de la majorité des calculs des systèmes embarqués (vidéo conférence, vision par ordinateur). Leurs exigences de haute performance rendent leur mise en œuvre parallèle nécessaire. Par conséquent, il est de plus en plus courant que les systèmes embarqués modernes incluent des processeurs multi-cœurs qui permettent un parallélisme massif. La mise en œuvre des applications de gestion de flux sur des multi-cœurs est difficile à cause de leur complexité, qui tend à augmenter, et de leurs exigences strictes à la fois qualitatives (robustesse, fiabilité) et quantitatives (débit, consommation d'énergie). Ceci est observé dans l'évolution de codecs vidéo qui ne cessent d'augmenter en complexité, tandis que leurs exigences de performance demeurent les mêmes. Les modèles de calcul (MdC) flot de données ont été développés pour faciliter la conception de ces applications qui sont typiquement composées de filtres qui échangent des flux de données via des liens de communication. Ces modèles fournissent une représentation intuitive des applications de gestion de flux, tout en exposant le parallélisme de tâches de l'application. En outre, ils fournissent des analyses statiques pour la vivacité et l'exécution en mémoire bornée. Cependant, les applications de gestion de flux modernes comportent des filtres qui échangent des quantités de données variables, et des liens de communication qui peuvent être activés / désactivés. Dans cette thèse, nous présentons un nouveau MdC flot de données, le Boolean Parametric Data Flow (BPDF), qui permet le paramétrage de la quantité de données échangées entre les filtres en utilisant des paramètres entiers et l'activation et la désactivation de liens de communication en utilisant des paramètres booléens. De cette manière, BPDF est capable de exprimer des applications plus complexes, comme les décodeurs vidéo modernes. Malgré l'augmentation de l'expressivité, les applications BPDF restent statiquement analysables pour la vivacité et l'exécution en mémoire bornée. Cependant, l'expressivité accrue complique grandement la mise en œuvre. Les paramètres entiers entraînent des dépendances de données de type paramétrique et les paramètres booléens peuvent désactiver des liens de communication et ainsi éliminer des dépendances de données. Pour cette raison, nous proposons un cadre d'ordonnancement qui produit des ordonnancements de type ``aussi tôt que possible'' (ASAP) pour un placement statique donné. Il utilise des contraintes d'ordonnancement, soit issues de l'application (dépendance de données) ou de l'utilisateur (optimisations d'ordonnancement). Les contraintes sont analysées pour la vivacité et, si possible, simplifiées. De cette façon, notre cadre permet une grande variété de politiques d'ordonnancement, tout en garantissant la vivacité de l'application. Enfin, le calcul du débit d'une application est important tant avant que pendant l'exécution. Il permet de vérifier que l'application satisfait ses exigences de performance et il permet de prendre des décisions d'ordonnancement à l'exécution qui peuvent améliorer la performance ou la consommation d'énergie. Nous traitons ce problème en trouvant des expressions paramétriques pour le débit maximum d'un sous-ensemble de BPDF. Enfin, nous proposons un algorithme qui calcule une taille des buffers suffisante pour que l'application BPDF ait un débit maximum. / Streaming applications are responsible for the majority of the computation load in many embedded systems (video conferencing, computer vision etc). Their high performance requirements make parallel implementations a necessity. Hence, more and more modern embedded systems include many-core processors that allow massive parallelism. Parallel implementation of streaming applications on many-core platforms is challenging because of their complexity, which tends to increase, and their strict requirements both qualitative (e.g., robustness, reliability) and quantitative (e.g., throughput, power consumption). This is observed in the evolution of video codecs that keep increasing in complexity, while their performance requirements remain the same or even increase. Data flow models of computation (MoCs) have been developed to facilitate the design process of such applications, which are typically composed of filters exchanging streams of data via communication links. Data flow MoCs provide an intuitive representation of streaming applications, while exposing the available parallelism of the application. Moreover, they provide static analyses for liveness and boundedness. However, modern streaming applications feature filters that exchange variable amounts of data, and communication links that are not always active. In this thesis, we present a new data flow MoC, the Boolean Parametric Data Flow (BPDF), that allows parametrization of the amount of data exchanged between the filters using integer parameters and the enabling and disabling of communication links using boolean parameters. In this way, BPDF is able to capture more complex streaming applications, like video decoders. Despite the increase in expressiveness, BPDF applications remain statically analyzable for liveness and boundedness. However, increased expressiveness greatly complicates implementation. Integer parameters result in parametric data dependencies and the boolean parameters disable communication links, effectively removing data dependencies. We propose a scheduling framework that facilitates the scheduling of BPDF applications. Our scheduling framework produces as soon as possible schedules for a given static mapping. It takes us input scheduling constraints that derive either from the application (data dependencies) or from the user (schedule optimizations). The constraints are analyzed for liveness and, if possible, simplified. In this way, our framework provides flexibility, while guaranteeing the liveness of the application. Finally, calculation of the throughput of an application is important both at compile-time and at run-time. It allows to verify at compile-time that the application meets its performance requirements and it allows to take scheduling decisions at run-time that can improve performance or power consumption. We approach this problem by finding parametric throughput expressions for the maximum throughput of a subset of BPDF graphs. Finally, we provide an algorithm that calculates sufficient buffer sizes for the BPDF graph to operate at maximum throughput.

De nos jours, le transport maritime, en pleine évolution, joue un rôle très important dans le monde économique. Face à ce contexte, les différents maillons des chaînes logistiques portuaires sont tenus à améliorer continuellement leur performance pour rester compétitifs. Dans cette thèse, nous proposons une approche, appelée ECOGRAISIM, pour l'évaluation de la performance d'une chaîne logistique portuaire. Elle combine la méthode ECOGRAI et la simulation afin de déterminer et de mesurer les indicateurs de performance. L’originalité dans ce travail est que l’approche ECOGRAISIM offre une étape supplémentaire qui consiste à montrer efficacement comment peut-on agir sur le système à évaluer. Dans notre démarche ECOGRASIM, nous nous intéressons à la phase concernant les variables d'action et nous proposons une nouvelle étape pour réaliser le pilotage par la performance. Nos travaux de recherche concernent tout particulièrement le terminal multimodal du port du Havre. Nous nous focalisons sur les processus de manutention et de transfert massifié des conteneurs par navettes ferroviaires. Le but est d’obtenir un mode d’exploitation performant du terminal multimodal en comparant les différents scénarios de transfert des conteneurs par rapport à la minimisation des retards, des coûts et des émissions de CO2. / Nowadays, maritime transport, in full evolution, plays a very important role in the economic world. Against this background, the different seaport supply chains entities must improve continuously their performance to remain competitive. In this thesis, we propose an approach called ECOGRAISIM for evaluating the performance of seaport supply chain. It combines ECOGRAI method and simulation to identify and to measure performance indicators. The originality of the ECOGRAISIM approach is to provide an additional step to show how to act on the system to be evaluated. In this approach, we focus on action variables and we propose a new step to achieve the performance control. Our research works concern the multimodal terminal of Le Havre seaport. We focus on the processes of handling and massified transfer of containers by rail shuttles. The goal is to obtain an efficient operating process for the multimodal terminal by comparing different scenarios of containers transfer according to the minimization of delays, costs and CO2 emissions.