Connectivity-Preserving Coordination Control of Multi-Agent Systems with Time-Varying Delays

03/21/2018 ∙ by Yuan Yang, et al. ∙ University of Victoria 0

This paper presents a distributed position synchronization strategy that also preserves the initial communication links for single-integrator multi-agent systems with time-varying delays. The strategy employs a coordinating proportional control derived from a specific type of potential energy, augmented with damping injected through a dynamic filter. The injected damping maintains all agents within the communication distances of their neighbours, and asymptotically stabilizes the multi-agent system, in the presence of time delays. Regarding the closed-loop single-integrator multi-agent system as a double-integrator system suggests an extension of the proposed strategy to connectivity-preserving coordination of Euler-Lagrange networks with time-varying delays. Lyapunov stability analysis and simulation results validate the two designs.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Distributed coordination control of multi-agent systems (MAS-s) has received considerable attention in the past decade [Ren2013TIE, Shi2017TIE]. Simple Proportional (P) and Proportional-Derivative (PD) coordination strategies have been proven effective for networks of single-integrator [Murray2004TAC], double-integrator [Ren2008TAC], Euler-Lagrange (EL) [Ren2009IJC], and more general second-order nonlinear [Ren2013Automatica] systems. Further, adaptive control and output feedback control have overcome system uncertainties [Ren2013Automatica2, Wang2013TAC] and the lack of velocity measurements [Duan2014TAC, Jiang2017TAC], respectively.

Time-delayed communications foil agents’ immediate access to their neighbour information and, thus, distort the inter-agent couplings and endanger synchronization. Prior work has mitigated time delays in various ways. Rendering the MAS input-output passive has led to output feedback synchronization of affine nonlinear networks with constant time delays in [Chopra2012TAC]. Sufficient damping injection has provably coordinated EL networks with time-varying delays in [Nuno2013TRO]. An Immersion and Invariance (I&I

) observer has facilitated globally exponentially convergent velocity estimation and output feedback consensus of such networks in 

[Nuno2016TCNS]. The need for accurate system dynamics in the I&I observer design has been eliminated in [Nuno2017TCST]. Adaptive consensus of uncertain EL networks has been explored in [Nuno2011TAC, Wang2014TAC] for constant time delays, and in [Polushin2014TAC, Dixon2017Cybernetics, Jia2017Cybernetics] for time-varying delays with sufficiently small rates of change of the delays.

Conventional MAS coordination strategies assume a connected communication graph. In contrast, gradient-based controls derived from potentials dependent on inter-agent distances can both synchronize and maintain the connectivity of a MAS. Existing research has offered several potentials for connectivity-preserving MAS synchronization. Unbounded controls, derived from potentials that continuously increase inter-agent attraction when adjacent systems approach their communication boundaries, have prevented disconnection among single-integrator and nonholonomic agents in [Egerstedt2007TRO, Dimos2007TAC, Dimos2008TRO, Zavlanos2008TRO]. Bounded controls have achieved similar objectives in [Dimos2008ICRA, Amir2010TAC, Feng2013Automatica, Sun2013Automatica, Amir2013TAC]. A specific class of bounded potentials has led to PD-like, as well as adaptive PD-like, control with distance-dependent P gains for double-integrator networks in [Su2010SCL], and for second-order nonlinear networks in [Su2011Automatica], respectively.

Connectivity-preserving coordination of MAS-s with time-varying delays has been less explored to date, and is the focus herein. The paper proposes a class of potential functions of inter-agent distances whose negative gradients it adopts as control inputs for single-integrator MAS-s. In the presence of communication delays, agents cannot access timely neighbour information and gradient-based controls suffer from disturbances that would lead to instability. A dynamic filter, that increases the degree of single-integrator MAS-s from one to two, suppresses the delay-induced disturbances through sufficient damping injection. The injected damping limits velocities appropriately to maintain each agent in its neighbours’ communication zones although the neighbours move during the time it takes their information to reach the agent. Because the dynamic filter leads to a closed-loop system that can be regarded as a double-integrator MAS, the proposed methodology is readily extended to connectivity-preserving coordination of EL networks with time-varying delays. Rigorous Lyapunov stability analysis and simulations validate the proposed designs.

Ii Preliminaries

Let a MAS have agents, and let each agent have a broadcasting area (communication zone) of radius centered around its position . At time , agent can receive the delayed position of agent only if agent is in the current communication zone of agent , i.e., , with the time-varying delay from to .

The communications of the MAS are described by its communication graph , that comprises two sets : the set of graph nodes , that includes all agents in the MAS; the set of graph edges , that collects all communication links in the system. An oriented communication link or graph edge exists if agent receives information from agent . Agent is a neighbour of agent , i.e., , if and only if , where is the set of all neighbours of agent . A graph is undirected if agents and are adjacent, or neighbours of each other, i.e., if and only if . A sequence of adjacent agents, forms a path in an undirected graph. Then, an undirected graph is connected if and only if there exists a path between each pair of agents in the system.

The adjacency matrix associated to an undirected graph is a symmetric matrix, with if and otherwise. The corresponding weighted Laplacian is also symmetric, with and for . Assume that the undirected communication graph contains oriented edges. For each pair of adjacent agents and , only one of the oriented links and is labelled as , , with weight . Particularly, if , then agents and are the tail and the head of . The incidence matrix of the graph is defined by if agent is the head of , if agent is the tail of , and otherwise. The graph Laplacian and the incidence matrix obey [Egerstedt2010Princeton]: , where is a diagonal matrix with on its diagonal.

The following assumption underlies the connectivity-preserving synchronization strategy designed in this paper:

  1. [label=A.0]

  2. The undirected communication graph of the MAS is initially connected and each pair of adjacent agents is strictly within their communication distance, i.e., for some .

Under assumption 1, the connectivity of an MAS with static communication graph is preserved if all initial communication links are maintained. In an MAS with dynamic graph, initially non-adjacent pairs of agents can start to receive each other’s delayed information once they enter in each other’s communication zone. A dynamic graph requires a mechanism to create new links depending on inter-agent distances and to simultaneously maintain connectivity. When communication delays prevent agents’ access to timely information of other agents, building bidirectional links dynamically is not trivial. For simplicity, this paper considers only MAS-s with static communication graph and aims to render the initial edge set invariant (static) through control. Thus, the connectivity-preserving coordination problem in this paper is the following:

Problem.

Let a MAS with time-varying communication delays have agents with broadcasting radius and obey assumption 1. Design distributed control laws that use only the agents’ information and their neighbours’ delayed positions to render the original edge set invariant and coordinate the MAS.

In addition to assumption 1, the stability analysis in the next section uses the following lemma [Nuno2009IJRR]:

  1. [label=L.0]

  2. For any vectors

    , any variable time delay bounded by and any constant , the following inequality holds

    where is the -norm of , defined by .

Iii Connectivity-Preserving Coordination

The dynamics of a MAS with single-integrator -dimensional agents are:

(1)

where: indexes the agent; and , and are the agent’s position, velocity and control input. The potential used in this paper to quantify the energy stored in the inter-agent connections belongs to a class of functions with the following properties:

  1. is positive definite and strictly increasing with respect to for .

  2. .

  3. for bounded and , where: maps the components of a vector to their absolute values ; are the gradients of with respect to , ; and are positive constants; and .

  4. , where is increasing with respect to and is positively lower-bounded for .

The particular potential with the above properties selected in this paper is , with a parameter to be determined, and provides the following control laws:

(2)

where is the set of neighbours of agent at time ; are the gradients of with respect to ; and with are positive diagonal gain matrices to be determined. The gradient of the selected potential with respect to being:

the designed controls (2) are proportional controls whose state-dependent gains increase with on . In other words, the controls (2) stiffen the inter-agent couplings when the connections are threatened.

A property of the selected potential, needed in the connectivity preservation and coordination proofs, is the following:

Proposition.

For the function , proper selection of guarantees that .

Proof.

and , so implies that , i.e., , and further . This can be guaranteed by selecting if ; and arbitrarily otherwise. ∎

A property of time-delayed signals needed in the proofs is:

Proposition.

Given any vectors , and any variable time delays bounded by , they obey

for some and .

Proof.

The Cauchy-Schwartz inequality yields

where . Then, can be upper-bounded by

after applying the Cauchy-Schwartz inequality again. Lastly, using and inverting the integration order leads to

The Lyapunov function that quantifies the energy of the single-integrator MAS in closed loop with the controls (2) is:

(3)

Assumption 1 together with the first property of imply that . The selection and the second property of lead to . Then, because is continuous, rendering it non-increasing is sufficient for connectivity preservation, i.e., for all and . If all initial connections are maintained, then for all and , and is positive definite with respect to and . Then, coordination can be shown by showing that as .

By continuity of , there exists such that on , . The derivative of along the closed-loop dynamics (1) and (2) on are:

where the system dynamics and the initial undirected and connected interaction graph have been applied. From the third property of the potential , it follows that and can be upper-bounded by:

Lemma 1 and time integration of the above inequality yield

(4)

with positive constants and

the smallest eigenvalues of

.

Letting , Equation (4) can further be rewritten as , where with if , if and , and otherwise. It then follows that if all column summations of are positive, i.e.,

(5)

In other words, , and connectivity is maintained if the damping gains can be selected sufficiently large to satisfy (5).

The strict inequality (5) means that there exists with strictly positive components such that , and thus , . In turn, indicates that . Then, the derivative of the closed-loop dynamics (1) and (2) imply that . Using Barbalat’s lemma, it follows that as , . The derivative of the controller dynamics (2) means , and thus Barbalat’s lemma indicates , i.e., . From , it follows that . Therefore, , , i.e., , where with for , for , and for . Then, the interaction graph being undirected and connected, and , which implies that , i.e., coordination is achieved.

The parameters and in the design criterion (5) can be specified for the potential noting that the connectivity preservation and coordination proof shows under the condition that . If there exist and that satisfy the third property of on , then -s that observe (5) render the set invariant and maintain MAS connectivity.

Proposition.

For the potential function with , where , there exist and that guarantee the third property of on the set .

Proof.

On the set , and and . Because , and both exist by selecting . Then,

because , where and . ∎

The above analysis is summarized in the following theorem:

Theorem.

Given a single-integrator MAS with time-varying delays that satisfies assumption 1, the controls (2) maintain the initial connectivity of the MAS and coordinate it if the damping gains are selected to satisfy the conditions (5).

Because the single-integrator MAS (1) in closed loop with the controllers (2) can be regarded as the double-integrator MAS , with the state-dependent proportional plus damping controls , the above analysis readily applies to double-integrator MAS, whose connectivity-preserving coordination the controls can enforce.

In EL networks with time-varying delays, the agent dynamics are:

(6)

with , and the joint positions, velocities and accelerations; and the matrices of inertia and of Coriolis and centrifugal effects; and and the gravity and control torques. The dynamics (6) have the following properties:

  1. If agent has only revolute joints, its inertia matrix is symmetric, positive definite and uniformly bounded by ;

  2. is skew-symmetric.

Taking the agent controls:

(7)

the coordination with connectivity preservation of the EL network can be studied using the following Lyapunov function:

(8)

with selected to satisfy:

(9)
Proposition.

There exists a (sufficiently large) that satisfies condition (9) for any initial EL network configuration.

Proof.

From assumption 1, , . The first two properties of imply that . Then, given a bound on the initial kinetic energy of the EL network , condition (9) holds if holds, i.e., if