Search

We consider distributed convex optimization problems that involve a separable objective function and nontrivial functional constraints, such as linear matrix inequalities. We propose a decentralized and computationally inexpensive algorithm, which is based on the concept of approximate projections. Our algorithm is one of the consensus-based methods in that, at every iteration, each agent performs a consensus update of its decision variables followed by an optimization step of its local objective function and local constraints. Unlike other methods, the last step of our method is not a Euclidean projection onto the feasible set, but instead a subgradient step in the direction that minimizes the local constraint violation. We propose two different averaging schemes to mitigate the disagreements among the agents’ local estimates. We show that the algorithms converge almost surely, i.e., every agent agrees on the same optimal solution, under the assumption that the objective functions and constraint functions are nondifferentiable and their subgradients are bounded. We provide simulation results on a decentralized optimal gossip averaging problem, which involves semidefinite programming constraints, to complement our theoretical results. [ABSTRACT FROM AUTHOR]

In this paper we develop an intermittent communication framework for teams of mobile robots. Robots move along the edges of a mobility graph and communicate only when they meet at the vertices of this graph, giving rise to a dynamic communication network. We design distributed controllers for the robots that determine meeting times at the nodes of the mobility graph so that connectivity of the communication network is ensured over time, infinitely often. We show that this requirement can be captured by a global Linear Temporal Logic (LTL) formula that forces robots to meet infinitely often at the meeting points. To generate motion plans that satisfy the LTL expression, we propose a novel technique that approximately decomposes the global LTL formula into local LTL formulas and assigns them to the robots. Since the approximate decomposition of the LTL formula can result in conflicting robot behaviors, we develop a distributed conflict resolution scheme that generates conflict-free motion plans that satisfy the global LTL expression. By appropriately introducing delays in the execution of the generated motion plans we show that the proposed controllers can be executed asynchronously. [ABSTRACT FROM PUBLISHER]

We present a novel distributed algorithm for convex constrained optimization problems that are subject to noise corruption and uncertainties. The proposed scheme can be classified as a distributed stochastic approximation method, where a unique feature here is that we allow for multiple noise terms to appear in both the computation and communication stages of the distributed iterative process. Specifically, we consider problems that involve multiple agents optimizing a separable convex objective function subject to convex local constraints and linear coupling constraints. This is a richer class of problems compared to those that can be handled by existing distributed stochastic approximation methods which consider only consensus constraints and fewer sources of noise. The proposed algorithm utilizes the augmented Lagrangian (AL) framework, which has been widely used recently to solve deterministic optimization problems in a distributed way. We show that the proposed method generates sequences of primal and dual variables that converge to their respective optimal sets almost surely. [ABSTRACT FROM AUTHOR]

Most coordinated tasks performed by teams of mobile robots require reliable communications between team members. Therefore, task accomplishment requires that robots navigate their environment with their collective movement restricted to formations that guarantee integrity of the communication network. Maintaining this communication capability induces physical constraints on trajectories but also requires determination of communication variables like routes and transmitted powers. This problem is addressed here using a distributed hybrid approach. Continuous distributed motion controllers based on potential fields interact with discrete distributed optimization of communication variables to result in a muti-robot network ensuring communication integrity. The definition of network integrity differs from existing approaches in that it is not based only on the topology of the network but also on metrics that are of interest to the performance of communication between robots and a fixed infrastructure. Specifically, integrity is defined as the ability of the network to support desired communication rates. The ability of the hybrid controller to guarantee communication integrity while robots move to accomplish their task is studied theoretically and numerically. [ABSTRACT FROM AUTHOR]