A Finite-Time Consensus Algorithm with Simple Structure for Fixed Networks

Gómez-Gutiérrez, David; Ruiz-León, Javier; Čelikovský, Sergej; Sánchez-Torres, Juan Diego; Gómez-Gutiérrez, David; Ruiz-León, Javier; Čelikovský, Sergej; Sánchez-Torres, Juan Diego

doi:10.13053/cys-22-2-2420

Servicios Personalizados

Revista

Articulo

Indicadores

Citado por SciELO
Accesos

Links relacionados

Similares en SciELO

Otros
Otros

Permalink

Computación y Sistemas

versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546

Comp. y Sist. vol.22 no.2 Ciudad de México abr./jun. 2018 Epub 21-Ene-2021

https://doi.org/10.13053/cys-22-2-2420

Articles

A Finite-Time Consensus Algorithm with Simple Structure for Fixed Networks

David Gómez-Gutiérrez¹

Javier Ruiz-León²

Sergej Čelikovský³⁴

Juan Diego Sánchez-Torres⁵

^¹ Tecnológico de Monterrey, Campus Guadalajara, Jalisco, Mexico

^² CINVESTAV-IPN, Unidad Guadalajara, Jalisco, Mexico

^³ Institute of Information Theory and Automation, Czech Academy of Sciences, Prague, Czech Republic

^⁴ Czech Technical University in Prague, Faculty of Electrical Engineering, Prague, Czech Republic

^⁵ ITESO Guadalajara, Department of Mathematics and Physics, Jalisco, Mexico

Abstract:

In this paper, a continuous-time consensus algorithm with guaranteed finite-time convergence is proposed. Using homogeneity theory, finite-time consensus is proved for fixed topologies. The proposed algorithm is computationally simpler than other reported finite-time consensus algorithms, which is an important feature in scenarios of energy efficient nodes with limited computing resources such as sensor networks. Additionally, the proposed approach is compared on simulations with existing consensus algorithms, namely, the standard asymptotic consensus algorithm and the finite-time and fixed-time convergent algorithms, showing, in cycle graph topology, better robustness features on the convergence with respect to the network growth with less control effort. Indeed, the convergence time of other previously proposed consensus algorithms grows faster as the network grows than the one herein proposed whereas the control effort of the proposed algorithm is lower.

Keywords: Finite-time consensus; multi-agent systems; multiple interacting autonomous agents; self-organizing systems

1 Introduction

Motivated by the social insects’ ability to self-organize and mutually cooperate relying only on neighbor-to-neighbor communication, there has been an increasing interest during the last decade in the distributed algorithms obtaining a desired global behavior from local interactions. One of such algorithms is the consensus algorithm [¹⁵], which allows a swarm to agree on a common value in a distributed fashion (see e.g. [⁸,⁹,¹⁷,¹⁸,²¹,²⁷]), using only communication among its neighbors. One of the possible applications of the consensus that achieved recently a special interest is the application to sensor networks [⁸]. In this scenario, of energy efficient nodes with limited computing resources, computationally simple algorithms for self-organization are of paramount importance.

It has been shown that if the underlying graph topology is strongly connected then consensus can be achieved [²⁰]. Moreover, if the graph is balanced (identical number of in-neighbors and out-neighbors), then asymptotic convergence to the average of the swarm’s initial value is obtained by the standard consensus algorithm [²⁰]. For graphs that are not balanced the algorithm can be modified to still achieve average consensus whenever each node has knowledge on the number of its out-neighbors [⁴], and compensates accordingly using a surplus variable for each node.

These results have been extended, using nonlinear theory and scalar functions used in fixed-time and finite-time stability, to achieve finite-time [¹¹, ²⁵, ²⁶, ²⁸, ³⁰], and fixed-time convergent consensus [³¹, ³²], (i.e. there exists a bound for the convergence time independent of the initial conditions [¹⁰, ²²]). However, as we illustrate later, the convergence time does not uniquely depend on the initial conditions but mainly on the network topology, where the convergence time grows as the algebraic connectivity of the graph decreases.

In this paper, a finite-time convergence con-sensus algorithm for fixed networks is proposed. As a matter of fact, it was claimed in [²⁸], that the consensus algorithm analyzed in the present paper could later on be justified as a consensus algorithm. Nevertheless, neither full rigorous proof, nor its sketch were provided. It is the aim of the paper to formally prove that such algorithm is a consensus algorithm for fixed networks, which is achieved using homogeneity theory [⁷, ¹⁴, ²³]. The hereinafter proposed algorithm is shown to be computationally simpler than other finite-time consensus algorithms ( [¹¹, ¹⁶, ²⁸, ³¹]). Namely, in the proposed approach, each node requires a single computation of the nonlinear term, while in ([¹¹,¹⁶,²⁸,³¹]), the number of computations of the nonlinear term in each node equals the number of nodes adjacent to it.

Moreover, we illustrate through simulations that the proposed algorithm shows interesting robustness properties, in networks with cycle graph topology, with respect to the network growth with less control effort, namely that it shows more robustness to the network growth than previously proposed consensus algorithms. In particular, we compare our results with other consensus algorithms, namely, the asymptotic consensus [²⁰], finite-time consensus [²⁸] and fixed-time convergent consensus [³¹] algorithms.

The paper is organized as follows. In Section 2, we present the mathematical preliminaries toget-her with some previously proposed consensus algorithms. In Section 3, the main results are presented, followed by an illustrative example in Section 4. Finally, in Section 5, the conclusions and the future work are presented.

2 Preliminaries

2.1 Finite-Time Stability

We recall in this section some results on homogeneity theory [⁷, ¹⁴, ²³] and finite-time stability [¹, ²], that will be used later on. Further facts on finite time stability can be found in [², ¹³, ¹⁹,²⁴].

Definition 1. [¹] Consider the nonlinear system:

x˙=f(x) with f(0)=0. (1)

Here,f∈C1(D\{0}∩C0(D))whereD⊂ℝnis some region inRn, i.e. an open and connected subset ofℝn. Letψ(t,x0)andTm(x0)∈(0,∞)be such that∀t∈[0,Tm(x0)), ∀x0∈D\{0}such that:

dψ(t,x0)dt=f(ψ(t,x0)), ψ(0,x0)=x0,

whereTm(x0)is a maximal possible real number with the above property, or plus infinity, suchTm(x0)andψ(t,x0)always exist and are unique byf∈C1(ℝn\{0}).

The origin is called as finite-time convergent for(1)if there exists an open neighborhoodN⊆Dof the origin that is forward invariant with respect to(1)and a functionT:N\{0}→(0,∞), called the settling-time function, such that for everyx0∈N\{0}, the solutionψ(t,x0)is defined on[0,T(x0)), ψ(t,x0)∈N\{0}for allt∈[0,T(x0))andlim⁡t→T(x0)ψ(t,x0)=0. Furthermore, it is called finite-time stable if it is stable and finite-time convergent, and globally finite-time stable if it is finite-time stable withD=N=ℝn.

Note that by the uniqueness of ψ(t,x0), it follows that T(x0)=min⁡{t∈ℝ+:ϕ(t,x0)=0} for all x0∈N\{0}.

Definition 2. A functionV:ℝn→ℝis homogeneous of degreelwith respect to the “standard dilation”:

Δλ(x1,…,xn)=(λx1,…,λxn), (2)

if and only if:

V(λx1,…,λxn)=λlV(x1,…,xn),

for allλ>0.

Definition 3. A vector fieldf(x), x∈ℝnis homogeneous of degreeqwith respect to the standard dilation(2)if and only if thei-th componentfiis homogeneous of degreeq+1with respect to(2), i.e.fi(λx1,…,λxn)=λq+1f(x1,…,xn), λ>0, i=1,…,n.

Theorem 4. [², Theorem 7.1] Letf(x), x∈ℝnbe a homogeneous vector field of degreeqwith respect to(2). Then the origin of(1)is finite-time stable if and only if it is asymptotically stable andq<0.

Lemma 5. [²] The right-hand side of:

y˙=−kyα, α∈(0,1), (3)

whereyα=|y|α sign(y), is homogeneous of degreeα−1with respect to the standard dilation. Thus,(3)is finite-time stable and its settling-time is given byT(y0)=1k(1−α)|y0|1−α.

Lemma 6. [²⁹,³²] Consider the non-homogeneous system:

y˙=−kyα, α∈(0,1), (4)

then the origin of(4)is finite-time stable and uniformly convergent (i.e. the bound on the convergence time is independent of the initial conditions) and its settling-time is bounded byT≤qπ2k1k2(q−p).

2.2 Graph Theory

The following notation and preliminaries on graph theory are taken mainly from [¹²].

A graph X consists of a vertex set V(X) and an edge set ℰ(X), where an edge is an unordered pair of distinct vertices of X. We write ij to denote an edge and say that the vertex i and vertex j are adjacent or that j is a neighbor of i and denote this by j~i. A weighted graph is a graph together with a weight function W:ℰ(X)→ℝ+ on its edges. The adjacency matrix A=[aij]∈ℝn×n of a graph with n vertices is a square matrix where aij corresponds to the weight of the edge ij. In this paper we only consider undirected graphs and therefore aij=aji. The Laplacian of X is Q(X)=Δ−A where Δ=diag(d1…,dn) with di=∑j=1naij. For undirected graphs the Laplacian matrix Q is a positive semidefinite and symmetric matrix, thus its eigenvalues are all real and non-negative. If the graph X is connected then the eigenvalue λ1(Q)=0 has algebraic multiplicity one with eigenvector 1=[1⋯1]T.

For the Laplacian Q(X) there exists a factorization Q(X)=DDT (D is known as the incidence matrix of X [¹²]) where D is a |V(X)|×|ℰ(X)| matrix (where |V(X)| and |ℰ(X)| are the cardinality of the vertex and edge set, respectively), such that if ij∈ℰ(X) is an edge with weight aij then the corresponding column of D has only two nonzero elements with the i-th element aij12 and the j-th element −aij12.

A path from i to j in a graph is a sequence of distinct vertices starting with i and ending with j such that consecutive vertices are adjacent. If there is a path between any two vertices of the graph X then X is connected. Through this work we consider only connected graphs.

2.3 Asymptotic, Finite-Time and Fixed-Time Convergent Consensus

In this subsection we present the standard consensus algorithm with asymptotic convergence and describe how nonlinear algorithms are derived from it, with particular focus on finite-time and fixed-time convergent algorithms.

Let X be a dynamic network. The following equation defines the consensus algorithm that follows each agent:

x˙i=ui, (5)

where xi∈ℝ is the dynamic of the i-th agent and ui defines the different consensus laws. For instance, the standard consensus algorithm with asymptotic convergence proposed in [²⁰] is given by:

ui=k∑j∈{j:ji∈ℰ(X)}aij(xj−xi), (6)

where aij≥0.

Considering nonlinear functions f(x), f(0)=0, such that the origin of x˙=−f(x) is stable, two directions have been taken to derive nonlinear consensus algorithms from (6). On the one hand with the algorithm:

ui=k∑j∈{j:ji∈ℰ(X)}aijf(xj−xi), (7)

and on the other hand with the algorithm:

ui=kf(∑j∈{j:ji∈ℰ(X)}aij(xj−xi)). (8)

There by, the consensus algorithms proposed in [²⁸] and [³²] are derived from (3) and (4), respectively, following the direction (7). Namely, the finite-time consensus algorithm proposed in [²⁸] is:

ui=k∑j∈{j:ji∈ℰ(X)}aijxj−xiα, α∈(0,1). (9)

The fixed-time convergent algorithm proposed in [³¹] for fixed topologies is:

ui=∑j∈{j:ji∈ℰ(X)}aij(k1xj−xi2−pq+k2xj−xipq), (10)

where k1,2>0, and p, q are positive odd numbers.

Although, both [²⁸] and [³²] ([²⁸] does not present the proof of the claim), address the consensus derived from (3) and (4), respectively, following also the direction (8), the results in both papers are restricted to static networks, i.e. where X=X for all t≥t0. In the following section we prove that the algorithm using functions (3) and direction (8) achieves finite-time consensus over fixed networks and illustrate by simulations an interesting property on the robustness of the convergence time with respect to the growth of the network. In particular, we show that the convergence time to the consensus state grows faster as the network grows (as the smallest nonzero eigenvalue decreases), in (9) an (10) than in the proposed algorithm.

3 Main Results

In this section we derive the mathematical proofs to show the finite-time convergence to the consensus state of the proposed algorithm under fixed networks. First, we show using Lyapunov theory, the asymptotic convergence to the consensus state. Then, the finite-time convergence follows by using homogeneity [⁵-⁷,¹⁴,²³] and Theorem 4.

The aim of this paper is to show that, if X is a connected graph, then the algorithm x˙i=ui, with:

ui=k∑j∈{j:ji∈ℰ(X)}aij(xj−xi)α, α∈[0,1), (11)

where k>0, •α=|•|αsign(•) for α∈(0,1) and •0=sign(•), achieves consensus with finite-time convergence.

Remark 7. Notice that using the proposed consensus algorithm (11), a node requires a single computation of the nonlinear functionf(⋅), while in the consensus algorithms (9) and (10) proposed in [²⁸] and [³²], respectively, the number of nonlinear operations of each node equals the number of nodes adjacent to it. Thus, the consensus algorithm (11) is, in general, computationally less expensive than previously proposed finite-time consensus algorithms, namely [²⁸] and [³¹].

Remark 8. In [²⁸] it was shown that(9), is a consensus algorithm with finite-time convergence. The authors claimed (without proof), that using their framework, it can be shown that for ”static networks”(11), is also a consensus algorithm with finite-time convergence. In the following we provide a rigorous proof, using Lyapunov theory and homogeneity theory [¹⁴,23], to show that(11), is a consensus algorithm with finite-time convergence in fixed communication networks.

Let e=[e1,…,en]T, where ei=Σj∈{j:ji∈ℰ(X)}(xj−xi), and notice that e=−Q(XX(t))x, where x=[x1,…,xn]T and therefore the network dynamics is:

x˙=−F(Q(X)x)=F(e), (12)

where

F(e)=[ke1α⋮kenα].

Thus, the dynamic for e(t) is:

e˙=−Q(X)F(e), (13)

where Q(X) is the graph Laplacian of X.

In the following, (13) will be referred as the error dynamics. The i-th entry of F(e) is denoted by f(ei), i.e. f(ei):=keiα.

Lemma 9. Letf(ei)=eiα,α∈[0,1). Then:

−(f(ei)−f(ej))(ei−ej)≤0.

In the case whenα∈(0,1)the equality holds iffei−ej=0whereas for the case whenα=0the equality holds iffsign(ei)=sign(ej).

Proof. Straightforward.

Proposition 10. LetXbe a connected graph and letα∈[0,1). Then, the origin of:

e˙=−Q(X)F(e), (14)

is globally asymptotically stable.

Proof. Consider the candidate Lyapunov function V(e)=12Σi∈V(X)ei2, then its time derivative along the trajectories of (14) is:

V˙(e)=12∑i∈V(X)eie˙i=−eTQ(X)F(e).

Then according to Subsection 2.2, there exists a factorization for the graph Laplacian Q(X), such that, Q(X)=DkDkT. Thus, V˙(e)=−eTDkDkTF(e). Therefore, ij∈ℰ(X), implies that the entry of eTDk corresponding to the edge ij is aij12(ei−ej); in the same way, the entry of DkTF(e) corresponding to the edge ij is aij12(f(ei)−f(ej)) [¹²], therefore due to Lemma 9 we have that:

V˙(e)=−∑ij∈ℰ(X),i>jaij(f(ei)−f(ej))(ei−ej)≤0, (15)

where the equality in (15), for the case when α=0, holds if sign(ei)=sign(ej), for each ij∈ℰ(Xk), which implies, since the graph X is connected, that sign(e1)=⋯=sign(en). In a similar way, the equality in (15), for the case when α∈(0,1), holds iff ei−ej=0 for each ij∈ℰ(Xk), which implies, since the graph X is connected, that ei=⋯=en.

However, since e=−Q(X)x and 1∈ker⁡(Q(X)), then 1Te=−1TQ(X)x=0 i.e. Σi∈V(X)ei=0 and therefore sign(ei)=⋯sign(en) and e1=⋯=en can only hold iff e=0. Thus, V˙(e)≤0 with V˙(e)=0 iff e=0. Therefore, the origin of (13) is globally asymptotically stable.

Lemma 11. Letα∈(0,1)and letH(e)be the right hand side of(13), i.e.H(e):=−Q(X)F(e). Then, the vector fieldHis homogeneous of degreeα−1with respect to the standard dilation.

Proof. Notice that the function f(ei) is homogeneous of degree α with respect to the standard dilation, i.e. for λ>0:

f(λei)=k|λei|αsign(λei),=k(|λ||ei|)αsign(ei),=λαk|ei|αsign(ei),=λαf(ei).

Now, let the i-th component of the vector field H(e) be denoted as Hi(e), then Hi(e)=Σj∈{j:ji∈ℰ(X)}(f(ej)−f(ei)) and:

Hi(λei)=∑j∈{j:ji∈ℰ(X)}(f(λej)−f(λei)),=∑j∈{j:ji∈ℰ(X)}(λαf(ej)−λαf(ei)),=λαHi(ei).

Since ri=1, i=1,…,m, then q=α−1 and H(e) is homogeneous of degree α−1 with respect to the standard dilation.

The main result of this paper is the following.

Theorem 12. LetXbe a connected graph. Then, the algorithm (11) achieves consensus on a fixed network in finite-time.

Proof. According to Proposition 10, the dynamic of e(t) is asymptotically stable. Moreover, since the graph X is connected, e=−Q(X)x=0 implies that x∈span(1), i.e. that consensus is achieved. The finite-time stability for the case when α=0 follows by noticing that if the i-th agent is the one such that xi(t0)=xmax(t0)=max(x1(t0),…,xn(t0)) then ui is ui=−k as long as e≠0. In a similar way, if xj(t0)=xmin(t0)=min(x1(t0),…,xn(t0)) then ui is ui=k as long as e≠0. Thus, the consensus value, with α=0 is x¯=xmax(t0)+xmin(t0)2 and the convergence time is treach=xmax(t0)−x¯k. Moreover, the finite time stability for the case when α∈(0,1) follows from homogeneity theory, since the vector field H(e) is homogeneous of degree q=α−1<0, then according to Theorem 4, (13) is finite-time stable. Hence consensus is achieved with finite-time convergence in a fixed topology.

Remark 13. Notice that the convergence time for the case whenα=0is independent of the underlying connected graph topology, and thus independent of the network size.

4 An Illustrative Example Showing Robustness to the Network Growth

In this section we illustrate that, in networks with cycle graph topology, the convergence of the proposed consensus algorithm (11), is more robust to the network growth than the standard consensus algorithm (6) proposed in [²⁰], the finite-time consensus algorithm (9) proposed in [²⁸] and the fixed-time convergent algorithm (10) proposed in [³¹] while requiring less control effort. To this end, we consider a communication topology described by an undirected cycle graph Cn, where Cn is a cycle graph with vertex set {0,…,n−1} such that vertex i is adjacent to vertex j, i.e. j~i, if and only if j−i≡±1( mod⁡ n).

We simulate three different scenarios to illus-trate the convergence of the above mentioned consensus algorithms with respect to the network growth (the simulation was performed using the Modelica^® language and simulated in Dymola^® using the Euler integration method). Namely, a network formed by an undirected cycle graph C25, C200, and C1000, respectively.

We would like to highlight that the initial conditions are set the same for the different algorithms using the linear congruential generator [³]:

zi+1=rzi+s ( mod⁡ M) n≥0, xi(t0)=lziM−m,

where r=45, s=1, M=1024, l=20 and m=10, which produces a pseudo-random sequence of initial conditions xi(t0) in the interval [−10,10]. The parameters of the different algorithms are set experimentally, according to Table 1, such that, in the 25 agents network C25, each algorithm achieves 99% of its final consensus value approximately at 2 seconds.

Table 1 Parameters selected for the different algorithms

Algorithm	Parameters
Proposed Algorithm	k=7 and α=0.5
Asymptotic Consensus (6)	k=35
Finite-time Consensus (9)	k=12 and α=0.5
Fixed-time Consensus (10)	k1=k2=8.5 and p/q≈0.5

The evolution of the above mentioned algorithms for a cycle graph C25 is presented in Fig. 1, where it can be seen that each algorithm achieves 99% of its final consensus value approximately at 2 seconds, as explained before. At this point, considering the convergence of the algorithms, no true advantages are identified from one another. For instance, even if the convergence of the algorithm in [²⁰], is asymptotic, the 99% of the consensus value is achieved approximately at the same time as the algorithm in [²⁸], which has a finite-time convergence. Moreover, even though in [³¹], there exists a bound for the convergence time, independent from the initial conditions, in many applications as in wireless sensor networks, the initial conditions are within a known range and such convergence bound also depends on the network topology which is usually unknown a priori.

Fig. 1 Different consensus algorithms experimentally set for convergence to the consensus state approximately at 2 seconds under a cycle graph C25 communication topology

Now, let us consider the control effort related to each agent as Ei=(∫t0t1ui2)12 and the total control effort of the network as Etot=Σ1nEi where n is the number of agents. Then, the control effort of the network Etot of the experiment in Fig. 1 is presented in Table 2, showing that the proposed algorithm requires less control effort Etot among the four algorithms to achieve consensus.

Table 2 Total energy comparison among the different algorithms

Algorithm	Total Energy Etot
Proposed Algorithm	26.44
Asymptotic Consensus (6)	83.00
Finite-time Consensus (9)	37.49
Fixed-time Consensus (10)	64.21

However, as the number of agents under a cycle graph communication topology grows (i.e. as the smallest nonzero eigenvalue decreases), the convergence time to the consensus state varies among the different algorithms.

For instance, when it grows from 25 to 200 agents the convergence of the asymptotic consensus algorithm grows from 2 seconds to approximately 120 seconds, as shown in Fig. 2. The consensus of the finite-time consensus of [²⁸] grows to 20 seconds, the fixed-time convergent one to 30 seconds whereas the proposed consensus algorithm grows from 2 seconds to 7 seconds.

Fig. 2 Comparison among different consensus algorithms when the network grows to 200 agents with communication topology C200

Moreover, as the cycle network grows to C1000, the convergence time grows to 10 seconds for the proposed algorithm, 550 seconds for the asymp-totic consensus algorithm, 60 seconds for the finite-time consensus (9) and 70 seconds for the fixed-time convergent consensus algorithm (10) as shown in Fig. 3.

Fig. 3 Comparison among different consensus algorithms when the network grows to 1000 agents with communication topology C1000

It is worth noting that in many scenarios the network size is not determined a priori and in general it cannot be estimated by the agent to adjust accordingly.

Thus, algorithms that could be used over a wide range of scenarios (different network size and topology) with a single parameter configuration are desirable, contrary to algorithms whose convergence-time varies so widely that it becomes prohibited (as the asymptotic consensus algorithm of Fig. 2) in some applications.

5 Conclusions and Future Work

A continuous-time consensus algorithm with finite-time convergence over fixed networks was presented in this paper. Finite-time convergence was proven using homogeneity theory.

The proposed algorithm is computationally simpler than previously proposed finite-time con-sensus algorithms. Moreover, the proposed approach was compared, in simulations with existing consensus algorithms, including the standard consensus algorithm and finite-time and fixed-time convergent algorithms, showing its robustness, in a cycle graph topology, to the network growth.

Future work concerns the analysis of the proposed algorithm under dynamic networks which will be reported elsewhere.

Acknowledgements

The work of S. Čelikovský was supported by the Czech Science Foundation project 13-20433S. J. Ruiz-León’s research was performed during his sabbatical stay at the Institute of Information Theory and Automation, Czech Academy of Sciences supported by Conacyt, Mexico, project 265475.

References

1 . Bhat, S. P., & Bernstein, D. S. (2000). Finite-time stability of continuous autonomous systems. SIAM Journal on Control and Optimization, Vol. 38, No. 3, pp. 751-766. [ Links ]

2 . Bhat, S. P., & Bernstein, D. S. (2005). Geometric homogeneity with applications to finite-time stability. Mathematics of Control, Signals and Systems, Vol. 17, No. 2, pp. 101-127. [ Links ]

3 . Brunner, D., & Uhl, A. (1999). Optimal multipliers for linear congruential pseudo-random number generators with prime moduli: Parallel computation and properties. BIT Numerical Mathematics, Vol. 39, No. 2, pp. 193-209. [ Links ]

4 . Cai, K (2012). Averaging over general random networks. Automatic Control, IEEE Transactions on, Vol. 57, No. 12, pp. 3186-3191. [ Links ]

5 . Čelikovský, S (2000). Local stabilization and controllability of a class of non-triangular nonlinear systems. Automatic Control, IEEE Transactions on, Vol. 45, No. 10, pp. 1909-1913. [ Links ]

6 . Čelikovsk`y, S., & Aranda-Bricaire, E. (1999). Constructive nonsmooth stabilization of triangular systems. Systems & Control Letters, Vol. 36, No. 1, pp. 21 - 37. [ Links ]

7 . Center, M. K., & Kawski, M. (1995). Geometric homogeneity and stabilization. In Preprints of IFAC Nonlinear Control Systems Design Symposium (NOLCOS’95, pp. 164-169. [ Links ]

8 . Chen, Y., Lu, J., Yu, X., & Hill, D. (2013). Multi-agent systems with dynamical topologies: Consensus and applications. Circuits and Systems Magazine, IEEE, Vol. 13, No. 3, pp. 21-34. [ Links ]

9 . Cortés, J (2006). Finite-time convergent gradient flows with applications to network consensus. Automatica, Vol. 42, No. 11, pp. 1993 - 2000. [ Links ]

10 . Cruz-Zavala, E., Moreno, J. A., & Fridman, L. (2010). Uniform second-order sliding mode observer for mechanical systems. Variable Structure Systems (VSS), 2010 11th International Workshop on, pp. 14 -19. [ Links ]

11 . Franceschelli, M., Giua, A., Pisano, A., & Usai, E. (2013). Finite-time consensus for switching network topologies with disturbances. Nonlinear Analysis: Hybrid Systems, Vol. 10, pp. 83 - 93. [ Links ]

12 . Godsil, C., & Royle, G. (2001). Algebraic Graph Theory, volume 8 of Graduate Texts in Mathemathics. Springer-Verlag New York. [ Links ]

13 . Haimo, V (1986). Finite time controllers. SIAM Journal on Control and Optimization, Vol. 24, No. 4, pp. 760-770. [ Links ]

14 . Hermes, H (1991). Homogeneous coordinates and continuous asymptotically stabilizing feedback controls. Differential equations stability and control, Vol. 109, pp. 249-260. [ Links ]

15 . Hu, J (2009). On robust consensus of multi-agent systems with communication delays. Kybernetika, Vol. 45, No. 5, pp. 768-784. [ Links ]

16 . Hui, Q., Haddad, W. M., & Bhat, S. P. (2010). Finite-time semistability, filippov systems, and consensus protocols for nonlinear dynamical networks with switching topologies. Nonlinear Analysis: Hybrid Systems, Vol. 4, No. 3, pp. 557 - 573. [ Links ]

17 . Jiang, F., & Wang, L. (2009). Finite-time information consensus for multi-agent systems with fixed and switching topologies. Physica D: Nonlinear Phenomena, Vol. 238, No. 16, pp. 1550 - 1560. [ Links ]

18 . Lewis, F. L., Zhang, H., Hengster-Movric, K., & Das, A. (2014). Algebraic graph theory and coope-rative control consensus. In Cooperative Control of Multi-Agent Systems. Springer, pp. 23-71. [ Links ]

19 . Moulay, E., & Perruquetti, W. (2006). Finite-time stability and stabilization: State of the art. In Edwards, C., Fossas Colet, E., & Fridman, L., editors, Advances in Variable Structure and Sliding Mode Control, volume 334 of Lecture Notes in Control and Information Science. Springer Berlin Heidelberg, pp. 23-41. [ Links ]

20 . Olfati-Saber, R., Fax, J., & Murray, R. (2007). Consensus and cooperation in networked multi-agent systems. Proceedings of the IEEE, Vol. 95, No. 1, pp. 215-233. [ Links ]

21 . Olfati-Saber, R., & Murray, R. M. (2004). Consensus problems in networks of agents with switching topology and time-delays. Automatic Control, IEEE Transactions on, Vol. 49, No. 9, pp. 1520-1533. [ Links ]

22 . Polyakov, A (2012). Nonlinear feedback design for fixed-time stabilization of linear control systems. IEEE Transactions on Automatic Control, Vol. 57, No. 8, pp. 2106-2110. [ Links ]

23 . Rosier, L (1992). Homogeneous lyapunov function for homogeneous continuous vector field. Systems & Control Letters, Vol. 19, No. 6, pp. 467-473. [ Links ]

24 . Roxin, E (1966). On finite stability in control systems. Rendiconti del Circolo Matematico di Palermo, Vol. 15, No. 3, pp. 273-282. [ Links ]

25 . Sayyaadi, H., & Doostmohammadian, M. (2011). Finite-time consensus in directed switching network topologies and time-delayed communications. Scientia Iranica, Vol. 18, No. 1, pp. 75-85. [ Links ]

26 . Shang, Y (2012). Finite-time consensus for multi-agent systems with fixed topologies. International Journal of Systems Science, Vol. 43, No. 3, pp. 499-506. [ Links ]

27 . Wan, Y., Wen, G., Cao, J., & Yu, W. (2015). Distributed node-to-node consensus of multi-agent systems with stochastic sampling. To be Published in International Journal of Robust and Nonlinear Control. [ Links ]

28 . Wang, L., & Xiao, F. (2010). Finite-time consensus problems for networks of dynamic agents. Automatic Control, IEEE Transactions on, Vol. 55, No. 4, pp. 950-955. [ Links ]

29 . Yu, X., & Zhihong, M. (2002). Fast terminal sliding-mode control design for nonlinear dynamical systems. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on, Vol. 49, No. 2, pp. 261-264. [ Links ]

30 . Zhu, Y.-K., Guan, X.-P., & Luo, X.-Y. (2013). Finite-time consensus for multi-agent systems via nonlinear control protocols. International Journal of Automation and Computing, Vol. 10, No. 5, pp. 455-462. [ Links ]

31 . Zuo, Z., & Tie, L. (2014). A new class of finite-time nonlinear consensus protocols for multi-agent systems. International Journal of Control, Vol. 87, No. 2, pp. 363-370. [ Links ]

32 . Zuo, Z., Yang, W., Tie, L., & Meng, D. (2014). Fixed-time consensus for multi-agent sy-stems under directed and switching interaction topology. American Control Conference (ACC), 2014, pp. 5133-5138. [ Links ]

Received: July 08, 2016; Accepted: February 09, 2017

Corresponding author is David Gómez-Gutiérrez. david.gomez.g@ieee.org, celikovs@utia.cas.cz, dsanchez@gdl.cinvestav.mx, jruiz@gdl.cinvestav.mx.

This is an open-access article distributed under the terms of the Creative Commons Attribution License