ArticlePDF Available

Abstract and Figures

The design of decentralized controllers coping with the typical constraints on the inter-robot sensing/communication capabilities represents a promising direction in multi-robot research thanks to the inherent scalability and fault tolerance of these approaches. In these cases, connectivity of the underlying interaction graph plays a fundamental role: it represents a necessary condition for allowing a group or robots to achieve a common task by resorting to only local information. The goal of this paper is to present a novel decentralized strategy able to enforce connectivity maintenance for a group of robots in a flexible way, that is, by granting large freedom to the group internal configuration so as to allow establishment/deletion of interaction links at anytime as long as global connectivity is preserved. A peculiar feature of our approach is that we are able to embed into a unique connectivity preserving action a large number of constraints and requirements for the group: (i) the presence of specific inter-robot sensing/communication models; (ii) group requirements such as formation control; and (iii) individual requirements such as collision avoidance. This is achieved by defining a suitable global potential function of the second smallest eigenvalue λ2 of the graph Laplacian, and by computing, in a decentralized way, a gradient-like controller built on top of this potential. Simulation results obtained with a group of quadrotor unmanned aerial vehicles (UAVs) and unmanned ground vehicles, and experimental results obtained with four quadrotor UAVs, are finally presented to thoroughly illustrate the features of our approach on a concrete case study.
Content may be subject to copyright.
A preview of the PDF is not available
... Connectivity must, thus, be considered while planning the motion of the swarm members, for example, via online relocation of the member robots when they get close to their communication limits [17][18][19][20][21][22][23][24], or through offline constrained trajectory planning [25][26][27]. While such methods may successfully maintain connectivity in 'controlled' environments, they may fail when unexpected/unplanned-for events occur; including, loss of member robots due to hardware failure, obstacles in the environment whose positions were a priori unknown, or errors in the execution of (robot) motion commands. ...
Article
Full-text available
Connectivity is an integral trait for swarm robotic systems to enable effective collaboration between the robots in the swarm. However, connectivity can be lost due to events that could not have been a priori accounted for. This paper presents a novel probabilistic connectivity-restoration strategy for swarms with limited communication capabilities. Namely, it is assumed that the swarm comprises a group of follower robots whose global connectivity to a base can only be achieved via a localized leader robot. In this context, the proposed strategy incrementally restores swarm connectivity by searching for the lost robots in regions-of-interest (RoIs) determined using probability theory. Once detected, newly found robots are either recruited to help the leader in the restoration process, or directly guided to their respective destinations through accurate localization and corrective motion commands. The proposed swarm-connectivity strategy, thus, comprises the following three stages: (i) identifying a discrete set of optimal RoIs, (ii) visitation of these RoIs, by the leader robot, via an optimal inter-region search path, and (iii) searching for lost robots within the individual RoIs via an optimal intra-region search path. The strategy is novel in its use of a probabilistic approach to guide the leader robot’s search as well as the potential recruitment of detected lost robots to help in the restoration process. The effectiveness of the proposed probabilistic swarm connectivity-restoration strategy is represented, herein, through a detailed simulated experiment. The significant efficiency of the strategy is also illustrated numerically via a comparison to a competing random-walk based method.
... This can be achieved through the use of relays as described in [73][74][75][76] or the optimisation of algebraic connectivity [77][78][79][80][81]. However, these methods constrain the swarm such that all agents form a single, continuously connected communications network. ...
Article
Full-text available
Task allocation enables heterogeneous agents to execute heterogeneous tasks in the domain of unmanned aerial vehicles, while responding to dynamic changes in the environment and available resources to complete complex, multi-objective missions, leading to swarm intelligence. We propose a bio-inspired approach using digital pheromones to perform scalable task allocation when the number of agents, tasks, and the diameter of the communications graph increase. The resulting emergent behaviour also enables idle agents in the swarm to provide periodic or continuous connectivity between disconnected parts of the swarm. We validate our results through simulation and demonstrate the feasibility of our approach by applying it to the 3D coverage and patrol problem.
Article
Multi-mobile robot systems show great advantages over one single robot in many applications. However, the robots are required to form desired task-specified formations, making feasible motions decrease significantly. Thus, it is challenging to determine whether the robots can pass through an obstructed environment under formation constraints, especially in an obstacle-rich environment. Furthermore, is there an optimal path for the robots? To deal with the two problems, a novel graph-based motion planner is proposed in this paper. Valid configurations of the system are defined to satisfy both formation and obstacle constraints. Then, the whole valid configuration space is identified and mapped to an undirected graph. The breadth-first search method is employed on the graph to answer the question of whether there is a feasible path on the graph. Finally, an optimal path will be planned on the updated graph, considering the cost of path length and formation preference. Simulation results show that the planner can be applied to get optimal motions of robots under formation constraints in obstacle-rich environments. Additionally, different types of constraints are considered to verify the generality.
Article
Full-text available
We consider the set G consisting of graphs of fixed order and weighted edges. The vertex set of graphs in G will correspond to point masses and the weight for an edge between two vertices is a functional of the distance between them. We pose the problem of finding the best vertex positional configuration in the presence of an additional proximity constraint, in the sense that, the second smallest eigenvalue of the corresponding graph Laplacian is maximized. In many recent applications of algebraic graph theory in systems and control, the second smallest eigenvalue of Laplacian has emerged as a critical parameter that influences the stability and robustness properties of dynamic systems that operate over an information network. Our motivation in the present work is to "assign" this Laplacian eigenvalue when relative positions of various elements dictate the interconnection of the underlying weighted graph. In this venue one would then be able to "synthesize" information graphs that have desirable system theoretic properties.
Article
Full-text available
To accomplish cooperative tasks, robotic systems are often required to communicate with each other. Thus, maintaining connectivity of the interagent communication graph is a fundamental issue in the field of multi-robot systems. In this paper we present a completely decentralized control strategy for global connectivity maintenance of the interagent communication graph. We describe a gradient-based control strategy that exploits decentralized estimation of the algebraic connectivity. The proposed control algorithm guarantees the global connectivity of the communication graph without requiring maintenance of the local connectivity between the robotic systems. The control strategy is validated by means of an analytical proof and simulative results.
Article
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challenge for the SDR program was to develop a multi-robot system capable of carrying out a specific mission: to deploy a large number of robots into an unexplored building, map the building interior, detect and track intruders, and transmit all of the above information to a remote operator. To satisfy these requirements, we developed a heterogeneous robot team consisting of approximately 80 robots. We sketch the key technical elements of this team, focusing on the novel aspects, and present selected results from supervised experiments conducted in a 600 m 2 indoor environment.
Article
This accessible book provides an introduction to the analysis and design of dynamic multiagent networks. Such networks are of great interest in a wide range of areas in science and engineering, including: mobile sensor networks, distributed robotics such as formation flying and swarming, quantum networks, networked economics, biological synchronization, and social networks. Focusing on graph theoretic methods for the analysis and synthesis of dynamic multiagent networks, the book presents a powerful new formalism and set of tools for networked systems. The book's three sections look at foundations, multiagent networks, and networks as systems. The authors give an overview of important ideas from graph theory, followed by a detailed account of the agreement protocol and its various extensions, including the behavior of the protocol over undirected, directed, switching, and random networks. They cover topics such as formation control, coverage, distributed estimation, social networks, and games over networks. And they explore intriguing aspects of viewing networks as systems, by making these networks amenable to control-theoretic analysis and automatic synthesis, by monitoring their dynamic evolution, and by examining higher-order interaction models in terms of simplicial complexes and their applications.
Article
In this paper, we consider the problem of robotic router formation, where two nodes need to maintain their connectivity over a large area by using a number of mobile routers. We are interested in the robust operation of such networks in realistic communication environments that naturally experience path loss, shadowing, and multipath fading. We propose a probabilistic router formation and motion-planning approach by integrating our previously proposed stochastic channel learning framework with robotic router optimization. We furthermore consider power constraints of the network, including both communication and motion costs, and characterize the underlying tradeoffs. Instead of taking the common approach of formation optimization through maximization of the Fiedler eigenvalue, we take a different approach and use the end-to-end bit error rate (BER) as our performance metric. We show that the proposed framework results in a different robotic configuration, with a considerably better performance, as compared with only considering disk models for communication and/or maximizing the Fielder eigenvalue. Finally, we show the performance with a simple preliminary experiment, with an emphasis on the impact of localization errors. Along this line, we show interesting interplays between the localization quality and the channel correlation/learning quality.
Book
: During this grant period, we have enhanced robustness of our designs and thus increased their ability to accommodate disturbances and unmodeled dynamics. We have also broadened the class of systems to which these methods are applicable. In a different direction, we have developed structure specific methods to analyze boundedness properties of systems with "stiffening" nonlinearities, as in micro-electromechanical probes. A major advance has been made on difficult output feedback problem with a novel nonlinear observer design, achieving robustness to modeling errors. Explicit necessary and sufficient conditions have been derived for coordinated passivation designs. A new maneuvering design has been developed. Further progress was made in MIMO adaptive control. We now briefly summarize our main results.
Article
The problem of deploying a team of flying robots to perform surveillance coverage missions over an unknown terrain of complex and non-convex morphology is presented. In such a mission, the robots attempt to maximize the part of the terrain that is visible while keeping the distance between each point in the terrain and the closest team member as small as possible. A trade-off between these two objectives should be fulfilled given the physical constraints and limitations imposed at the particular application. As the terrain’s morphology is unknown and it can be quite complex and non-convex, standard algorithms are not applicable to the particular problem treated in this paper. To overcome this, a new approach based on the Cognitive-based Adaptive Optimization (CAO) algorithm is proposed and evaluated. A fundamental property of this approach is that it shares the same convergence characteristics as those of constrained gradient-descent algorithms (which require perfect knowledge of the terrain’s morphology and optimize surveillance coverage subject to the constraints the team has to satisfy). Rigorous mathematical arguments and extensive simulations establish that the proposed approach provides a scalable and efficient methodology that incorporates any particular physical constraints and limitations used to navigate the robots into an arrangement that (locally) optimizes surveillance coverage.
Article
In order to accomplish cooperative tasks, multi-robot systems are required to communicate among each other. Thus, maintaining the connectivity of the communication graph is a fundamental issue. Connectivity maintenance has been extensively studied in the last few years, but generally considering only kinematic agents. In this paper we will introduce a control strategy that, exploiting a decentralized procedure for the estimation of the algebraic connectivity of the graph, ensures the connectivity maintenance for groups of Lagrangian systems. The control strategy is validated by means of analytical proofs and simulation results.