Mathematical Problems in Engineering
Volume 2018 (2018), Article ID 1957070, 11 pages
https://doi.org/10.1155/2018/1957070

Research Article

Predefined-Time Consensus of Nonlinear First-Order Systems Using a Time Base Generator

J. Armando Colunga,¹ Carlos R. Vázquez,² Héctor M. Becerra,¹ and David Gómez-Gutiérrez2,3

¹Centro de Investigación en Matemáticas (CIMAT), A.C., Computer Science Department, GTO, Mexico
²Tecnologico de Monterrey, Escuela de Ingeniería y Ciencias, Zapopan, Mexico
³Intel Tecnología de México, Multi-Agent Autonomous Systems Lab, Intel Labs, Zapopan, Mexico

Correspondence should be addressed to Héctor M. Becerra; hector.becerra@cimat.mx

Received 16 June 2018; Revised 11 September 2018; Accepted 17 September 2018; Published 9 October 2018

Academic Editor: Ju H. Park

Copyright © 2018 J. Armando Colunga et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper proposes a couple of consensus algorithms for multiagent systems in which agents have first-order nonlinear dynamics, reaching the consensus state at a predefined time independently of the initial conditions. The proposed consensus protocols are based on the so-called time base generators (TBGs), which are time-dependent functions used to build time-varying control laws. Predefined-time convergence to the consensus is proved for connected undirected communication topologies and directed topologies having a spanning tree. Furthermore, one of the proposed protocols is based on the super-twisting controller, providing robustness against disturbances while maintaining the predefined-time convergence property. The performance of the proposed methods is illustrated in simulations, and it is compared with finite-time, fixed-time, and predefined-time consensus protocols. It is shown that the proposed TBG protocols represent an advantage not only in the possibility to define a settling time but also in providing smoother and smaller control actions than existing finite-time, fixed-time, and predefined-time consensus.

1. Introduction

Recent years have seen an increasing interest in algorithms allowing a group of systems to reach a common value for its internal state through local interaction. This problem has been addressed, from different viewpoints, in the consensus of multiagent systems (MASs) [1, 2] and in the synchronization of complex dynamical networks [3–5]. On the one hand, consensus protocols have been applied to flocking [6], formation control [7, 8], and distributed resource allocation [9, 10]. On the other hand, the results on synchronization of complex dynamical networks have been applied to neuroscience [3], power-grids [3], and the chaotic synchronization for secure communication in swarms [11].

Several works have been published proposing consensus and synchronization algorithms for different types of systems, considering static [12–14] and dynamic networks [4, 5]. Regarding first-order agents, the standard protocol (the input of an agent is a linear combination of the errors between the agent’s state and those of its neighbors) achieves consensus if the graph topology is strongly connected [15, 16]. This algorithm achieves consensus also for dynamic topologies, switching among connected graphs [15, 17]. For directed graphs topologies, a common requirement is that the graph contains a spanning-tree (e.g., [18]). All these algorithms are based on linear protocols and achieve consensus in an asymptotic fashion, where convergence rate is a function of the algebraic connectivity of the graph.

With the aim of developing consensus protocols satisfying real-time constraints, finite-time consensus has received a great deal of attention. The main focus has been in defining nonlinear protocols evaluated either on each of the neighbors’ errors or on the sum of the neighbors’ errors. For finite-time convergence, binary protocols based on the function have been proposed to achieve consensus to the average value [19, 20], the average-min-max value [21], the median value [22], and the maximum or minimum value [23] of the agent’s initial conditions. Continuous finite-time protocols, based on the function, with , have been introduced in [12, 24]. Some algorithms have been extended to achieve finite-time consensus for strongly connected dynamic topologies [20, 25]. Fixed-time protocols have also been proposed in [26, 27]. In these, there exists a bound for the convergence time that is independent of the initial conditions [28, 29]. The protocols are mainly based on functions of the form , with .

The methods mentioned above cannot be used in applications where real-time constraints have to be accomplished, since in both finite-time and fixed-time consensus, the relationship between the protocol parameters and the convergence time is not straightforward. Thus it is difficult to define the convergence time bound as a function of the protocol parameters. Moreover, the convergence time bound is often overestimated.

To address the consensus design problem with real-time constraints, predefined-time convergence has to be investigated. In this, the time at which consensus is achieved is predefined a priori as a parameter of the consensus protocol, being independent of the initial conditions. Few works have addressed the predefined-time consensus problem. In [30, 31], linear protocols that use time-varying control gains were proposed for reaching network consensus at a preset time. By using a motion planning strategy, predefined-time consensus protocols based on a time-varying sampling sequence convergent to a specified settling time are proposed in [32, 33]. Preliminary versions of a couple of predefined-time protocols were proposed in [34], taking advantage of time base generators (TBGs), which are parametric time signals that converge to zero in a specified time [35], and can be tracked using feedback controllers.

In this work, a couple of consensus algorithms based on TBGs are proposed as an extension to [34]. One algorithm is based on a linear-feedback, and the other is based on the super-twisting controller for the tracking of the TBG signal. The proposed approach can be applied to systems in which agents belong to the class of first-order controllable linear systems and nonlinear systems that can be linearized by state feedback [36]. Comparisons between the proposed protocols and finite-time, fixed-time, and predefined-time protocols are provided through simulations, showing the advantages of the proposed approach. In contrast with works on predefined-time consensus [30–32], the contribution of this paper is threefold: First, the proposed controllers yield smoother auxiliary control signals (without considering the linearization terms) with smaller magnitudes. Second, there are no parameters in the proposed consensus protocols depending on the algebraic connectivity of the graph considered. Third, a super-twisting controller is presented to deal with perturbed dynamics in the network’s agents. With respect to our preliminary conference version [34], two main extensions are reported herein: (1) the new linear-feedback protocol drives the agents towards the initial conditions average (for undirected graphs) or the weighted sum of the initial conditions (for directed graphs), whereas in our previous work the consensus value was artificially specified; (2) convergence to the consensus value in predefined time is demonstrated even if uncertainty in the knowledge of the initial state is introduced in the controller, at difference of our previous results, where it was assumed that the initial state was perfectly known.

It is known that second-order systems can represent a broader class of real systems than first-order systems. However, the last class of systems has also broad applicability, for instance, in robotics for kinematic control of holonomic robots. We are very interested in generalizing our results even for systems of a higher order than two, taking into account existing results like the ones in [37, 38].

The rest of this paper is organized as follows. Section 2 introduces some background in algebraic graph theory, defines the class of systems for which the proposed method is applicable, and formulates the problem to be solved in this paper. Section 3 presents the proposed consensus protocols: a linear-feedback and a super-twisting controller for the tracking of the TBG signal. Section 4 presents simulation results and a comparison of the proposed controllers with existing approaches. Section 5 provides conclusions.

2. Preliminaries and Problem Definition

2.1. Algebraic Graph Theory

Agents’ communication is represented by a graph , which consists of a set of vertices (nodes or agents in this work) , a set of edges , and a weighted adjacency matrix with nonnegative adjacency elements , i.e., iff . The set of neighbors of agent is denoted by .

Definition 1 (see [39, 40]). A graph is called directed if there is an entry of that fulfills ; i.e., represents that agent receives the information of the state value of the agent ; otherwise, , i.e., . A graph is called undirected if the pairs of nodes are not ordered ; otherwise, , i.e., .

Definition 2 (see [39, 40]). A directed path (respectively, undirected path) from nodes to is a sequence of distinct edges of the form in a directed graph (respectively, undirected graph). A graph is strongly connected (respectively, connected) if there exists a directed path (respectively, undirected path) between any two distinct vertices and in .

Definition 3 (see [16, 18]). A directed graph has a directed spanning tree if there exists a node (a root) such that all other nodes can be linked to via a directed path.

If an undirected graph has a directed spanning tree, then the graph is connected. A strongly connected directed graph contains at least one directed spanning tree [16, 18].

Definition 4 (see [16]). Let be a graph on vertices labelled as . The Laplacian matrix of is defined as the matrix , where

In this work, we will propose and analyze consensus protocols for two kinds of networks: connected undirected graphs and directed graphs with a directed spanning tree [2, 16, 18].

Lemma 5 ([2, 16, 18]). has at most one zero eigenvalue with as the corresponding right eigenvector, where denotes a column vector with all entries equal to one, i.e., , and . Furthermore, if the graph is undirected and connected, has a left eigenvector that satisfies and , where represents a column vector of zeros. If the graph is directed and has a spanning tree then and .

Finally, let us introduce a matrix transformation that will be useful later on. Let be the Jordan form associated with . Then, there exists a nonsingular matrix such that

where is the Jordan matrix associated with the nonzero eigenvalues of [39, 41] and represents a column vector of zeros of size .

2.2. Problem Definition

In this paper, we will consider a set of agents connected through a network, which are modeled as first-order nonlinear systems as follows

Where, for the agent is the system’s state, is the control input, and are smooth nonlinear functions, and is a bounded disturbance. In order to represent the multiagent system (MAS) dynamics, denote , , , , and . Then, the complete dynamics (3) can be written as

Let us propose a linearizing control law of the form for each agent (3), where is an auxiliary control input and it is assumed that , i.e., the relative degree is well defined [36] and the agent is controllable. The closed-loop dynamics for the -th agent are now linear and given by

The complete closed-loop dynamics for all the agents can be written as

where .

In a MAS, the consensus error of agent with respect to its neighbors is defined as [2]

The consensus error for the complete MAS can be expressed in a compact form as [2]

Problem statement: given a MAS with agents modeled as first-order nonlinear systems (3) and with an associated graph , design a consensus protocol for each agent in the form , such that the state of all the agents reaches a consensus value in a predefined time   from any initial state , i.e., , as . Therefore, the consensus error (8) converges to zero at time .

Remark 6. The consensus problem in MASs is closely related to the synchronization problem in complex dynamical networks, but they have been addressed from different viewpoints [42]. In fact, the consensus problem can be posed as a complete-synchronization problem. In the former, the analysis is often based on the matrix Laplacian approach [2] and the agents have simple dynamics such as single integrator dynamics, a chain of integrators, or linear systems. The recent focus has been on defining finite-time, fixed-time, and predefined-time protocols for fixed and dynamic networks. In the synchronization problem in complex networks the analysis is often based in the Master stability function formalism [3, 42] and addresses interconnected systems with complex dynamics, for instance, chaotic attractors. Although recently some works have addressed synchronization in dynamic networks, e.g., Markov jump topologies [4, 5], most of the work has been focused on static topologies. For further details on the synchronization problem, we refer the reader to [3].

2.3. Time Base Generator (TBG)

Time base generators are parametric functions of time, particularly designed to stabilize a system in such a way that its state describes a convenient transient profile. TBGs have been previously used to achieve predefined-time convergence of first and higher order dynamics for single systems in [35]. For the case of single first-order systems, TBGs have been used for the control of robots at kinematic level [43].

A time base generator (TBG) is a continuous and differentiable time-dependent polynomial function described as [35]

where is the time basis vector and is a vector of coefficients of proper dimensions. For first-order systems, it is required to compute a TBG fulfilling the following conditions at initial time and final time ,

In [35], a couple of procedures for calculating the coefficients , fulfilling the required constraints, have been introduced. In particular, when a high degree polynomial is used, an optimization procedure can be applied to find the best coefficients.

3. Consensus Protocols Using the TBG

In this section, we present consensus protocols that take advantage of the TBG to enforce convergence of a MAS in predefined time. In the first two subsections, we present results for unperturbed systems, i.e., for , while in Section 3.3 we consider perturbed systems.

3.1. Previous Results

In [34], a consensus protocol was proposed for the MAS (4) by introducing a time-varying control gain in order to drive the system to a neighborhood about a given consensus value in a predefined time , from any initial state . Consequently, the consensus error (8) converges to a neighborhood about the origin at . Such consensus protocol is similar in nature to those in [30, 31].

In the same preliminary work [34], we have proposed the following open-loop controller to enforce predefined-time convergence to a desired consensus value , provided that the MAS (4) is not perturbed and the initial state is known,

where fulfills (10). In that work, it was demonstrated that consensus to is achieved in time and the resulting consensus error trajectory in the interval is given by

where is the consensus error vector (8) at the initial condition .

To provide closed-loop stability of the tracking error, a different protocol was proposed in [34] to address the predefined-time consensus problem as a trajectory tracking problem, where the reference trajectory depends on the TBG. Such protocol is described as follows,

This protocol guarantees stability during the transient behavior and also after the settling time, i.e., for any . The controller for each agent in (13) consists of two terms: the first one is a feed-forward term that yields the evolution of each agent’s error from the initial value to the origin at time , following a transient profile defined by the TBG as ; the second term is a feedback term that corrects any deviation of from the transient profile , providing global stability of the error dynamics.

3.2. Consensus Based on the Error Feedback

In the conference paper [34], whose main results were summarized above, consensus protocols were proposed achieving predefined-time convergence to a consensus value , which must be specified in the control law. Moreover, it was assumed that the initial state is accurately known since this value is used in the protocols.

Nevertheless, in most of the protocols proposed in the literature, the consensus value is a quantity that inherently results from the initial states and the connectivity of the graph model [15]. The consensus value may represent important information to be recovered, as in a network of sensors. For this reason, in this paper, we propose a new consensus protocol that yields predefined-time convergence of the unperturbed MAS (4) without the need of specifying a consensus value. Moreover, we consider uncertainties in the knowledge of the initial conditions.

In the sequel, consider that the consensus protocol has an estimate of the initial state, denoted as , instead of the real initial state . In this way,

where is a vector of uncertainty in the initial state. From (14), the uncertain initial consensus error can be computed as

The following theorem introduces one of the main results of this paper, a feedback-based consensus protocol able to achieve consensus without the need of specifying the consensus value and able to track the trajectories given by the TBG when there is uncertainty in the initial state introduced in the controller.

Theorem 7. Consider a MAS with a connected undirected communication topology or directed topology having a spanning tree modeled as in (4). Let be a constant state-feedback gain. Then, the time-varying feedback control law

with as in (10) and computed from the initial state estimate , provides global asymptotic stability of the tracking error . Therefore, assuming , predefined-time convergence of the MAS (4) to a consensus value is achieved at from any initial state .

Proof. First, let us demonstrate the stability of the tracking error. The dynamics (3) with , under the control action (16), can be written in vector notation as

Computing from (8) and using the linearized dynamics (17), we have

By using , the initial tracking error is computed as

with , where is the Jordan form associated with and is a nonsingular matrix [39].
Let , then , and according to (2), it follows that the first entry of is null, i.e., . Now, taking the time derivative of and using (18), we have

Let , and , where and . Then, we can verify that (20) can be written as

where and is the Jordan matrix associated with for , .
It can be shown that the solutions of the differential equations (21) are the following [44]:

where is the exponential matrix. Then, it follows that

since the integral is a finite value due to , and has eigenvalues with negative real parts [18, 45]. Notice that the convergence speed is determined by the dominant eigenvalue of ([15]) and the control gain .
Since , then

Therefore, the tracking error converges to the origin. In fact, from (21) it can be seen that the tracking error is globally asymptotically stable, since the real part of the eigenvalues of is negative, , and can be seen as a disturbance that becomes null for . The stability of the tracking error implies that follows ; thus converges to the origin at the predefined-time . Any small final error in time is corrected by the control input , which is applied to each agent for .
By using the property (in accordance to Lemma 5), the converge of the consensus error (8) to the origin implies

i.e.,

That is, the system (4) achieves predefined-time convergence to a consensus value at using the consensus protocol (16).
Now, let us compute the final consensus value. First, define , where is defined in Lemma 5. For the two types of considered graphs, is an invariant quantity, since

where by Lemma 5. Thus,

Moreover, from (25) it follows that

Then, for a connected undirected graph and by Lemma 5 (), it is obtained that

and solving for , one has

Hence, the consensus value is the average of the initial state for connected undirected graphs. Now, for a directed graph with a directed spanning tree and by Lemma 5 (), it results in

Therefore, the consensus value is given by (32) for a directed graph with a directed spanning tree.
Thus, system (4) with achieves predefined-time convergence to a consensus value at in the presence of uncertainty in the initial state using the consensus protocol (16).

Remark 8. It is worth noting that, in contrast to the use of the consensus protocol (13), the feed-forward term of in (16) is not sufficient to drive the consensus error trajectory to the TBG reference trajectory even for ; consequently, system (4) under the first term of (16) does not reach predefined-time convergence to a consensus value at . In such a case, the final state is given by , where denotes the identity matrix of size . Therefore, the use of the feedback term in (16) is required in any case.

It can be seen that the consensus protocol (16) can solve the problem of predefined-time consensus stated in Section 2.2 by tracking the trajectories given by the TBG even when considering uncertainty in the initial state. In this sense, the compensation term for tracking must guarantee reaching the TBG trajectories before the desired convergence time . This means that the tracking control gain must be higher for a larger uncertainty in the initial state. Then, there is a limit on the values of that can be managed by the consensus protocol.

Remark 9. Theorem 7 represents a novel contribution on consensus for nonlinear MAS: First, the predefined-time consensus is solved for nonlinear first-order systems. Second, the auxiliary control inputs in (16) are smooth signals even at , which is not the case of other approaches reported in the literature. Third, the proposed consensus protocols do not have parameters depending on the algebraic connectivity of the graph considered. Finally, the stability analysis is performed by using standard techniques for linear systems (upon feedback linearization of the original systems), while most of the works regarding finite-time and fixed-time and even the few existing works on predefined-time convergence adopt more sophisticated techniques such as homogeneity theory and Lyapunov functions.

Remark 10. The result introduced by Theorem 7, compared to our previous conference work [34], is twofold: (1) a new consensus protocol is proposed, achieving predefined-time convergence of the unperturbed MAS (4) without the need of specifying a consensus value; (2) the effect of considering uncertainty in the knowledge of the initial conditions is analyzed, demonstrating that convergence to a consensus value can still be achieved.

3.3. Robust Predefined-Time Consensus

In the previous consensus protocol, we have considered unperturbed dynamics (i.e., ). To effectively deal with disturbances, a robust protocol is introduced in this section, by combining the super-twisting controller (STC), which can compensate for matched uncertainties/disturbances [46], with the TBG, leading to a robust predefined-time controller.

In this scheme, it is assumed that there exits a leader in the network system, whose dynamics can be modeled as in [47] by

where is the leader’s control input. In this case, agents are now the followers with dynamics (3). The consensus error for each follower is defined as [47]

where represents the leader’s adjacency with if agent is a neighbor of the leader; otherwise .

The tracking error is given by

where is the TBG reference trajectory for the -th and is computed from the initial state estimate as in (15). The tracking error will be used as the sliding surface; thus

Theorem 11. Consider a MAS modeled as in (4) with a leader (33). For each agent , define and the sliding surface (36). Consider a function as in (10). There exist gains and , for some function and a constant , such that the following nonlinear controller defined for each agent

achieves predefined-time convergence to the leader’s state at , allowing , from any initial state .

Proof. First, taking the time derivative of the tracking error (35) and using the dynamics of the followers (3) and the leader (33), it is obtained that

Now, using (38) and plugging the control law (37) in the time derivative of the sliding surface (36), it results in

where . Let ; then the previous expression can be rewritten as

It has been proven in [46] that, for a bounded continuously differentiable disturbance, i.e., if and for some constants , , the second-order dynamics (40) converge globally to the origin () in finite time in spite of the disturbance, if adequate positive control gains and are used. Moreover, the remaining dynamics of the tracking error system are constrained to the sliding surface, such that , meaning that each agent follows . Consequently, the consensus error converges to zero in the predefined-time and the consensus value is given by the leader’s state [47].

Remark 12. To the best of our knowledge, the only works that propose predefined-time consensus protocols by other authors are [30–32]. The consensus control law (37) has the advantage, over those protocols, of providing robustness against large matched perturbations.

Some important issues to be considered during real-world applications of the proposed distributed control protocols are threefold: First, all the clocks of the agents in the network must be synchronized to achieve predefined-time convergence. Second, physical constraints of the systems must be taken into account to set , considering that a small will result in large control inputs. Thus the maximum allowable input of each agent must be taken into consideration to set . Third, we are currently assuming no time delay in the agent’s communication; however, time delays may exist in some systems and may affect the convergence to the consensus.

4. Simulation Results

In this section, simulation results are shown to illustrate the advantages of the proposed protocols. All the simulations consider a MAS of 8 agents, described by (3) with for agents 1 to 4, for agents 5 to 8, and for all the 8 agents. The convergence time is preset to seconds. For this, the TBG is described by the function , which fulfills (9), i.e., , , and . Both proposed distributed control laws are implemented as defined in (16) and (37). The implementation essentially requires the computation of the TGB reference and its time derivative, which means to evaluate the functions and at each iteration and compute the consensus error for each agent depending on the neighbors state as given by (7).

We use the communication topologies shown in Figure 1 (obtained from [30]), denoted as and , where is a connected undirected graph and is a directed graph having a directed spanning tree. The simulations were implemented in MATLAB using the Euler forward method to approximate the time derivatives with a time step of 0.1 ms.

Figure 1: Communication graphs. Left: undirected graph . Right: directed graph .

The initial states of the eight agents are , , , , , , , . The uncertainties in the initial states are set to be , , , , , , , .

4.1. Simulation of the Consensus Protocol Based on the Error Feedback

This subsection is devoted to showing the performance of the TBG protocol (16). Figures 2 and 3 show the transient behavior of the MAS under (16) with , for and , respectively. For the case shown in Figure 2, perfect knowledge of the initial conditions is assumed, while in Figure 3, there exists uncertainty in the initial condition knowledge, given by . In both cases the agent’s state (top graphs in the figures) reaches consensus at the predefined 5 seconds.

Figure 2: Predefined-time TBG-tracking controller (16) for . The convergence time is preset to  sec., and the consensus value is .

Figure 3: Predefined-time TBG-tracking controller (16) for and uncertainty in the initial state. In the error trajectories, the continuous lines represent the evolution of the errors whereas the TBG reference is drawn with dash line. The convergence time is preset to 5 sec., and the consensus value is .

It can be seen in Figure 2 (middle) that the auxiliary control inputs generated by the control protocol (16) are smooth signals even at . This is due to the properties of the TBG, which yields that each starts at zero and returns to zero at time . This is not the case for the control inputs , since they include the nonlinearities that must be cancelled. In the case where the uncertainty in the initial state is considered (Figure 3), the second term of in (16) is not initially null to compensate the deviation from the reference given by the TBG. It can be seen in Figure 3 (middle and bottom) that the consensus errors do not initiate over the references and consequently the auxiliary controls are not null at .

4.2. Comparison with Others Approaches

In this subsection, first, we compare the proposed control law (16) with other predefined-time control protocols [30–32]. As described in Section 1, to the authors’ knowledge, these are the existing approaches that solve the problem of predefined-time convergence. Each one of these works refers to their proposal with a different adjective: preset-time consensus [30], prescribed-time consensus [31], and specified-time consensus [32]. We can see in Figures 4–6 that consensus is achieved by using any of these approaches. We have to say that the control protocols of [30, 31] are very similar; both of them are based on the use of a time-varying control gain. Between their similarities, we can see in Figures 4 and 5 the large initial value of the auxiliary control inputs. This is also the case for the specified-time consensus [32] of Figure 6. Notice that the auxiliary control inputs of the TBG-based controller, shown in Figure 2, started in zero and were smoother and of lower magnitude compared to the large initial auxiliary control effort of the other predefined-time consensus approaches.

Figure 4: Preset-time controller [30] for . The convergence time is preset to 5 sec., and the consensus value is .

Figure 5: Prescribed-time controller [31] for . The convergence time is present to 5 sec., and the consensus value is 0.0946.

Figure 6: Specified-time controller [32] for . The convergence time is present to 5 sec., and the consensus value is 0.5196.

Additionally, we can see that the specified-time consensus protocol in Figure 6 generates discontinuities in the auxiliary inputs along the time, according to its planned switching strategy. Moreover, although this consensus approach was tested on the undirected graph , the consensus value is not the average of the initial state as one could expect.

Following the comparison, we evaluate the TBG controller (16) and different finite-time, fixed-time, and predefined-time consensus protocols reported in the literature, by applying the protocols to the MAS with the communication topologies and . In particular, the protocols in [20, 48] ensure finite-time convergence, and the one proposed in [27] guarantees fixed-time convergence. The predefined-time protocols [30–32] and the proposed TBG-tracking controller (16) achieve predefined-time convergence. The finite-time and fixed-time controllers were tuned to achieve a similar convergence time around the 5 seconds of predefined time, from the initial condition . Then, several simulations were performed for different initial states of the form , where was varying in such a way that the mean of ranges from to 50. The same control gains were used in all the experiments. Finally, for every experiment, the convergence time of the system, defined as the time at which , was measured; similarly, the maximum absolute value of the auxiliary control input was recorded.

The results are shown in Figures 7 and 8, where it can be observed that the proposed TBG-based control (16) and the other predefined-time controllers [30–32] are able to maintain the same convergence time for all the initial conditions. Furthermore, note that the maximum auxiliary control efforts were lower for both the TBG-based control and the finite-time control [20]. The last control law is of the form . In particular, the consensus protocols [30, 31] explicitly include a parameter that must be set accordingly to an eigenvalue of the Laplacian matrix, which depends on the connectivity of the graph considered. This is not the case for the proposed control protocols. Therefore, the simulations show that the proposed TBG protocol (16) represents an advantage not only in the possibility to define a settling time but also in providing smooth and efficient control actions.

Figure 7: Comparison of the TBG-tracking controller (16) with other approaches for . Top: settling time as a function of the initial condition . Bottom: maximum value of the auxiliary control input as a function of the initial condition .

Figure 8: Comparison of the TBG-tracking controller (16) with other approaches for . Top: settling time as a function of the initial condition . Bottom: maximum value of the auxiliary control input as a function of the initial condition .

4.3. Robust Predefined-Time Consensus

All the previous simulations considered ideal dynamics in (3), i.e., for all the agents. In fact, the TBG-tracking controller (16) is not able to deal with matched bounded disturbances. For instance, Figure 9 shows the MAS with the topology under this protocol and matching perturbations , with randomly selected in . It can be observed that the state of the MAS does not establish in a consensus value due to the perturbation. A similar behavior can be obtained with the other existing predefined-time consensus protocols [30–32].

Figure 9: Predefined-time TBG-tracking controller (16), which is not robust for perturbed dynamics and .

In order to deal with the described matching perturbations , the proposed robust predefined-time TBG controller (37) has to be used. For this, a leader is defined with dynamics (33), having communication only with the first follower agent, i.e., and . The gains of the robust controller (37) were set as and ; and the leader’s state was maintained constant and equal to by setting its control input as . Figures 10 and 11 show the results obtained when the communication between the followers is described by and , respectively. Notice that the error trajectories are driven to zero in the predefined time , while the control input keeps oscillating after in order to reject the disturbance .

Figure 10: Robust predefined-time TBG controller (37) for perturbed systems and . In the error trajectories, the continuous lines represent the evolution of the errors whereas the TBG reference is drawn with dash line. The convergence time is preset to 5 sec.

Figure 11: Robust predefined-time TBG controller (37) for perturbed systems and . In the error trajectories, the continuous lines represent the evolution of the errors whereas the TBG reference is drawn with dash line. The convergence time is preset to 5 sec.

5. Conclusions

In this paper, a couple of predefined-time consensus protocols for first-order nonlinear MAS under both undirected and directed communication topologies have been proposed. In these protocols, the convergence time to achieve consensus can be set by the user, and it is independent of the initial state conditions. For this, the TBG (time base generator) is combined with feedback controllers to achieve closed-loop stability and robustness. In particular, one protocol uses the super-twisting controller to deal with perturbations. The performance of the proposed controllers has been compared with existing finite-time, fixed-time, and predefined-time controllers through simulations. The results have shown that the proposed protocols achieve consensus in the predefined time, independently of the initial conditions, and exhibit closed-loop stability. Moreover, a benefit of the proposed controllers is that they yield smoother control signals with smaller magnitude than the existing approaches reported in the literature. Furthermore, the proposed schemes can reach predefined-time consensus even when there exists uncertainty in the knowledge of the initial conditions, and the super-twisting protocol is robust against matching perturbations.

Future works will focus on extending the results presented in this paper to the case of high-order nonlinear MAS, as well as in considering the predefined-time consensus problem in Markovian jump topologies [4, 5].

Data Availability

The paper is a theoretical result on consensus with predefined-time convergence. All proofs are presented, and simulations are provided to illustrate the result. In the authors’ opinion, there is no need to provide the numerical experiments; simulations can be provided and made available under request.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this manuscript.

Acknowledgments

The first two authors were supported in part by Conacyt [grant No. 220796]. The authors would also like to acknowledge the partial support of Intel Corporation for the development of this work.

References

F. Jiang and L. Wang, “Finite-time information consensus for multi-agent systems with fixed and switching topologies,” Physica D: Nonlinear Phenomena, vol. 238, no. 16, pp. 1550–1560, 2009.

R. Olfati-Saber and R. M. Murray, “Consensus problems in networks of agents with switching topology and time-delays,” IEEE Transactions on Automatic Control, vol. 49, no. 9, pp. 1520–1533, 2004.

A. Arenas, A. D. Guilera, J. Kurths, Y. Moreno, and C. Zhou, “Synchronization in complex networks,” Physics Reports, vol. 469, no. 3, pp. 93–153, 2008.

H. Shen, J. H. Park, Z.-G. Wu, and Z. Zhang, “Finite-time H∞ synchronization for complex networks with semi-Markov jump topology,” Communications in Nonlinear Science and Numerical Simulation, vol. 24, no. 1–3, pp. 40–51, 2015.

H. Shen, S. Huo, J. Cao, and T. Huang, “Generalized state estimation for Markovian coupled networks under round-robin protocol and redundant channels,” IEEE Transactions on Cybernetics, pp. 1–10, 2018.

R. Olfati-Saber, “Flocking for multi-agent dynamic systems: algorithms and theory,” IEEE Transactions on Automatic Control, vol. 51, no. 3, pp. 401–420, 2006.

K.-K. Oh, M.-C. Park, and H.-S. Ahn, “A survey of multi-agent formation control,” Automatica, vol. 53, pp. 424–440, 2015.

W. Ren, “Distributed attitude alignment in spacecraft formation flying,” International Journal of Adaptive Control and Signal Processing, vol. 21, no. 2-3, pp. 95–113, 2007.

Y. Xu, G. Yan, K. Cai, and Z. Lin, “Fast centralized integer resource allocation algorithm and its distributed extension over digraphs,” Neurocomputing, vol. 270, pp. 91–100, 2017.

Y. Xu, T. Han, K. Cai, Z. Lin, G. Yan, and M. Fu, “A distributed algorithm for resource allocation over dynamic digraphs,” IEEE Transactions on Signal Processing, vol. 65, no. 10, pp. 2600–2612, 2017.

D. Gómez-Gutiérrez and R. De La Guardia, “Chaotic-based synchronization for secure network communications, US Patent 9438422B2,” 2016.

L. Wang and F. Xiao, “Finite-time consensus problems for networks of dynamic agents,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 950–955, 2010.

Z. Zuo and L. Tie, “A new class of finite-time nonlinear consensus protocols for multi-agent systems,” International Journal of Control, vol. 87, no. 2, pp. 363–370, 2014.

D. Gómez-Gutiérrez, J. Ruiz-León, S. Celikovsky, and J. D. Sánchez-Torres, “A finite-time consensus algorithm with simple structure for fixed networks,” Computación y Sistemas, vol. 22, no. 2, 2018.

R. Olfati-Saber, J. A. Fax, and R. M. Murray, “Consensus and cooperation in networked multi-agent systems,” Proceedings of the IEEE, vol. 95, no. 1, pp. 215–233, 2007.

W. Ren and R. W. Beard, Distributed Consensus in Multi-Vehicle Cooperative Control, Springer, 2008.

K. Cai and H. Ishii, “Average consensus on arbitrary strongly connected digraphs with time-varying topologies,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 59, no. 4, pp. 1066–1071, 2014.

Z. Li and Z. Duan, Cooperative Control of Multi-Agent Systems: A Consensus Region Approach, CRC Press, Boca Raton, Fla, USA, 2014.

H. Sayyaadi and M. R. Doostmohammadian, “Finite-time consensus in directed switching network topologies and time-delayed communications,” Scientia Iranica, vol. 18, no. 1, pp. 75–85, 2011.

M. Franceschelli, A. Giua, A. Pisano, and E. Usai, “Finite-time consensus for switching network topologies with disturbances,” Nonlinear Analysis: Hybrid Systems, vol. 10, pp. 83–93, 2013.

J. Cortés, “Finite-time convergent gradient flows with applications to network consensus,” Automatica, vol. 42, no. 11, pp. 1993–2000, 2006.

M. Franceschelli, A. Giua, and A. Pisano, “Finite-time consensus on the median value with robustness properties,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 62, no. 4, pp. 1652–1667, 2017.

B. Liu, W. Lu, and T. Chen, “Consensus in continuous-time multiagent systems under discontinuous nonlinear protocols,” IEEE Transactions on Neural Networks and Learning Systems, vol. 26, no. 2, pp. 290–301, 2015.

Y.-K. Zhu, X.-P. Guan, and X.-Y. Luo, “Finite-time consensus for multi-agent systems via nonlinear control protocols,” International Journal of Automation and Computing, vol. 10, no. 5, pp. 455–462, 2013.

Y. Shang, “Finite-time consensus for multi-agent systems with fixed topologies,” International Journal of Systems Science, vol. 43, no. 3, pp. 499–506, 2012.

S. E. Parsegov, A. E. Polyakov, and P. S. Shcherbakov, “Fixed-time consensus algorithm for multi-agent systems with integrator dynamics,” in Proceedings of the 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, NecSys 2013, pp. 110–115, September 2013.

Z. Zuo, Q. L. Han, B. Ning, X. Ge, and X. M. Zhang, “An overview of recent advances in fixed-time cooperative control of multiagent systems,” IEEE Transactions on Industrial Informatics, vol. 14, no. 6, pp. 2322–2334, 2018.

E. Cruz-Zavala, J. A. Moreno, and L. Fridman, “Uniform Second-Order Sliding Mode Observer for mechanical systems,” in Proceedings of the 2010 11th International Workshop on Variable Structure Systems, VSS 2010, pp. 14–19, Mexico, June 2010.

A. Polyakov, “Nonlinear feedback design for fixed-time stabilization of linear control systems,” IEEE Transactions on Automatic Control, vol. 57, no. 8, pp. 2106–2110, 2012.

C. Yong, X. Guangming, and L. Huiyang, “Reaching consensus at a preset time: single-integrator dynamics case,” in Proceedings of the 31st Chinese Control Conference (CCC), pp. 6220–6225, IEEE, 2012.

Y. Wang, Y. Song, D. J. Hill, and M. Krstic, “Prescribed-time consensus and containment control of networked multiagent systems,” IEEE Transactions on Cybernetics, 2018.

Y. Zhao and Y. Liu, “Specified-time consensus for multi-agent systems,” in Proceedings of the 2017 Chinese Automation Congress (CAC), pp. 732–737, Jinan, October 2017.

Y. Liu, Y. Zhao, W. Ren, and G. Chen, “Appointed-time consensus: accurate and practical designs,” Automatica, vol. 89, pp. 425–429, 2018.

J. A. Colunga, C. R. Vázquez, H. M. Becerra, and D. Gómez-Gutiérrez, “Predefined-time consensus using a time base generator (TBG),” in Proceedings of the IFAC Second Conference on Modelling, Identification and Control of Nonlinear Systems (MICNON), vol. 51, pp. 246–253, 2018.

H. M. Becerra, C. R. Vazquez, G. Arechavaleta, and J. Delfin, “Predefined-time convergence control for high-order integrator systems using time base generators,” IEEE Transactions on Control Systems Technology, vol. 26, no. 5, pp. 1866–1873, 2018.

H. K. Khalil and J. W. Grizzle, Nonlinear Systems, vol. 3, Prentice Hall, New Jersey, NJ, USA, 2002.

Q. Ma, S. Xu, F. L. Lewis, B. Zhang, and Y. Zou, “Cooperative output regulation of singular heterogeneous multiagent systems,” IEEE Transactions on Cybernetics, vol. 46, no. 6, pp. 1471–1475, 2016.

Q. Ma, “Cooperative control of multi-agent systems with unknown control directions,” Applied Mathematics and Computation, vol. 292, pp. 240–252, 2017.

A. H. Roger and R. J. Charles, Matrix Analysis, Cambridge University Press, New York, NY, USA, 2nd edition, 2013.

W. Yu, G. Wen, G. Chen, and J. Cao, Distributed Cooperative Control of Multi-agent Systems, John Wiley and Sons, 2016.

Z. Li and Z. Duan, “Distributed consensus protocol design for general linear multi-agent systems: a consensus region approach,” IET Control Theory & Applications, vol. 8, no. 18, pp. 2145–2161, 2014.

Z. Li, Z. Duan, G. Chen, and L. Huang, “Consensus of multiagent systems and synchronization of complex networks: a unified viewpoint,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 57, no. 1, pp. 213–224, 2010.

G. Jarquín, G. Arechavaleta, and V. Parra-Vega, “Time parametrization of prioritized inverse kinematics based on terminal attractors,” in Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics, IROS'11, pp. 1612–1617, USA, September 2011.

M. Braun, Differential Equations and Their Applications: An Introduction to Applied Mathematics, vol. 11, Springer Science and Business Media, Third edition, 1983.

H. K. Khalil and J. Grizzle, Nonlinear systems, vol. 3, Prentice hall, Upper Saddle River, New Jersey, NJ, USA, 2002.

J. A. Moreno and M. Osorio, “Strict Lyapunov functions for the super-twisting algorithm,” IEEE Transactions on Automatic Control, vol. 57, no. 4, pp. 1035–1040, 2012.

S. Mondal, R. Su, and L. Xie, “Heterogeneous consensus of higher-order multi-agent systems with mismatched uncertainties using sliding mode control,” International Journal of Robust and Nonlinear Control, vol. 27, no. 13, pp. 2303–2320, 2017.

Y. Cao and W. Ren, “Finite-time consensus for multi-agent networks with unknown inherent nonlinear dynamics,” Automatica, vol. 50, no. 10, pp. 2648–2656, 2014.