A Message Passing Strategy for Decentralized Connectivity Maintenance in Agent Removal

In a multi-agent system, agents coordinate to achieve global tasks through local communications. Coordination usually requires sufficient information flow, which is usually depicted by the connectivity of the communication network. In a networked system, removal of some agents may cause a disconnection. In order to maintain connectivity in agent removal, one can design a robust network topology that tolerates a finite number of agent losses, and/or develop a control strategy that recovers connectivity. This paper proposes a decentralized control scheme based on a sequence of replacements, each of which occurs between an agent and one of its immediate neighbors. The replacements always end with an agent, whose relocation does not cause a disconnection. We show that such an agent can be reached by a local rule utilizing only some local information available in agents' immediate neighborhoods. As such, the proposed message passing strategy guarantees the connectivity maintenance in arbitrary agent removal. Furthermore, we significantly improve the optimality of the proposed scheme by incorporating $\delta$-criticality (i.e. the criticality of an agent in its $\delta$-neighborhood).Comment: 9 pages, 9 figure

Self-Healing Protocols for Connectivity Maintenance in Unstructured Overlays

In this paper, we discuss on the use of self-organizing protocols to improve the reliability of dynamic Peer-to-Peer (P2P) overlay networks. Two similar approaches are studied, which are based on local knowledge of the nodes' 2nd neighborhood. The first scheme is a simple protocol requiring interactions among nodes and their direct neighbors. The second scheme adds a check on the Edge Clustering Coefficient (ECC), a local measure that allows determining edges connecting different clusters in the network. The performed simulation assessment evaluates these protocols over uniform networks, clustered networks and scale-free networks. Different failure modes are considered. Results demonstrate the effectiveness of the proposal.Comment: The paper has been accepted to the journal Peer-to-Peer Networking and Applications. The final publication is available at Springer via http://dx.doi.org/10.1007/s12083-015-0384-

Formulation of control strategies for requirement definition of multi-agent surveillance systems

In a multi-agent system (MAS), the overall performance is greatly influenced by both the design and the control of the agents. The physical design determines the agent capabilities, and the control strategies drive the agents to pursue their objectives using the available capabilities. The objective of this thesis is to incorporate control strategies in the early conceptual design of an MAS. As such, this thesis proposes a methodology that mainly explores the interdependency between the design variables of the agents and the control strategies used by the agents. The output of the proposed methodology, i.e. the interdependency between the design variables and the control strategies, can be utilized in the requirement analysis as well as in the later design stages to optimize the overall system through some higher fidelity analyses. In this thesis, the proposed methodology is applied to a persistent multi-UAV surveillance problem, whose objective is to increase the situational awareness of a base that receives some instantaneous monitoring information from a group of UAVs. Each UAV has a limited energy capacity and a limited communication range. Accordingly, the connectivity of the communication network becomes essential for the information flow from the UAVs to the base. In long-run missions, the UAVs need to return to the base for refueling with certain frequencies depending on their endurance. Whenever a UAV leaves the surveillance area, the remaining UAVs may need relocation to mitigate the impact of its absence. In the control part of this thesis, a set of energy-aware control strategies are developed for efficient multi-UAV surveillance operations. To this end, this thesis first proposes a decentralized strategy to recover the connectivity of the communication network. Second, it presents two return policies for UAVs to achieve energy-aware persistent surveillance. In the design part of this thesis, a design space exploration is performed to investigate the overall performance by varying a set of design variables and the candidate control strategies. Overall, it is shown that a control strategy used by an MAS affects the influence of the design variables on the mission performance. Furthermore, the proposed methodology identifies the preferable pairs of design variables and control strategies through low fidelity analysis in the early design stages.Ph.D

Cross-layer Peer-to-Peer Computing in Mobile Ad Hoc Networks

The future information society is expected to rely heavily on wireless technology. Mobile access to the Internet is steadily gaining ground, and could easily end up exceeding the number of connections from the fixed infrastructure. Picking just one example, ad hoc networking is a new paradigm of wireless communication for mobile devices. Initially, ad hoc networking targeted at military applications as well as stretching the access to the Internet beyond one wireless hop. As a matter of fact, it is now expected to be employed in a variety of civilian applications. For this reason, the issue of how to make these systems working efficiently keeps the ad hoc research community active on topics ranging from wireless technologies to networking and application systems. In contrast to traditional wire-line and wireless networks, ad hoc networks are expected to operate in an environment in which some or all the nodes are mobile, and might suddenly disappear from, or show up in, the network. The lack of any centralized point, leads to the necessity of distributing application services and responsibilities to all available nodes in the network, making the task of developing and deploying application a hard task, and highlighting the necessity of suitable middleware platforms. This thesis studies the properties and performance of peer-to-peer overlay management algorithms, employing them as communication layers in data sharing oriented middleware platforms. The work primarily develops from the observation that efficient overlays have to be aware of the physical network topology, in order to reduce (or avoid) negative impacts of application layer traffic on the network functioning. We argue that cross-layer cooperation between overlay management algorithms and the underlying layer-3 status and protocols, represents a viable alternative to engineer effective decentralized communication layers, or eventually re-engineer existing ones to foster the interconnection of ad hoc networks with Internet infrastructures. The presented approach is twofold. Firstly, we present an innovative network stack component that supports, at an OS level, the realization of cross-layer protocol interactions. Secondly, we exploit cross-layering to optimize overlay management algorithms in unstructured, structured, and publish/subscribe platforms

A reconfigurable distributed multiagent system optimized for scalability

This thesis proposes a novel solution for optimizing the size and communication overhead of a distributed multiagent system without compromising the performance. The proposed approach addresses the challenges of scalability especially when the multiagent system is large. A modified spectral clustering technique is used to partition a large network into logically related clusters. Agents are assigned to monitor dedicated clusters rather than monitor each device or node. The proposed scalable multiagent system is implemented using JADE (Java Agent Development Environment) for a large power system. The performance of the proposed topology-independent decentralized multiagent system and the scalable multiagent system is compared by comprehensively simulating different fault scenarios. The time taken for reconfiguration, the overall computational complexity, and the communication overhead incurred are computed. The results of these simulations show that the proposed scalable multiagent system uses fewer agents efficiently, makes faster decisions to reconfigure when a fault occurs, and incurs significantly less communication overhead. The proposed scalable multiagent system has been coupled with a scalable reconfiguration algorithm for an electric power system attempting to minimize the number of switch combination explored for reconfiguration. The reconfiguration algorithm reconfigures a power system while maintaining bus voltages within limits specified by constraints

Flexible multi-layer virtual machine design for virtual laboratory in distributed systems and grids.

We propose a flexible Multi-layer Virtual Machine (MVM) design intended to improve efficiencies in distributed and grid computing and to overcome the known current problems that exist within traditional virtual machine architectures and those used in distributed and grid systems. This thesis presents a novel approach to building a virtual laboratory to support e-science by adapting MVMs within the distributed systems and grids, thereby providing enhanced flexibility and reconfigurability by raising the level of abstraction. The MVM consists of three layers. They are OS-level VM, queue VMs, and components VMs. The group of MVMs provides the virtualized resources, virtualized networks, and reconfigurable components layer for virtual laboratories. We demonstrate how our reconfigurable virtual machine can allow software designers and developers to reuse parallel communication patterns. In our framework, the virtual machines can be created on-demand and their applications can be distributed at the source-code level, compiled and instantiated in runtime. (Abstract shortened by UMI.) Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis2005 .K56. Source: Masters Abstracts International, Volume: 44-03, page: 1405. Thesis (M.Sc.)--University of Windsor (Canada), 2005

Algorithmic and combinatorial problems on multi-UAV systems

Mathematics has always been a fundamental piece in robotics and, research in robotics has played an important role in the development of mathematics. This thesis is motivated by the growing interest on problems that appear in aerial robotics applications, specifically, on cooperative systems of multiple aerial robots or drones. Most of the research works in multi-robot systems have focused primarily on construction and validation of working systems, rather than more general and formal analysis of problems and solutions. By contrast, this thesis focuses on formally solving problems of aerial multi-robot systems from a discrete and combinatorial optimization perspective. Inspired on problems of this area, the thesis introduces some new theoretical models and problems of interest for mathematicians and computer scientists. The following topics are covered in this thesis: (1) synchronization: design of a coordination strategy to allow periodical communication between the members of a cooperative team while performing a task along fixed trajectories in a scenario with limited communication range, (2) robustness: analysis of the detrimental effects in the performance of a synchronized system when one or more robots fail, (3) stochastic strategies: performance analysis of a synchronized system using drones with stochastic decision making, and (4) task allocation: decentralized coordination to perform periodical task allocation in order to maintain a balanced work load for all members of a team with limited communication range. In the first part of the thesis, we study the synchronization problem giving a theoretical characterization of the solutions and, we present an algorithm to build a synchronized system for a given set of covering trajectories. The second part focuses on the study of the robustness in a synchronized system regarding to two key aspects: covering of the working area and communication between the members of the team. We rigorously study several combinatorial problems to measure how robust a system is to deal with drones failures. Connections of theseproblemswithnumbertheory, graphtheory, circulantgraphsandpolynomial multiplication are shown. The third part is devoted to an analysis of synchronized systems using random aerial robots. This topic is closely related to the random walk theory. It is shown that stochastic strategies increase the robustness of a synchronized system. Finally, this thesis introduces the block sharing strategy to addresstheproblemofmaintainingabalancedtaskallocationamongtherobotsby using periodical communications. A proof on the convergence to an optimal task allocation is given and, a case study for structure construction using a cooperative team of aerial robots is presented. All algorithms developed in this thesis have been implemented and extensive experiments have been conducted to analyze and validate the proposed methods.Las matemáticas siempre han sido una pieza fundamental en el desarrollo de la robótica, así como los problemas de robótica han jugado un importante papel en el desarrollo de las matemáticas. Esta tesis está motivada por el creciente interés en problemas que aparecen en aplicaciones de robótica aérea, específicamente, está enfocada en sistemas cooperativos de múltiples robots aéreos o drones. La mayoría de los trabajos de investigación en sistemas de robots se han centrado en la construcción y validación de arquitecturas desde un enfoque empírico. Por el contrario, esta tesis enfoca el estudio de problemas relacionados con tareas para equipos de robots aéreos desde el punto de vista de la optimización discreta y combinatoria. Inspirada en problemas de este campo, esta memoria plantea nuevos modelos teóricos y problemas de interés para las matemáticas aplicadas y la ciencia computacional. Enestatesisse abordanlostemassiguientes: (1) sincronización: diseñodeuna estrategia de coordinación que permita comunicación periódica entre los miembros de un equipo cooperativo mientras ejecutan una tarea sobre trayectorias fijadas, (2) robustez: análisis del efecto que produce el fallo de los agentes en un sistema sincronizado, (3)estrategias estocásticas: análisisdelfuncionamientodeunsistema sincronizado cuando se utilizan drones con toma de decisiones aleatorias, y (4) asignación de tareas: coordinación no centralizada usando asignación periódica de tareas que permita mantener una carga de trabajo balanceada. En la primera parte, se estudia teóricamente el problema de la sincronización, dando condiciones necesarias y suficientes para la existencia de solución y se presenta un algoritmo que construye un sistema sincronizado para un conjunto fijado de trayectorias de vuelo. La segunda parte de la tesis estudia la robustez de un sistema sincronizado teniendo en cuenta dos aspectos fundamentales: el cubrimiento del terreno y la comunicación entre los miembros del equipo. Se estudian de forma rigurosa problemas combinatorios que surgen cuando se requiere saber cómo de robusto es un sistema con respecto a fallos. Se muestran conexiones con áreas matemáticas como la teoría de números, la teoría de grafos, los grafos circulantes o multiplicación de polinomios. En la tercera parte de la tesis, se estudia la robustez del sistema cuando se introducen decisiones aleatorias de los drones. Se prueba la relación de este problema con la teoría de caminatas aleatorias y se muestra que el uso de estrategias estocásticas supone una mejora de la robustez del sistema sincronizado. Por último, se propone la estrategia de coordinación por bloques para la asignación balanceada de tareas. Se prueba la convergencia del método a una asignación óptima y se realiza un estudio de caso para la construcción de una estructura mediante un equipo cooperativo de drones. Todos los algoritmos desarrollados en esta tesis han sido implementados y se han llevado a cabo diversos experimentosque demuestran la validez de los métodos propuestos

Generic Distribution Support for Programming Systems

This dissertation provides constructive proof, through the implementation of a middleware, that distribution transparency is practical, generic, and extensible. Fault tolerant distributed services can be developed by using the failure detection abilities of the middleware. By generic we mean that the middleware can be used for many different programming languages and paradigms. Distribution for each kind of language entity is done in terms of consistency protocols, which guarantee that the semantics of the entities are preserved in a distributed setting. The middleware allows new consistency protocols to be added easily. The efficiency of the middleware and the ease of integration are shown by coupling the middleware to a programming system, which encompasses the object oriented, the functional, and the concurrent-declarative programming paradigms. Our measurements show that the distribution middleware is competitive with the most popular distributed programming systems (JavaRMI, .NET, IBM CORBA)