Dichotomic differential inequalities and multi-agent coordination

Distributed algorithms of multi-agent coordination have attracted substantial attention from the research communities. The most investigated are Laplacian-type dynamics over time-varying weighted graphs, whose applications include, but are not limited to, the problems of consensus, opinion dynamics, aggregation and containment control, target surrounding and distributed optimization. While the algorithms solving these problems are similar, for their analysis different mathematical techniques have been used. In this paper, we propose a novel approach, allowing to prove the stability of many Laplacian-type algorithms, arising in multi-agent coordination problems, in a unified elegant way. The key idea of this approach is to consider an associated linear differential inequality with the Laplacian matrix, satisfied by some bounded outputs of the agents (e.g. the distances to the desired set in aggregation and containment control problems). Although such inequalities have many unbounded solutions, under natural connectivity conditions all their bounded solutions converge (and even reach consensus), entailing the convergence of the original protocol. The differential inequality thus admits only convergent but not “oscillatory” bounded solutions. This property, referred to as the dichotomy, has been long studied in the theory of differential equations. We show that a number of recent results from multi-agent control can be derived from the dichotomy criteria for Laplacian differential inequalities, developed in this paper, discarding also some technical restrictions

Differential Inequalities in Multi-Agent Coordination and Opinion Dynamics Modeling

Distributed algorithms of multi-agent coordination have attracted substantial attention from the research community; the simplest and most thoroughly studied of them are consensus protocols in the form of differential or difference equations over general time-varying weighted graphs. These graphs are usually characterized algebraically by their associated Laplacian matrices. Network algorithms with similar algebraic graph theoretic structures, called being of Laplacian-type in this paper, also arise in other related multi-agent control problems, such as aggregation and containment control, target surrounding, distributed optimization and modeling of opinion evolution in social groups. In spite of their similarities, each of such algorithms has often been studied using separate mathematical techniques. In this paper, a novel approach is offered, allowing a unified and elegant way to examine many Laplacian-type algorithms for multi-agent coordination. This approach is based on the analysis of some differential or difference inequalities that have to be satisfied by the some "outputs" of the agents (e.g. the distances to the desired set in aggregation problems). Although such inequalities may have many unbounded solutions, under natural graphic connectivity conditions all their bounded solutions converge (and even reach consensus), entailing the convergence of the corresponding distributed algorithms. In the theory of differential equations the absence of bounded non-convergent solutions is referred to as the equation's dichotomy. In this paper, we establish the dichotomy criteria of Laplacian-type differential and difference inequalities and show that these criteria enable one to extend a number of recent results, concerned with Laplacian-type algorithms for multi-agent coordination and modeling opinion formation in social groups.Comment: accepted to Automatic

On the dichotomic collective behaviors of large populations of pulse-coupled firing oscillators

The study of populations of pulse-coupled firing oscillators is a general and simple paradigm to investigate a wealth of natural phenomena, including the collective behaviors of neurons, the synchronization of cardiac pacemaker cells, or the dynamics of earthquakes. In this framework, the oscillators of the network interact through an instantaneous impulsive coupling: whenever an oscillator fires, it sends out a pulse which instantaneously increments the state of the other oscillators by a constant value. There is an extensive literature on the subject, which investigates various model extensions, but only in the case of leaky integrate-and-fire oscillators. In contrast, the present dissertation addresses the study of other integrate-and-fire dynamics: general monotone integrate-and-fire dynamics and quadratic integrate-and-fire dynamics. The main contribution of the thesis highlights that the populations of oscillators exhibit a dichotomic collective behavior: either the oscillators achieve perfect synchrony (slow firing frequency) or the oscillators converge toward a phase-locked clustering configuration (fast firing frequency). The dichotomic behavior is established both for finite and infinite populations of oscillators, drawing a strong parallel between discrete-time systems in finite-dimensional spaces and continuous-time systems in infinite-dimensional spaces. The first part of the dissertation is dedicated to the study of monotone integrate-and-fire dynamics. We show that the dichotomic behavior of the oscillators results from the monotonicity property of the dynamics: the monotonicity property induces a global contraction property of the network, that forces the dichotomic behavior. Interestingly, the analysis emphasizes that the contraction property is captured through a 1-norm, instead of a (more common) quadratic norm. In the second part of the dissertation, we investigate the collective behavior of quadratic integrate-and-fire oscillators. Although the dynamics is not monotone, an “average” monotonicity property ensures that the collective behavior is still dichotomic. However, a global analysis of the dichotomic behavior is elusive and leads to a standing conjecture. A local stability analysis circumvents this issue and proves the dichotomic behavior in particular situations (small networks, weak coupling, etc.). Surprisingly, the local stability analysis shows that specific integrate-and-fire oscillators exhibit a non-dichotomic behavior, thereby suggesting that the dichotomic behavior is not a general feature of every network of pulse-coupled oscillators. The present thesis investigates the remarkable dichotomic behavior that emerges from networks of pulse-coupled integrate-and-fire oscillators, putting emphasis on the stability properties of these particular networks and developing theoretical results for the analysis of the corresponding dynamical systems.Les populations d’oscillateurs impulsivement couplés constituent un paradigme simple et général pour étudier une multitude de phénomènes naturels, tels que les comportements collectifs des neurones, la synchronisation des cellules pacemaker du coeur, ou encore la dynamique des tremblements de terre. Dans ce contexte, les oscillateurs interagissent au sein du réseau par le biais d’un couplage instantané: quand un oscillateur décharge, il envoie vers les autres oscillateurs une impulsion qui incrémente instantanément leur état par une valeur constante. Diverses extensions du modèle ont été intensément étudiées dans la littérature, mais seulement dans le cas d’oscillateurs leaky integrate-and-fire. Afin de pallier cette restriction, le présent manuscrit traite de l’étude d’autres dynamiques integrate-and-fire: les dynamiques générales integrate-and-fire monotones et les dynamiques integrate-and-fire quadratiques. La contribution principale de la thèse met en évidence le comportement d’ensemble dichotomique selon lequel s’organisent les populations d’oscillateurs: soit les oscillateurs atteignent un état de synchronisation parfaite (taux de décharge lent), soit ils convergent vers une configuration de clustering en blocage de phase (taux de décharge rapide). Ce comportement dichotomique est établi aussi bien pour des populations finies que pour des populations infinies, ce qui démontre un parallèle élégant entre des systèmes en temps-discret dans des espaces de dimension finie et des systèmes en temps-continu dans des espaces de dimension infinie. La première partie du manuscrit se concentre sur l’étude des dynamiques integrate-and-fire monotones. Dans ce cadre, nous montrons que le comportement dichotomique résulte de la propriété de monotonicité des oscillateurs. Cette dernière induit une propriété de contraction globale, elle-même engendrant le comportement dichotomique. En outre, l’analyse révèle que la propriété de contraction est capturée par une norme 1, au lieu d’une norme quadratique (plus usuelle). Dans la seconde partie de la thèse, nous étudions le comportement d’ensemble d’oscillateurs integrate-and-fire quadratiques. Bien que la dynamique ne soit plus monotone, une propriété de monotonicité “en moyenne” implique que le comportement collectif est encore dichotomique. Alors qu’une analyse de stabilité globale s’avère être difficile et conduit à plusieurs conjectures, une analyse locale permet de prouver le comportement dichomique dans certaines situations (réseaux de petite taille, couplage faible, etc.). De plus, l’analyse locale prouve que des oscillateurs integrate-and-fire particuliers ne s’organisent pas suivant un comportement dichotomique, ce qui suggère que ce dernier n’est pas une caractéristique générale de tous les réseaux d’oscillateurs impulsivement couplés. En résumé, la thèse étudie le remarquable comportement dichotomique qui émerge des réseaux d’oscillateurs integrate-and-fire impulsivement couplés, mettant ainsi l’emphase sur les propriétés de stabilité desdits réseaux et développant les résultats théoriques nécessaires à l’étude mathématique des systèmes dynamiques correspondants

On the dichotomic collective behaviors of large populations of pulse-coupled firing oscillators

The study of populations of pulse-coupled firing oscillators is a general and simple paradigm to investigate a wealth of natural phenomena, including the collective behaviors of neurons, the synchronization of cardiac pacemaker cells, or the dynamics of earthquakes. In this framework, the oscillators of the network interact through an instantaneous impulsive coupling: whenever an oscillator fires, it sends out a pulse which instantaneously increments the state of the other oscillators by a constant value. There is an extensive literature on the subject, which investigates various model extensions, but only in the case of leaky integrate-and-fire oscillators. In contrast, the present dissertation addresses the study of other integrate-and-fire dynamics: general monotone integrate-and-fire dynamics and quadratic integrate-and-fire dynamics. The main contribution of the thesis highlights that the populations of oscillators exhibit a dichotomic collective behavior: either the oscillators achieve perfect synchrony (slow firing frequency) or the oscillators converge toward a phase-locked clustering configuration (fast firing frequency). The dichotomic behavior is established both for finite and infinite populations of oscillators, drawing a strong parallel between discrete-time systems in finite-dimensional spaces and continuous-time systems in infinite-dimensional spaces. The first part of the dissertation is dedicated to the study of monotone integrate-and-fire dynamics. We show that the dichotomic behavior of the oscillators results from the monotonicity property of the dynamics: the monotonicity property induces a global contraction property of the network, that forces the dichotomic behavior. Interestingly, the analysis emphasizes that the contraction property is captured through a 1-norm, instead of a (more common) quadratic norm. In the second part of the dissertation, we investigate the collective behavior of quadratic integrate-and-fire oscillators. Although the dynamics is not monotone, an “average” monotonicity property ensures that the collective behavior is still dichotomic. However, a global analysis of the dichotomic behavior is elusive and leads to a standing conjecture. A local stability analysis circumvents this issue and proves the dichotomic behavior in particular situations (small networks, weak coupling, etc.). Surprisingly, the local stability analysis shows that specific integrate-and-fire oscillators exhibit a non-dichotomic behavior, thereby suggesting that the dichotomic behavior is not a general feature of every network of pulse-coupled oscillators. The present thesis investigates the remarkable dichotomic behavior that emerges from networks of pulse-coupled integrate-and-fire oscillators, putting emphasis on the stability properties of these particular networks and developing theoretical results for the analysis of the corresponding dynamical systems.Les populations d’oscillateurs impulsivement couplés constituent un paradigme simple et général pour étudier une multitude de phénomènes naturels, tels que les comportements collectifs des neurones, la synchronisation des cellules pacemaker du coeur, ou encore la dynamique des tremblements de terre. Dans ce contexte, les oscillateurs interagissent au sein du réseau par le biais d’un couplage instantané: quand un oscillateur décharge, il envoie vers les autres oscillateurs une impulsion qui incrémente instantanément leur état par une valeur constante. Diverses extensions du modèle ont été intensément étudiées dans la littérature, mais seulement dans le cas d’oscillateurs leaky integrate-and-fire. Afin de pallier cette restriction, le présent manuscrit traite de l’étude d’autres dynamiques integrate-and-fire: les dynamiques générales integrate-and-fire monotones et les dynamiques integrate-and-fire quadratiques. La contribution principale de la thèse met en évidence le comportement d’ensemble dichotomique selon lequel s’organisent les populations d’oscillateurs: soit les oscillateurs atteignent un état de synchronisation parfaite (taux de décharge lent), soit ils convergent vers une configuration de clustering en blocage de phase (taux de décharge rapide). Ce comportement dichotomique est établi aussi bien pour des populations finies que pour des populations infinies, ce qui démontre un parallèle élégant entre des systèmes en temps-discret dans des espaces de dimension finie et des systèmes en temps-continu dans des espaces de dimension infinie. La première partie du manuscrit se concentre sur l’étude des dynamiques integrate-and-fire monotones. Dans ce cadre, nous montrons que le comportement dichotomique résulte de la propriété de monotonicité des oscillateurs. Cette dernière induit une propriété de contraction globale, elle-même engendrant le comportement dichotomique. En outre, l’analyse révèle que la propriété de contraction est capturée par une norme 1, au lieu d’une norme quadratique (plus usuelle). Dans la seconde partie de la thèse, nous étudions le comportement d’ensemble d’oscillateurs integrate-and-fire quadratiques. Bien que la dynamique ne soit plus monotone, une propriété de monotonicité “en moyenne” implique que le comportement collectif est encore dichotomique. Alors qu’une analyse de stabilité globale s’avère être difficile et conduit à plusieurs conjectures, une analyse locale permet de prouver le comportement dichomique dans certaines situations (réseaux de petite taille, couplage faible, etc.). De plus, l’analyse locale prouve que des oscillateurs integrate-and-fire particuliers ne s’organisent pas suivant un comportement dichotomique, ce qui suggère que ce dernier n’est pas une caractéristique générale de tous les réseaux d’oscillateurs impulsivement couplés. En résumé, la thèse étudie le remarquable comportement dichotomique qui émerge des réseaux d’oscillateurs integrate-and-fire impulsivement couplés, mettant ainsi l’emphase sur les propriétés de stabilité desdits réseaux et développant les résultats théoriques nécessaires à l’étude mathématique des systèmes dynamiques correspondants

Coordination and Privacy Preservation in Multi-Agent Systems

This dissertation considers two key problems in multi-agent systems: coordination (including both synchronization and desynchronization) and privacy preservation. For coordination in multi-agent systems, we focus on synchronization/desynchronization of distributed pulse-coupled oscillator (PCO) networks and their applications in collective motion coordination. Pulse-coupled oscillators were originally proposed to model synchronization in biological systems such as flashing fireflies and firing neurons. In recent years, with proven scalability, simplicity, accuracy, and robustness, the PCO based synchronization strategy has become a powerful clock synchronization primitive for wireless sensor networks. Driven by these increased applications in biological networks and wireless sensor networks, synchronization of pulse-coupled oscillators has gained increased popularity. However, most existing results address the local synchronization of PCOs with initial phases constrained in a half cycle, and results on global synchronization from any initial condition are very sparse. In our work, we address global PCO synchronization from an arbitrary phase distribution under chain or directed tree graphs. More importantly, different from existing global synchronization studies on decentralized PCO networks, our work allows heterogeneous coupling functions and perturbations on PCOs\u27 natural frequencies, and our results hold under any coupling strength between zero and one, which is crucial because a large coupling strength has been shown to be detrimental to the robustness of PCO synchronization to disturbances. Compared with synchronization, desynchronization of PCOs is less explored. Desynchronization spreads the phase variables of all PCOs uniformly apart (with equal difference between neighboring phases). It has also been found in many biological phenomena, such as neuron spiking and fish signaling. Recently, phase desynchronization has been employed to achieve round-robin scheduling, which is crucial in applications as diverse as media access control of communication networks, realization of analog-to-digital converters, and scheduling of traffic flows in intersections. In our work, we systematically characterize pulse-coupled oscillators based decentralized phase desynchronization and propose an interaction function that is more general than existing results. Numerical simulations show that the proposed pulse based interaction function also has better robustness to pulse losses, time delays, and frequency errors than existing results. Collective motion coordination is fundamental in systems as diverse as mobile sensor networks, swarm robotics, autonomous vehicles, and animal groups. Inspired by the close relationship between phase synchronization/desynchronization of PCOs and the heading dynamics of connected vehicles/robots, we propose a pulse-based integrated communication and control approach for collective motion coordination. Our approach only employs simple and identical pulses, which significantly reduces processing latency and communication delay compared with conventional packet based communications. Not only can heading control be achieved in the proposed approach to coordinate the headings (orientations) of motions in a network, but also spacing control for circular motion is achievable to design the spacing between neighboring nodes (e.g., vehicles or robots). The second part of this dissertation is privacy preservation in multi-agent systems. More specifically, we focus on privacy-preserving average consensus as it is key for multi-agent systems, with applications ranging from time synchronization, information fusion, load balancing, to decentralized control. Existing average consensus algorithms require individual nodes (agents) to exchange explicit state values with their neighbors, which leads to the undesirable disclosure of sensitive information in the state. In our work, we propose a novel average consensus algorithm for time-varying directed graphs which can protect the privacy of participating nodes\u27 initial states. Leveraging algorithm-level obfuscation, the algorithm does not need the assistance of any trusted third party or data aggregator. By leveraging the inherent robustness of consensus dynamics against random variations in interaction, our proposed algorithm can guarantee privacy of participating nodes without compromising the accuracy of consensus. The algorithm is distinctly different from differential-privacy based average consensus approaches which enable privacy through compromising accuracy in obtained consensus value. The approach is able to protect the privacy of participating nodes even in the presence of multiple honest-but-curious nodes which can collude with each other

Social and Institutional Innovation in Self-Organising Cities

Today’s scenario is characterized by a global connectivity space where uninterrupted streams of information, people, and goods flow, through multi-scale socio-economic processes. All of this requires rethinking well-accepted mental frames as individual capabilities, businesses actions, social and spatial agglomerations evolve in a new and unceasingly changing landscape. This book contributes to the debate on how cities are redefined in relation to the global connective space and the so-called knowledge-based economy. The authors explore the variable set of functional changes, which are intrinsically linked to the multiplicity of multi-scale processes. The book contains the proceedings of the conference “New sciences and actions for complex cities (Florence, Italy 14-15 December 2017)”

ICT for the Social and Economic Integration of Migrants into Europe

This is the final report on a study carried out by IPTS on 'The potential of ICT for the promotion of cultural diversity in the EU: the case of economic and social participation and integration of immigrants and ethnic minorities'. The study explores ICT supply and demand aspects for and by immigrants and ethnic minorities in Europe and the related policy implications in their integration context This report selectively analyses the main findings from 5 previous publications from the study: an overview of digital support initiatives for/by IEM in the EU27 (Kluzer, Haché, and Codagnone 2008); a more detailed analysis of ICT supply and demand in IEM communities in France, Germany, Spain and the UK (Codagnone et al, eds. 2009) and three reports on case studies in France, Germany and Spain. It puts these findings into theoretical perspective, indicates the policy implications and makes recommendations.JRC.DDG.J.4-Information Societ