201 |
Public participation in science and technology policy: consensus conferences and social inclusionBal, Ravtosh 18 May 2012 (has links)
This study looks at the National Citizens' Technology Forum (NCTF), a modified version of the consensus conference, which took place in March, 2008 in six cities across the U.S. to understand how inclusive these methods of public participation are in practice. The research focused on two of these sites. Inclusion of participants was defined in terms of presence, voice and being heard. Transcripts of the audio-visual recordings of the proceedings were the main data of analysis. By focusing on the talk within these deliberative forums, the study looked at how the rules of engagement and status (ascribed and achieved) differences between participants can affect inclusion. The analysis did not reveal any substantial effects of ascribed characteristics on deliberation. Facilitation and the presence of expertise among the participants were found to influence inclusion and equality among participants. These findings suggest that organizers and facilitators of deliberative exercises have to be reflexive of their role as well as aware of the group dynamics. The results also address the larger questions within science and technology policy like the role of expertise and the public in decision making, the institutional design of participatory exercises, and their relation to the political culture and the policy process.
|
202 |
Nouvelles techniques informatiques pour la localisation et la classification de données de séquençage haut débit / Novel computational techniques for mapping and classification of Next-Generation Sequencing dataBrinda, Karel 28 November 2016 (has links)
Depuis leur émergence autour de 2006, les technologies de séquençage haut débit ont révolutionné la recherche biologique et médicale. Obtenir instantanément une grande quantité de courtes ou longues lectures de presque tout échantillon biologique permet de détecter des variantes génomiques, révéler la composition en espèces d’un métagénome, déchiffrer la biologie du cancer, décoder l'évolution d’espèces vivantes ou disparues, ou mieux comprendre les schémas de la migration humaine et l'histoire humaine en général. La vitesse à laquelle augmente le débit des technologies de séquençage dépasse la croissance des capacités de calcul et de stockage, ce qui crée de nouveaux défis informatiques dans le traitement de données de séquençage haut débit. Dans cette thèse, nous présentons de nouvelles techniques informatiques pour la localisation (mapping) de lectures dans un génome de référence et pour la classification taxonomique. Avec plus d'une centaine d’outils de localisation publiés, ce problème peut être considéré comme entièrement résolu. Cependant, une grande majorité de programmes suivent le même paradigme et trop peu d'attention a été accordée à des approches non-standards. Ici, nous introduisons la localisation dynamique dont nous montrons qu’elle améliore significativement les alignements obtenus, par comparaison avec les approches traditionnelles. La localisation dynamique est basée sur l'exploitation de l'information fournie par les alignements calculés précédemment, afin d’améliorer les alignements des lectures suivantes. Nous faisons une première étude systématique de cette approche et démontrons ses qualités à l'aide de Dynamic Mapping Simulator, une pipeline pour comparer les différents scénarios de la localisation dynamique avec la localisation statique et le “référencement itératif”. Une composante importante de la localisation dynamique est un calculateur du consensus online, c’est-à-dire un programme qui collecte des statistiques des alignements pour guider, à la volée, les mises à jour de la référence. Nous présentons OCOCO, calculateur du consensus online qui maintient des statistiques des positions génomiques individuelles à l’aide de compteurs de bits compacts. Au-delà de son application à la localisation dynamique, OCOCO peut être utilisé comme un calculateur de SNP online dans divers pipelines d'analyse, ce qui permet de prédire des SNP à partir d'un flux sans avoir à enregistrer les alignements sur disque. Classification métagénomique de lectures d’ADN est un autre problème majeur étudié dans la thèse. Etant donné des milliers de génomes de référence placés sur un arbre taxonomique, le problème consiste à affecter rapidement aux nœuds de l'arbre une énorme quantité de lectures NGS, et éventuellement estimer l'abondance relative des espèces concernées. Dans cette thèse, nous proposons des techniques améliorées pour cette tâche. Dans une série d'expériences, nous montrons que les graines espacées améliorent la précision de la classification. Nous présentons Seed-Kraken, extension sur les graines espacées du logiciel populaire Kraken. En outre, nous introduisons une nouvelle stratégie d'indexation basée sur le transformé de Burrows-Wheeler (BWT), qui donne lieu à un indice beaucoup plus compact et plus informatif par rapport à Kraken. Nous présentons une version modifiée du logiciel BWA qui améliore l’index BWT pour la localisation rapide de k-mers / Since their emergence around 2006, Next-Generation Sequencing technologies have been revolutionizing biological and medical research. Obtaining instantly an extensive amount of short or long reads from almost any biological sample enables detecting genomic variants, revealing the composition of species in a metagenome, deciphering cancer biology, decoding the evolution of living or extinct species, or understanding human migration patterns and human history in general. The pace at which the throughput of sequencing technologies is increasing surpasses the growth of storage and computer capacities, which still creates new computational challenges in NGS data processing. In this thesis, we present novel computational techniques for the problems of read mapping and taxonomic classification. With more than a hundred of published mappers, read mapping might be considered fully solved. However, the vast majority of mappers follow the same paradigm and only little attention has been paid to non-standard mapping approaches. Here, we propound the so-called dynamic mapping that we show to significantly improve the resulting alignments compared to traditional mapping approaches. Dynamic mapping is based on exploiting the information from previously computed alignments, helping to improve the mapping of subsequent reads. We provide the first comprehensive overview of this method and demonstrate its qualities using Dynamic Mapping Simulator, a pipeline that compares various dynamic mapping scenarios to static mapping and iterative referencing. An important component of a dynamic mapper is an online consensus caller, i.e., a program collecting alignment statistics and guiding updates of the reference in the online fashion. We provide OCOCO, the first online consensus caller that implements a smart statistics for individual genomic positions using compact bit counters. Beyond its application to dynamic mapping, OCOCO can be employed as an online SNP caller in various analysis pipelines, enabling calling SNPs from a stream without saving the alignments on disk. Metagenomic classification of NGS reads is another major problem studied in the thesis. Having a database of thousands reference genomes placed on a taxonomic tree, the task is to rapidly assign to tree nodes a huge amount of NGS reads, and possibly estimate the relative abundance of involved species. In this thesis, we propose improved computational techniques for this task. In a series of experiments, we show that spaced seeds consistently improve the classification accuracy. We provide Seed-Kraken, a spaced seed extension of Kraken, the most popular classifier at present. Furthermore, we suggest a new indexing strategy based on a BWT-index, obtaining a much smaller and more informative index compared to Kraken. We provide a modified version of BWA that improves the BWT-index for a quick k-mer look-up
|
203 |
Coordination et robustesse des systèmes dynamiques multi-agents / Coordination and robustness in dynamical multi-agents systemsMartin, Samuel 28 November 2012 (has links)
Nous nous intéressons à l'étude de la dynamique des réseaux composés d'une multitude d'agents. Les motivations de ce travail trouvent leurs sources dans de nombreux domaines et notamment la biologie avec l'étude de l'émergence de comportements collectifs cohérents chez les animaux (vol en formation d'oiseaux migrateurs). Considérons un certain nombre d’agents (animaux) dont le comportement dynamique individuel peut être modélisé par une équation différentielle. Les agents communiquent : les liens sont représentés sous la forme d’un graphe dont les sommets sont les agents du système. Chaque agent a la connaissance de l’état des agents auxquels il est connecté et ajuste sa dynamique à l’aide de cette information. Des comportements collectifs peuvent alors émerger comme par exemple le phénomène de flocking (tous les agents se déplacent dans la même direction). Plusieurs modèles d'interaction ont été proposés, les plus connus étant le modèle de Viscek (1995) ou le modèle de Cucker-Smale (2007). L'étude de ces modèles repose généralement sur des méthodes d'analyse de stabilité des systèmes dynamiques ou des systèmes hybrides, lorsque le graphe de communication évolue dans le temps. Nous souhaitons dans cette thèse évaluer la robustesse de l'émergence de ces comportements collectifs en étudiant l'influence de divers facteurs: paramètres du modèle, topologie du graphe, nombre d'agents, présences de perturbations. Nous nous intéresserons notamment au phénomène de scission du groupe d'agents en plusieurs groupes d'agents coordonnés. / This thesis presents a study on multi-agent systems. Such systems find numerous applications such as multi-vehicle control in robotics, the design of smart distributed energy networks and the modeling of opinion dynamics. In a first part, we present new results regarding consensus theory which extend the recent work from Hendrickx and Tsitsiklis on cut-balanced consensus. Then, we apply the consensus system to the control of a fleet of vehicles. We present several results regarding velocity alignment (flocking). This study is based upon a graph robustness analysis in order to preserve the connectivity of the interaction network. This concept is of main importance in this study. In the last part, we state results froma collaborative work with a sociologist regarding the social network linked to the controversy concerning o-road motorized leisure in France. We study the link between the national and local scenes. To do so, we use large graph visualization tools and actor centrality measures.
|
204 |
Algorithmes distribués de consensus de moyenne et leurs applications dans la détection des trous de couverture dans un réseau de capteurs / Distributed average consensus algorithms and their applications to detect coverage hole in sensors networkHanaf, Anas 21 November 2016 (has links)
Les algorithmes distribués de consensus sont des algorithmes itératifs de faible complexité où les nœuds de capteurs voisins interagissent les uns avec les autres pour parvenir à un accord commun sans unité coordinatrice. Comme les nœuds dans un réseau de capteurs sans fil ont une puissance de calcul et une batterie limitées, ces algorithmes distribués doivent parvenir à un consensus en peu de temps et avec peu d’échange de messages. La première partie de cette thèse s’est basée sur l’étude et la comparaison des différents algorithmes de consensus en mode synchrone et asynchrone en termes de vitesse de convergence et taux de communications. La seconde partie de nos travaux concerne l’application de ces algorithmes de consensus au problème de la détection de trous de couverture dans les réseaux de capteurs sans fil.Ce problème de couverture fournit aussi le contexte de la suite de nos travaux. Il se décrit comme étant la façon dont une région d’intérêt est surveillée par des capteurs. Différentes approches géométriques ont été proposées mais elles sont limitées par la nécessité de connaitre exactement la position des capteurs ; or cette information peut ne pas être disponible si les dispositifs de localisation comme par exemple le GPS ne sont pas sur les capteurs. À partir de l’outil mathématique appelé topologie algébrique, nous avons développé un algorithme distribué de détection de trous de couverture qui recherche une fonction harmonique d’un réseau, c’est-à-dire annulant l’opérateur du Laplacien de dimension 1. Cette fonction harmonique est reliée au groupe d’homologie H1 qui recense les trous de couverture. Une fois une fonction harmonique obtenue, la détection des trous se réalise par une simple marche aléatoire dans le réseau. / Distributed consensus algorithms are iterative algorithms of low complexity where neighboring sensors interact with each other to reach an agreement without coordinating unit. As the nodes in a wireless sensor network have limited computing power and limited battery, these distributed algorithms must reach a consensus in a short time and with little message exchange. The first part of this thesis is based on the study and comparison of different consensus algorithms synchronously and asynchronously in terms of convergence speed and communication rates. The second part of our work concerns the application of these consensus algorithms to the problem of detecting coverage holes in wireless sensor networks.This coverage problem also provides the context for the continuation of our work. This problem is described as how a region of interest is monitored by sensors. Different geometrical approaches have been proposed but are limited by the need to know exactly the position of the sensors; but this information may not be available if the locating devices such as GPS are not on the sensors. From the mathematical tool called algebraic topology, we have developed a distributed algorithm of coverage hole detection searching a harmonic function of a network, that is to say canceling the operator of the 1-dimensional Laplacian. This harmonic function is connected to the homology group H1 which identifies the coverage holes. Once a harmonic function obtained, detection of the holes is realized by a simple random walk in the network.
|
205 |
Les dieux augustes dans l'Occident romain : un phénomène d'acculturation / Augustan Gods in Roman West : an Acculturation PhenomenonVillaret, Alain 12 May 2016 (has links)
Les dieux augustes, connus essentiellement par l’épigraphie, dotés du titre impérial d’Augustus/a comme épithète, constituent un aspect du « culte impérial » et témoignent d’une triple acculturation politique, religieuse et sociale. L’ « augustalisation » se rapporte à l’empereur mais ne fait pas de lui un dieu incarné ou un protégé des dieux. Elle exprime une synergie entre les dieux et l’empereur leur médiateur auprès des hommes. Le terme exclusif d’Augustus/a, renvoie à Romulus, aux auspices de l’imperator, à l’auctoritas, qui légitiment le Prince. Rares en Orient les dieux augustes sont surtout répandus en Occident, d’Auguste au début du IVè s. Les dieux romains choisis pour l’augustalisation sont moins les divinités politiques attendues que des dieux protecteurs et bienfaiteurs des cités et des particuliers. Sous les dieux à noms romains apparaissent nombre de divinités indigènes réinterprétées (interpretatio romana) qui avec les dieux purement indigènes conservent des racines locales. Par sa souplesse l’augustalisation intégre à l’Empire toutes ces identités provinciales. Propre aux milieux romanisés, l’augustalisation est avant tout pratiquée par les élites municipales qui, à travers leur évergétisme, la diffusent dans les campagnes et surtout dans la population urbaine, renforçant ainsi leur légitimité. Les augustales et les riches affranchis, prompts à les imiter, la répandent dans le reste de la population. Hauts fonctionnaires et militaires restent en retrait. Présents dans tout l’espace urbain les dieux augustes se concentrent dans les centres civiques et autres loci celeberrimi, où s’affiche le pouvoir. Scénographie urbaine et cérémonies expriment le consensus d’une société hiérarchisée autour des empereurs agents des dieux. L’augustalisation sacralise et légitime le pouvoir et groupe autour de lui une société acculturée aux identités multiples. / Augustan Gods, mainly known through epigraphy, commonly bestowed with the Imperial title Augustus/a as an epithet, are part of the « imperial cult » and represented a threefold political, religious and social acculturation. « Augustalization » does refer to the emperor but in that case he couldn’t be considered as an incarnate god or even be seen as protected by the gods. It implied a synergy between the gods and the emperor who stood as their mediator, remaining close to men. The exclusive term Augustus/a refers to Romulus, to the auspices of the imperator, to auctoritas which made the Prince legitimate. Although quite rare in the East augustan gods were commonly well-spread in the West, from Augustus’s reign until the early years of the IVth century. The Roman gods chosen for augustalization were not really the political divinities which might be expected to be found but more likely benevolent gods protecting the cities and their inhabitants. Under the gods carrying Roman names we can discover numerous native divinities which had been reinterpreted (interpretatio romana) and which, with the purely indigenous gods, keep their local roots. With a particular suppleness augustalization integrated into the Empire all these provincial identities. Characteristic of all the backgrounds influenced by romanization, augustalization was first and foremost used by the municipal elite, who, through their evergetism, spread it in the rural areas but mainly among the urban population, thus strenghtening their legitimacy. Augustales and rich freedmen, quick to imitate elite, spread it among the rest of the population. High-ranking officials and officers stayed in the background. Constantly present in all the urban areas augustan gods concentrated their presence in civic centres and other loci celeberrimi where the strenth of the political power was obviously seen. Urban scenographies and ceremonies reveal the consensus of all the members of a strong social hierarchy structured around the emperors seen as the direct go-betweens to the gods. Augustalization made the power even more sacred and legitimate and gathered around its symbolic representation an acculturated society with its manyfold identities.
|
206 |
Optimisation, contrôle et théorie des jeux dans les protocoles de consensus / Optimization, control, and game theoretical problems in consensus protocolsEl Chamie, Mahmoud 21 November 2014 (has links)
Les protocoles de consensus ont gagné beaucoup d’intérêt ces dernières années. Dans cette thèse, nous étudions les problèmes d’optimisation, de contrôle, et de théorie de jeu qui se posent dans ces protocoles. Tout d’abord, nous étudions les techniques d’optimisation pour des problèmes de sélection de poids permettant ainsi d’augmenter la vitesse de convergence de protocoles de consensus dans les réseaux. Nous proposons de sélectionner les poids en appliquant un algorithme d’approximation: minimisation de la norme p de Schatten de la matrice de poids. Nous caractérisons l’erreur induite par cette approximation et nous montrons que l’algorithme proposé a l’avantage qu’il peut être soit résolu de façon distribuée. Ensuite, nous proposons un cadre conceptuel d’analyse des jeux d’adversaire qui peut ajouter du bruit aux poids utilisés par l’algorithme de consensus de moyenne afin d’éloigner le système de consensus. Nous analysons également la performance des algorithmes de consensus de moyenne où les informations échangées entre les agents voisins sont soumises à la quantification uniforme déterministe (les valeurs réelles envoyées par les nœuds de leurs voisins sont tronquées). Le problème de la terminaison des protocoles de consensus s’avère difficile dans le cadre distribué. Nous proposons un algorithme distribué pour la terminaison des protocoles de consensus. L’algorithme réduit la charge de communication tout en garantissant la convergence vers un consensus. Enfin, nous proposons une mesure de similarité qui évalue la qualité d’un regroupement (clustering) des nœuds dans un réseau. Un algorithme local de clustering basé sur cette métrique est donné. / Consensus protocols have gained a lot of interest in the recent years. In this thesis, we study optimization, control, and game theoretical problems arising in consensus protocols. First, we study optimization techniques for weight selection problems to increase the speed of convergence of discrete-time consensus protocols on networks. We propose to select the weights by applying an approximation algorithm: minimizing the Schatten p-norm of the weight matrix. We characterize the approximation error and we show that the proposed algorithm has the advantage that it can be solved in a totally distributed way. Then we propose a game theoretical framework for an adversary that can add noise to the weights used by averaging protocols to drive the system away from consensus. We give the optimal strategies for the game players (the adversary and the network designer) and we show that a saddle-point equilibrium exists in mixed strategies. We also analyze the performance of distributed averaging algorithms where the information exchanged between neighboring agents is subject to deterministic uniform quantization (e.g., when real values sent by nodes to their neighbors are truncated). Consensus algorithms require that nodes exchange messages persistently to reach asymptotically consensus. We propose a distributed algorithm that reduces the communication overhead while still guaranteeing convergence to consensus. Finally, we propose a score metric that evaluates the quality of clusters such that the faster the random walk mixes in the cluster and the slower it escapes, the higher is the score. A local clustering algorithm based on this metric is proposed.
|
207 |
Contrôle distribué pour les systèmes multi-cœurs auto-adaptatifs / Distributed Control for Self-adaptatif Multi-Core ArchitecturesMansouri, Imen 30 November 2011 (has links)
Les architectures régulières intégrant plusieurs cœurs de traitement sont davantage utilisées dans les systèmes embarqués. Dans cette thèse, on s'intéresse aux mécanismes d'optimisation d'énergie dans des architectures avec une dimension étendue; pour faire face aux problèmes de variabilité technologique et aux changements du contexte applicatif, le processus d'optimisation se déroule en temps réel. Des capteurs in-situ détectent le degré de dégradation du circuit. Quant a la variabilité applicative, des moniteurs d'activité sont insérés sur un niveau architectural pour estimer la charge de travail engendrée par l'application en cours et la consommation qui en découle. Nous avons développé une méthode systématique pour l'intégration de ces capteurs avec un moindre coût en surface. Leurs sorties alimentent un processus d'optimisation basé sur la théorie de consensus et dupliqué dans chaque cœur. Ce contrôle vise à fixer la meilleure configuration locale à chaque cœur permettant d'optimiser la consommation globale du système tout en respectant les contraintes temps réel de l'application en cours. Ce schéma opère d'une manière complètement distribuée afin de garantir la scalabilité de notre solution, et donc sa faisabilité, compte tenu de la complexité des circuits actuels et futurs. / Regular architectures embedding several processing elements are increasingly used in embedded systems. They require careful design to avoid high power consumption and to improve their flexibility. This thesis work deals with optimization mechanisms of large scale architectures; to meet variability issues, optimization is processed at run-time. The target design implements in-situ features to collect physical information about its yield and to monitor application workload and generated consumption. As for workload monitoring, we use activity counters connected at architecture level to a set of critical signals. We developed an automated method to optimally place these features with a minimal area overhead. The collected information are used further jointly with a power model to estimate the dissipated power and then driven appropriate optimization process. Optimal frequency for each core is set by means of a distributed controller based on consensus theory. The resulting settings aim to reduce the whole system power while fulfilling application constraints. The scheme needs to be fully distributed to garantee the control scalability, and so feasibility, as the number of cores scales.
|
208 |
Analyse probabiliste de processus distribués axés sur les processus de consensus / Probabilistic analysis of distributed processes with focus on consensusMallmann-Trenn, Frederik 22 September 2017 (has links)
Cette thèse est consacrée à l'étude des processus stochastiques décentralisés. Parmi les exemples typiques de ces processus figurent la dynamique météorologique, la circulation automobile, la façon dont nous rencontrons nos amis, etc. Dans cette thèse, nous exploitons une large palette d'outils probabilistes permettant d'analyser des chaînes de Markov afin d'étudier un large éventail de ces processus distribués : modèle des feux de forêt (réseaux sociaux), balls-into-bins avec suppression, et des dynamiques et protocoles de consensus fondamentaux tels que Voter Model, 2-Choices, et 3-Majority. / This thesis is devoted to the study of stochastic decentralized processes. Typical examples in the real world include the dynamics of weather and temperature, of traffic, the way we meet our friends, etc. We take the rich tool set from probability theoryfor the analysis of Markov Chains and employ it to study a wide range of such distributed processes: Forest Fire Model (social networks), Balls-into-Bins with Deleting Bins, and fundamental consensus dynamics and protocols such as the Voter Model, 2-Choices, and 3-Majority.
|
209 |
Control law and state estimators design for multi-agent system with reduction of communications by event-triggered approach / Loi de guidage coopérative et estimateurs d'état pour système multi-agent avec réduction des communications par méthode event-triggeredViel, Christophe 26 September 2017 (has links)
Les systèmes multi-agents (MAS) et la commande coopérative ont fait l'objet de nombreuses recherches ces dernières années. Les domaines d'application sont très diverses et dans le cas des systèmes multi-véhicules, des approches ont été développées pour des unmanned air vehicles (UAVs), satellites, avions... Les types de missions envisagées sont des missions complexes telles l’exploration ou la surveillance de zones, la recherche et le suivi de cibles d'intérêt. Cependant, la coopération requière des échanges de communication entre les agents. Lorsque ceux-ci sont nombreux, cet échange peut conduire à des saturations du réseau, à l'augmentation des délais de transmission ou l’occurrence de pertes de paquets, d'où l'intérêt de réduire le nombre de communication. Dans les méthodes event-triggered, une communication est envoyée quand une condition, basée sur des paramètres choisis et un seuil prédéfini, est remplie. La principale difficulté est de définir une condition qui permettra de limiter les échanges sans dégrader l'exécution de la mission choisie. Dans le cas d'un système distribué, chaque agent doit maintenir une estimation de la valeur de l'état des autres agents afin de remplacer l'absence d'informations due à la communication réduite. L'objectif de cette thèse est de développer des lois de commandes et des estimateurs distribuées pour un système multi-agent afin de réduire le nombre de communication par méthode event-triggered, tout en prenant en compte la présence de perturbations. L'étude est divisée en deux grandes parties. La première décrit une méthode de communication event-triggered permettant de converger vers un consensus pour un système multi-agents de modèle d'évolution dynamique linéaire généralisée et en présence de perturbations d'état. Pour réduire les communications, un estimateur précis de l'état des agents est proposé, couplé à un estimateur de l'estimation de l'erreur, ainsi qu'un protocole de communication adapté. En prenant en compte la commande appliquée à chaque agent, l'estimateur proposé permet d'obtenir un consensus avec un nombre bien inférieur de communication que de la méthode de référence dans l'état de l'art. La seconde partie propose une stratégie de réduction de communication pour une commande de vol en formation permettant de suivre une trajectoire de référence. La dynamique des agents est décrite par un système Euler-Lagrange incluant des perturbations et des méconnaissances sur les paramètres du modèle. Différentes structures d'estimateurs sont proposées pour reconstruire les informations manquantes. La condition d'event-triggered distribuée proposée est basée sur l'écart relatif entre les positions et vitesses réelles et désirées des agents, ainsi que l'erreur relative entre la valeur estimée de l'état de l'agent et la valeur réelle. Une trajectoire de référence unique est déterminée pour guider la flotte. L'effet des perturbations sur la formation et la communication a été analysé. Enfin, les méthodes proposées ont été adaptées pour tenir compte des dégradations de performances dues aux pertes de données et aux délais de communication. Pour les deux types d'approches présentées les conditions de la stabilité du MAS ont été obtenues par l'intermédiaire de fonctions de Lyapunov et l'absence de paradoxe de Zeno a été étudiée. / A large amount of research work has been recently dedicated to the study of Multi-Agent System and cooperative control. Applications to mobile robots, like unmanned air vehicles (UAVs), satellites, or aircraft have been tackled to insure complex mission such as exploration or surveillance. However, cooperative tasking requires communication between agents, and for a large number of agents, the number of communication exchanges may lead to network saturation, increased delays or loss of transferred packets, from the interest in reducing them. In event-triggered strategy, a communication is broadcast when a condition, based on chosen parameters and some threshold, is fulfilled. The main difficulty consists in determining the communication triggering condition (CTC) that will ensure the completion of the task assigned to the MAS. In a distributed strategy, each agent maintains an estimate value of others agents state to replace missing information due to limited communication. This thesis focuses on the development of distributed control laws and estimators for multi-agent system to limit the number of communication by using event-triggered strategy in the presence of perturbation with two main topics, i.e. consensus and formation control. The first part addresses the problem of distributed event-triggered communications for consensus of a multi-agent system with both general linear dynamics and state perturbations. To decrease the amount of required communications, an accurate estimator of the agent states is introduced, coupled with an estimator of the estimation error, and adaptation of communication protocol. By taking into account the control input of the agents, the proposed estimator allows to obtain a consensus with fewer communications than those obtained by a reference method. The second part proposes a strategy to reduce the number of communications for displacement-based formation control while following a desired reference trajectory. Agent dynamics are described by Euler-Lagrange models with perturbations and uncertainties on the model parameters. Several estimator structures are proposed to rebuild missing information. The proposed distributed communication triggering condition accounts for inter-agent displacements and the relative discrepancy between actual and estimated agent states. A single a priori trajectory has to be evaluated to follow the desired path. Effect of state perturbations on the formation and on the communications is analyzed. Finally, the proposed methods have been adapted to consider packet dropouts and communication delays. For both types of problems, Lyapunov stability of the MAS has been developed and absence of Zeno behavior is studied.
|
210 |
Commande non linéaire multi-agents : applications aux systèmes en réseau / Nonlinear Multi-Agent Control with Application to Networked SystemsRicciardi Celsi, Lorenzo 22 January 2018 (has links)
L'objectif de cette thèse de doctorat est (i) d'étudier et de développer des méthodes d’analyse et de commande de systèmes de contrôle en réseau linéaires et non linéaires et (ii) de montrer le potentiel de ces approches dans des applications complexes pertinentes. À cet égard, la théorie des systèmes à plusieurs agents, la théorie des graphes algébriques et le consensus sont des outils méthodologiques les plus intéressants. Une attention particulière est accordée à la caractérisation des relations entre, d'une part, la topologie du graphe de communication qui sous-tend l'évolution du système à plusieurs agents considéré et, d'autre part, les propriétés spectrales de la matrice Laplacienne associée au graphe lui-même. Le contrôle d'un groupe d'agents autonomes est étudié sous différents angles. Le principal objectif de contrôle est de s’assurer que les agents travaillent ensemble de manière coopérative, où la coopération représente la relation étroite entre tous les agents de l'équipe, le partage de l'information jouant un rôle important. En particulier, beaucoup de problèmes de consensus/accord/ synchronisation /rendez-vous sont étudiés afin de guider un groupe d’agents vers un état commun. Le consensus est étudié dans un contexte à temps discret parce que la dynamique du système est en général continue alors que les mesures et les entrées de contrôle sont des données échantillonnées. En outre, la théorie des jeux est utilisée pour faire face aux problèmes de coordination distribués à plusieurs agents, avec une application aux réseaux connus sous le nom de Software Defined Networks. À cet égard, on peut montrer que, sous des protocoles correctement conçus, les joueurs convergent vers un équilibre unique de Wardrop. On concentre l’attention sur le contrôle distribué, car cette approche présente des avantages évidents par rapport à la centralisation, comme l'évolutivité et la robustesse. Pourtant, le contrôle distribué a également ses propres inconvénients : avant tout, un inconvénient est que chaque agent ne peut pas prédire efficacement le comportement global du groupe en se basant uniquement sur des informations locales. Une certaine attention est également accordée à la nécessité de sécuriser les réseaux électriques contre le danger des attaques cyber-physiques grâce au développement de technologies d'intelligence distribuée. À cet égard, sur la base de topologies de réseaux d'énergie réalistes, nous présentons brièvement la conception d'un schéma de protection contre les attaques dynamiques à un point et à points multiples en boucle fermée. Nous formulons et résolvons un problème d'optimisation non convexe soumis à une contrainte de stabilité de Lyapunov pour la représentation à plusieurs agents autonome d'un réseau électrique obtenue après la linéarisation et l'application des lois d’attaque et de contrôle de fréquence. Finalement, nous présentons des résultats obtenus sur : le pilotage exact de la dynamique non linéaire finie à données échantillonnées avec des retards sur les entrées, au sujet de la stabilisation à données échantillonnées et de la poursuite de l'orbite quasi-halo autour du point de libration translunaire L₂, et au sujet des algorithmes heuristiques basés sur des méthodes d'apprentissage par renforcement à plusieurs agents capables d'effectuer un contrôle adaptatif optimal de qualité de service / qualité de l’expérience dans des scénarios sans modèle. / The objective of this PhD thesis is (i) to investigate and develop methods for the analysis and design of linear and nonlinear networked control systems and (ii) to show the potential of such approaches in relevant complex applications. In this respect, multi-agent systems theory, algebraic graph theory and consensus are the most interesting methodological tools, and specific attention is paid to the characterization of the relationships between, on the one hand, the topology of the communication graph that underlies the evolution of the considered multiagent system and, on the other hand, the spectral properties of the Laplacian matrix associated with the graph itself. The control of a group of autonomous agents is investigated from different perspectives. The main control objective is to make sure that the agents work together in a cooperative fashion, where cooperation accounts for the close relationship among all agents in the team, with information sharing playing an important role. In particular, various problems regarding consensus/agreement/synchronization/rendezvous are investigated with the specific aim of driving a group of agents to some common state. Consensus is investigated in a discrete-time setting due to the fact that the system dynamics is normally continuous while the measurements and control inputs might only be made in a sampled-data setting. Moreover, game theory is relied upon in order to cope with distributed multi-agent coordination problems, with application to Software Defined Networks. In this respect, it can be shown that, under properly designed protocols, the players converge to a unique Wardrop equilibrium. We focus on distributed control, since this approach shows obvious benefits over centralization, such as scalability and robustness. Yet, it also has its own drawbacks: among all, one drawback is that each agent cannot effectively predict the overall group behaviour based on only local information. Some attention is also devoted to the need for securing power grids against the danger of cyber-physical attacks through the development of distributed intelligence technologies accompanied by appropriate security enforcements. In this respect, based on realistic power network topologies, we briefly present the design of a protection scheme against closed-loop single-point and multi-point dynamic load altering attacks. This is done by formulating and solving a non-convex optimization problem subject to a Lyapunov stability constraint for the autonomous multiagent representation of a power system obtained after linearization and application of the attack and frequency control laws. Eventually, we show some other results achieved in terms of the exact steeering of finite sampled nonlinear dynamics with input delays, of sampled-data stabilization and quasi-halo orbit following around the L₂ translunar libration point, and of heuristic algorithms based on multi-agent reinforcement learning methods capable of performing optimal adaptive Quality of Service/Quality of Experience control in model-free scenarios.
|
Page generated in 0.0756 seconds