Abstract

The group controllability is a unique distinct perspective and a further generalization of the controllability problem of discrete-time time-delayed multiagent systems (MASs) with multiple leaders. The group controllability concept of discrete-time time-delayed MASs with multiple leaders is proposed, its equivalent augmented system without time delay is reformulated, and the group controllability criteria are obtained in this paper. Numerical simulations are presented finally.

1. Introduction

Controllability is a novel and significant topic in the field of coordination control for MASs [110]. The evolution behavior of MASs is influenced by the agent’s dynamics, the information communication links among the agents, and the control protocols. The concept of group controllability is the generalization of controllability of MASs, which follows with interest in the controllability of the entire group consisting of multiple subgroups or multiple clusters to further enrich and improve the controllability theory and provide more and better theoretical basis for other research fields of MASs.

In 2004, Tanner [11] first put forward the concept of controllability of MASs and built a first-order continuous-time dynamic model with a simple linear protocol and an intelligent agent selected as a virtual leader (an external control input or input signal) to control the whole system to obtain the required spatial state from any initial state. According to the agent’s time state, MASs can be described by the single integrator [12], double integrator [13], high integrator [14] to generic linear dynamics [15] of continuous-time/ discrete-time models. In particular, Wang et al. [14] showed the controllability of second-order MASs/high-order MASs/generic linear MASs is equivalent to that of first-order MASs by designing appropriate control protocols. Moreover, Guan and Wang [16] considered the structural controllability of high-order integrator MASs under absolute and relative protocols, respectively, and gave the structured controllable conditions of MASs from the perspective of communication topology. In [17, 18], the first-order controllability of discrete-time MASs was studied through linear algebraic theory and the PBH criterion under different topological structures. The second-order controllability of MASs was discussed in [19], and some graph theory criteria were obtained [2031]. In [32], the second-order controllability of MASs with sampling data was investigated, and the controllability criteria related to the sampling period were obtained. Guan et al. [33] considered the controllability of heterogeneous MASs composed of (continuous and discrete) agents with the single integrator and double integrator on directed weighted topology, obtained some graphical and algebraic conditions for determining controllability of heterogeneous MASs, and analyzed the controllability relationship between heterogeneous MASs and homogeneous MASs.

However, in reality, the group cooperation and control of MASs with multiple complex subgroups or intelligent communities can be of more practical significance. In the existing literature studies, there are few research studies on the group controllability of MASs. At present, the authors discussed the group controllability for discrete-time MASs in [34] and continuous-time MASs in [35], respectively. Long et al. [13] further studied the second-order group controllability of discrete-time and continuous-time MASs with two-time-scale. In most existing literature studies, researchers rarely consider both the influences of leaders and time delay on the group controllability for MASs. Different from the group controllability problem of discrete-time time-delayed MASs under the leaderless framework studied in [34], the current work has considered the group controllability of discrete-time time-delayed MASs with multiple leaders, which can be expressed by different system matrices, respectively. It is obvious that different models can lead to completely different features for MASs with leaders. The study of this work is not a direct extension of the counterpart in the cited paper [34]. The main difference between this paper and [34] is threefold: (1) the mathematical models are different, (2) the mathematical definitions of the group controllability are different, and (3) the system external control inputs are completely different, where [34] considered the group controllability of discrete-time time-delayed MASs under the leaderless framework, while this paper has considered the group controllability of discrete-time time-delayed MASs under the leader-follower framework, which makes the system control input more complex than that of [34]. We will focus on the group controllability of discrete-time MASs with multiple leaders (external control inputs) as well as communication restrictions and obtain algebraic criteria on the group controllability for MASs in this paper. The main contributions of this paper include the following:(1)The concept of the group controllability of discrete-time time-delayed MASs with multiple leaders is put forward on fixed topology(2)The equivalent augmented system without time delay is reformulated for discrete-time time-delayed MASs(3)Some group controllable features of discrete-time time-delayed MASs with multiple leaders are reestablished based on the group agreement protocol(4)The influence of leaders on the group controllability is investigated

The rest of the work is arranged as follows. Section 2 states the mathematical preliminaries and model. Section 3 represents the main results. Simulations are given in Section 4. Section 5 summarises the conclusion.

2. Preliminaries and Model

At present, most of the studies for MASs are for a single system. However, in real practice and daily life, MASs can be made up of many clusters or subgroups, which make the research on the controllability of MASs be more important and necessary. This work aims at the controllability of MASs which are divided into different subgroups based on the group consensus protocol. Here, we need to explain that each subgroup, without setting the external control inputs, can be controlled by its leaders and the other subgroups so that we can redivide the agents in the whole group. This is of great significance in social practice.

A discrete-time MAS consists of dynamical agents for , partitioned into two different subgroups and , without loss of generality, as shown in Figure 1, where subgroup contains followers and leaders, and subgroup contains followers and leaders, respectively.

Let , , , , , and , , , and . denotes the neighboring set of the -th agent, , and with and ; and are the neighbor sets of subgroup 1 and subgroup 2, respectively. Now, let us start from the following discrete-time MAS:in which is the -th agent’s state; ; otherwise, ; ; and time delay is the integer.

Remark 1. The weighted factors are allowed to be negative, making more difficult and more complex to solve the group controllability of the MAS.
LetThen, the followers’ dynamics of MAS (1) is redescribed bywhere and , with and being identity matrices,

Remark 2. Note that and are both Laplacian matrices, but is not a Laplacian matrix since the subgroup-to-subgroup weighted factors are allowed to be negative so that the eigenvalues and eigenvectors of matrix have no same properties with the Laplacian matrix, which is completely different from the typical MASs with the consensus protocol, which makes the theoretical analysis for the group controllability more difficult.
In order to transform system (3) into a classical linear discrete-time control system, we will introduce its equivalent augmented form:In the following, we take new stacked vectors as as well as ; then, system (3) can be changed intowhere

Remark 3. For subgroup , and are its external inputs, and for subgroup , and are its external inputs, respectively. Notice that system (3) with time delay can be turned into system (6) without time delay; therefore, their controllability is equivalent.

Remark 4. On the contrary, this work uses the similar equivalent augmented conversion with [34] and obtains some similar results, but they cannot be obtained straightforwardly from results in [34] because discrete-time time-delayed MASs with multiple leaders rely on leader-to-follower interactions (i.e., matrices , , , and ) and the subgroup-to-subgroup interactions (i.e., matrices , , , and ) regardless of the internal interactions among subgroups (i.e., matrices , , , and ), which make the subsystem matrices and more complex than those of [34]. That is, the influence of leaders on the group controllability must be considered, which makes the system matrices more complex and difficult to discuss.

3. Theoretical Analysis

Definition 1. A state of system (6) attains group controllability if(1)There are a time instant and the control input such that as well as(2)There are a time instant and the control input such that , where is a time set

Theorem 1. System (6) attains group controllability iffwhere and .

The proof is obvious, hence omitted here. It is also fussy to test this result. In order to facilitate calculation, the group controllability of such MAS can be judged by the following PBH.

Theorem 2. System (6) attains group controllability iff(1) ( represents the set of complex numbers), or(2), for being ’s eigenvalues and being ’s eigenvalues.

Proof. Clearly, condition (2) is absolutely true if condition (1) is true. Therefore, only condition (1) needs to be shown.

Necessity 1. By contradiction, assumed that , we haveWe can know that the rows of are all linear-dependent; thus, such that . Then,Moreover,By the PBH rank test, we can obtainSince , then there must beTherefore, we can have the conclusion that system (6) must be uncontrollable, which is at odds with the truth that system (6) is controllable. The necessity of condition (1) is proved.

Sufficiency 1. By contradiction, suppose that system (6) is uncontrollable; then,Therefore, belongs to corresponding to eigenvector . Thus,Moreover,We can immediately know that for and ; then, , which clashes with the fact that for . The sufficiency of condition (1) is proved.
Notice that it is also fussy to compute and with higher dimensions. According to the previous analysis, it can be seen that when the dimension of the multiagent system is too high, it is inconvenient to adopt the classical method in control theory to study the system. Moreover, the system matrices are not Laplacian matrices; hence, it is complex and difficult to investigate the group controllability of discrete-time time-delayed MASs. In the following, we will give more simple and easier methods to judge the group controllability of such MAS.

Theorem 3. System (6) attains group controllability iff has full row rank at each root of for , with .

proof. Based on Theorem 2, we can see that system (6) attains group controllability iffhas full row rank for each . Performing elementary transformation on rows of matrix (17), thenClearly, matrices (17) and (18) have the same rank. If matrix (18) has full row rank, then also has full row rank, i.e., for . Similarly, we can prove case .

Remark 5. Theorems 1 and 2 provide traditionally important and simple methods to check the group controllability of discrete-time time-delayed MASs with multiple leaders by rank test and PBH test, respectively. However, for system (6), since the group controllability is determined by the system matrix pairs and , it is also fussy to check the group controllability due to the complexity and high dimension of the system matrix pairs and from Theorem 1 or Theorem 2. Nevertheless, through the analytical process of Theorem 2, we can find that the group controllability of the system matrix pairs and is completely relied on matrix for , with . Corollaries 14, respectively, discussed some special cases to satisfy the condition that matrix has full row rank in the following, which makes it be more concise and straightforward in checking and testing the group controllability of such MAS, which only involves system structure itself regardless of the time-delay value and system dimension.

Corollary 1. System (6) attains group controllability if for .

Corollary 2. System (6) attains group controllability if has full row rank for , with .

Corollary 3. System (6) attains group controllability if has full row rank.

Corollary 4. The roots of are some of the eigenvalues of for .

4. Example and Simulations

In this work, a discrete-time time-delayed model with multiple leaders and several subgroups is established, the group controllability is analyzed theoretically, and group controllable conditions are given. Numerical examples and simulations are used to verify the correctness of the theoretical analysis. Therefore, in numerical examples and simulations, as long as the topology structure and edge weights satisfy the group controllable conditions, there is no need to consider too much data selection. In the following, we will give an example and some simulations.

For a seven-agent network with two subgroups and , it is shown as Figure 1. For Figure 1, system (6) is defined by

From Theorem 3, we can have and , whose roots are, respectively, {0, 0.4786 + 2.1100i, 0.4786–2.1100i, 0.1366 + 1.0448i, 0.1366–1.0448i, 0.7695} and {0, 0.2151 + 1.3071i, 0.2151–1.3071i, 0.5698}.

For ,and by calculating, rank .

Analogously, for ,and by calculating, rank .

For ,and by calculating, rank .

For ,and by calculating, rank .

For ,and by calculating, rank .

For ,and by calculating, rank .

For ,and by calculating, rank .

For ,and by calculating, rank ; for ,and by calculating, rank ; and for ,and by calculating, rank .

Obviously, has full row rank at each root of for , with ; therefore, system (6) can attain group controllability according to Theorem 3.

Figure 2 shows the followers’ movement trajectories from any initial state to a regular pentagon array (corresponding to its local magnification portion), where red, green, and blue stars are the followers in group 1 and pink and light blue circles are the followers in group 2, respectively. Figure 3 shows the followers’ time-evolution trajectories for the axis and axis corresponding to Figure 2, respectively. Figure 4 shows the followers’ movement trajectories from any initial state to a straight line array (corresponding to its local magnification portion), where red, green, and blue stars are the followers in group 1 and pink and light blue circles are the followers in group 2, respectively. Figure 5 shows the followers’ time-evolution trajectories for the axis and axis corresponding to Figure 4, respectively.

5. Conclusion

Inspired by leaderless MASs, the model of a discrete-time time-delayed MAS with multiple leaders has been established, the concept of the group controllability has been proposed, and the criteria of the group controllability for such MAS have been obtained. This work has studied the group controllability problem of discrete-time time-delayed multiagent systems with multiple leaders, which can be expanded to more complex cases, such as MASs with the two-time-scale feature, saturation constraints, or signed networks. These directions will be the key and difficult problems in future research.

Data Availability

No data were used to support this study.

Conflicts of Interest

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

Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grant nos. 61773023, 61773416, 61991412, and 61873318, the Frontier Research Funds of Applied Foundation of Wuhan under Grant no. 2019010701011421, and the Program for HUST Academic Frontier Youth Team under Grant no. 2018QYTD07.