A New Algorithm for Distributed Control Problem with Shortest-Distance Constraints

This paper investigates the distributed shortest-distance problem of multiagent systems where agents satisfy the same continuoustime dynamics. The objective of multiagent systems is to find a common point for all agents to minimize the sum of the distances from each agent to its corresponding convex region. A distributed consensus algorithm is proposed based on local information. A sufficient condition also is given to guarantee the consensus. The simulation example shows that the distributed shortest-distance consensus algorithm is effective for our theoretical results.


Introduction
In recent years, distributed control of multiagent systems has attracted considerable attention within control community because of its important applications including distributed task allocation, distributed motion planning, and distributed alignment problems [1][2][3][4][5][6][7][8].For example, in [1], Nedić et al. introduced a distributed projected consensus algorithm for discrete-time multiagent systems where each agent lies in a closed convex set and gave corresponding convergence analysis on dynamically changing balanced graphs.Founded on the work of [1], [5,6] considered the networks of fixed and switching topologies.In [7], Matei and Baras proposed the consensus-based multiagent distributed subgradient method to solve the collaborative optimization of an objective function.In [8], Lin and Ren studied the constrained consensus problem in unbalanced networks with communication delays.
In this paper, we will study the distributed control problem with shortest-distance constraints.Distributed shortestdistance consensus problem is one important problem in the distributed control of multiagent systems.The objective of multiagent systems is to find a common point for all agents to minimize the sum of squared distances from each agent to its corresponding convex region.For example, [9] investigated consensus and optimization problems for directed networks of agents with external disturbances.Currently, most of the existing related works concentrate on the case where the intersection set of all convex regions is nonempty [1,[10][11][12].A projected consensus algorithm was proposed to solve the constrained consensus problem where each agent is restricted in its own convex set [1].Reference [10] proposed a class of subgradient-based methods, where some estimate of the optimal solution can be delivered over the network through randomized iteration.In [11], Johansson et al. introduced a subgradient method based on consensus steps to solve coupled optimization problems with fixed undirected topology.In [12], Lou et al. proposed an approximately projected consensus algorithm to achieve the intersection of convex sets.In [13], Wang and Elia proposed a distributed continuous-time algorithm to achieve optimization by controlling the sum of subgradients of convex functions.However, the case where the intersection set of all convex regions is empty is rarely concerned.In [14], the case of no intersection is studied, but the sign functions are used to make the system nonsmooth.Reference [15] investigated a distributed optimization problem and proposed a subgradient projection algorithm for multiagent systems subject to nonidentical constraints and communication delays under local communication.Comparing with [1,12], this paper focuses on the constrained 2 Mathematical Problems in Engineering problem where all convex regions have no intersection and the undirected graph is connected.Following the work of [14], we investigate the distributed control problem with shortestdistance constraints and propose a new distributed shortestdistance consensus algorithm.By a Lyapunov approach, a sufficient condition is given to make all agents converge to the optimal set of the shortest-distance problem.Finally, we provide a simulation example to show that the distributed shortest-distance consensus algorithm is effective for our theoretical results.Different from [14], we calculate the difference and the Euclidean norm between two different agents and use the ratio of them to replace the sign function.It makes the system smoother than that of [14].

Preliminaries
2.1.Graph Theory.Let G(, E, ) be an undirected graph of node , where V = { 1 , . . .,   } is the set of nodes and  ⊆ V × V is the set of edges.The node indexes belong to a finite index set I = {1, 2, 3, . . ., }.An edge of G is denoted by   = (  ,   ), where node   can obtain information from node   .The weighted adjacency matrix is denoted by  = {  }, where   = 0,   =   > 0 if and only if (  ,   ) ∈  and   ̸ =   .Since the graph is considered undirected, the adjacency matrix  is a symmetric nonnegative matrix.The set of neighbors of node   is denoted by   = {  ∈ V; (  ,   ) ∈ E}.The in-degree and out-degree of node   are defined as   (  ) = ∑  =1   and   (  ) = ∑  =1   .Then, the Laplacian corresponding to the undirected graph is defined as  = [  ], where   =   (  ) and   = −  ,  ̸ = .Obviously, the Laplacian of any undirected graph is symmetric.A path is a sequence of ordered edges of the form ( 1 ,  2 ), ( 2 ,  3 ), . .., where   ∈ I and   ∈ V.If there is a path from every node to every other node, the graph is said to be connected [16].
Lemma 1 (see [16]).If the undirected graph G is connected, then the Laplacian  of G has the following properties: (1) Zero is an eigenvalue of , and 1  is the corresponding eigenvector; that is, 1  = 0.
(2) The rest  − 1 eigenvalues are all positive and real.

Convex Theory.
Let dist(, ) be the standard Euclidean distance of a vector  from a set ; that is, The projection of vector  on a closed convex set  is denoted by the projection term   (); that is, where ‖‖ denotes the standard Euclidean norm, ‖‖ = √    [17].
Lemma 2 (see [1]).Suppose that  is a nonempty closed convex set in R  , the squared distance function where ,  ∈ R  ,  ∈ , and (⋅) is differential operator.
Lemma 3 (see [18]).LaSalle's invariance principle: consider an autonomous system of the form ẋ = (), with () continuous, and let () : R  → R be a scalar function with continuous first partial derivatives on If Ω  extends to the whole space R  , then global asymptotic stability can be established.Define  = { ∈ R  : V() = 0}.Then if  contains no other trajectories other than  = 0, then the origin 0 is asymptotically stable.In summary, (1) if () is a negative semidefinite in a region Ω, where () ≤ 0, then a solution starting in the interior of Ω remains there; (2) if, in addition, no solutions (except the equilibrium  = 0) remain in  (the subset of Ω where V() = 0), then all solutions starting in the interior of Ω will converge to the equilibrium.

Problem Description and Results
3.1.Problem Description.The multiagent system under consideration contains  agents, where each agent corresponds to a certain bounded convex set, denoted by   .Our objective is to design a distributed consensus algorithm for the system to make all agents able to reach consensus and minimize the sum of squared distances between the global point and the convex sets.
We assume that the closed set   ∈ R  is nonempty, R  is the set of all dimensional real column vectors, and ⋂  =1   = 0.In other words, we need to find a global optimal point that minimizes the sum of squared distances form  to its all closed convex sets.Each agent is assumed to have the following continuous-time dynamics: where   ∈ R  is the state of the th agent, I is the index set {1, 2, . . ., }, and   () is the control input of the th agent.

A New
According to (1/2)‖  −   ‖ 2 / = (  −   )  ( ẋ  − ẋ  ) and ( 5)-( 6), we get Since undirected graph G(, E, ) is connected, the distance between node V   and node V   is less than the sum of squared distances between agent  and its neighbors; that is, Combining ( 13)-( 15 Thus That is, V ()/√  () ≤ −√2/.And integrating both sides of this inequality from 0 to , we have Since   () ≥ 0, it is clear that   () vanishes to zero in finite time and hence all agents reach a consensus in finite time.Thus, there is a constant  > 0 such that   () = 0 and   () =   () for all ,  ∈ I and all  > .Thus Note that From Lemma 4 and (25), the convex function ( 4) is minimized as  → +∞.Remark 8.In Theorem 7, we only discuss the undirected connected graphs and our future work will be directed to the general jointly connected graphs.

Simulation
In this section, we provide a numerical example to show the effectiveness of Theorem 7. We use the fixed topology which is showed in Figure 1  x 2 (0) x 3 (0) x 4 (0) Figures 3 and 4 show the position trajectories, respectively.It is obvious that all agents reach a consensus point that is the optimal point of the function (4).This is consistent with Theorem 7.

Conclusion
In the paper, we purpose a new distributed shortest-distance algorithm for multiagent systems.The objective of multiagent systems is to find a common point for all agents to minimize the sum of squared distances from each agent to its corresponding convex regions.A sufficient condition also is given to guarantee the consensus.And the simulation example is given to show that the distributed shortestdistance consensus algorithm is effective for our theoretical results.