Abstract

This paper investigates the observability of first-order, second-order, and high-order leader-based multiagent systems (MASs) with fixed topology, respectively. Some new algebraic and graphical characterizations of the observability for the first-order MASs are established based on agreement protocols. Moreover, under the same leader-following framework with the predefined topology and leader assignment, the observability conditions for systems of double-integrator and high-integrator agents are also obtained. Finally, the effectiveness of the theoretical results is verified by numerical examples and simulations.

1. Introduction

Self-organizing behavior of multiple intelligent dynamic agents is widespread in nature, for example, bird flocking flight [1], fish group patrol [2], microbial collective foraging [3], and ant colony cooperation [4]. This self-organizing behavior of such intelligent and dynamical networked system, through transferring and interaction of information between local agents, as a whole, presenting the ability of effective coordination and the level of advanced intelligence, has led to the wide concern and interest in many fields including applied mathematics, ecology, biology, sociology, physics, computer science, control, and engineering. At present, coordinated control of intelligent systems has become a hot research topic in the field of control and is widely used in smart grids, UAV formation, intelligent transportation systems, artificial satellite networks, and so on [520].

Observability is a significant problem and becomes the basis of the design of optimal control and optimal estimation in modern control theory, which was put forward by Kalman in 1960. Intuitively speaking, the so-called system’s observability means that the internal states of the system can be correctly known by observing the external variables of the system. In general, for a multiagent network, the observability is the key problem and means that the entire system’s state can be completely reconstructed by only observing a small quantity of intelligent dynamic agents (i.e., leaders). Observability plays a fundamental role in state estimation and system control as well as has recently been widely applied in wireless sensor networks, satellite navigation systems, autonomous underwater vehicles, machine games, and so on.

The concepts of controllability and observability were first tried to apply to networked multiagent systems by Tanner in 2004 [21], where all agents are partitioned into leader agents and follower agents, in which the follower agents are only affected by the neighbor interaction protocol and the leader agents are influenced by the external control input. This structure, called leader-follower structure, can make the whole system as a standard linear time-invariant system so that the classical controllability and observability are all applied into networked multiagent systems. Observability is very important to study distributed estimation and intrusion detection problems in distributed sensor networks [22]. Zelazo and Mesbahi [23] investigated the observability of networked systems with homogeneous and heterogeneous dynamics, respectively, as well as provided an analysis for the observability of networked linear systems. In [24], the study mainly focused on controllability and observability of multiagent networks under a leader-follower framework with the chain and cyclic topologies, respectively. In [25], the authors established a decentralized condition for controllability and observability of networked MASs using decentralized Laplacian spectrum estimation. The observability of a network system was investigated based on average consensus algorithm for path and cycle graphs in [26], graph Cartesian products in [27], regular graphs and distance-regular graphs [28, 29], and equitable partition [30], respectively. Furthermore, the observability of switched linear systems and switched multiagent systems was studied in [31, 32], respectively. Recently, the researchers [3335] investigated the observability of MASs with time-varying and switching topologies, respectively. In addition, Liu et al. [36] analyzed the observability for complex networks.

It is worthwhile to note that most of the previous research conclusions mainly focused on controllability and observability of first-order networked MASs. However, it is well known that, in control engineering, almost all control systems are high-order systems, that is, higher-order differential/difference equations are used to describe those control systems studied in many areas, such as consensus, controllability, flocking, containment control, and stabilizability. In this paper, the observability of a class of MASs is considered, and a unified framework for the inertia of first-order, second-order, and high-order MASs is given. Most of the existing literatures on the observability of MASs focused only on a single dynamic equation, such as a first-order dynamics, a second-order dynamics, or a high-order dynamics, rather than a unified consideration. In general, it is difficult to bring the three kinds of networks into a unified framework, which is a hard point in modelling and analyzing. This paper aims at the observability of MASs with first-order/second-order/high-order agents based on agreement protocols, respectively. The main contributions of this paper are summarized as follows: (i) Some necessary and sufficient conditions for the observability of first-order MASs are built by Laplacian matrix, which relies only on the information flows within the agents and between the agents from the leaders. (ii) It is proved that the observability of the second-order/high-order MASs is equivalent to that of first-order MASs with the same information of topology structure and the same prescribed leaders. (iii) A unified framework for the observability inertia of first-order, second-order, and high-order MASs is established, which relies only on the information topology of such network.

2. Mathematical Preliminaries

For the convenience of discussing the observability of networked systems, the information communication links among agents can be described by a weighted undirected/directed graph denoted as , in which is a vertex set and is an edge set, respectively. The weighted adjacency matrix of is marked as with if and only if and , otherwise. Moreover, represents the neighbors’ set of agent . The Laplacian matrix is given as , where is the weighted adjacency matrix and is the diagonal degree matrix.

For a network with leader-follower structure (see Figure 1), the Laplacian matrix L can be divided into the following block matrices:where and stand for the communication information links within the followers and the leaders, respectively, stands for the communication information links from the leaders to the followers, and stands for the communication information links from the followers to the leaders, where if graph is undirected.

3. Observability Analysis

3.1. Observability of First-Order MASs

A first-order MAS consists of agents, in which the former n agents are regarded as followers and the remaining l agents are regarded as leaders, and its dynamic equation is described bywhere represents the state and is the external input. Interactions among agents of system (2) in this paper are given by the agreement protocol as follows:where is the neighbor set of agent i and for all .

Let , , and . From the partition of L, the dynamic equations (2) and (3) can be redescribed by

In the actual control process, because of the limitation of the measuring devices, the state of the system is difficult to be measured directly, but can be determined by observing the output of the system. The observability of MASs refers to the observation of the state of the whole MAS only from a few agents as much as possible. Note that it is congenial with reason that some leaders can measure their neighbors’ states and exchange information flows between the other leaders, so we can let y be the output vector measured by the leaders. Supposed the leaders can directly exchange information with the other agents, there is a complete communication graph between the leaders. In other words, each leader can broadcast its measured output to all other leaders and has access to the entire output vector y. Therefore, each leader here can get all the output vectors. According to the partition of Laplace matrix, is chosen as the output. Therefore, the dynamic equation of the networked MAS can be looked upon as a classical linear time-invariant (LTI) system as follows:whose observability is equivalent to that of the following system:where represents the output, whose corresponding output matrix is denoted as , and contains all the state vectors measured by the leaders. Therefore, the classical concept of observability of a standard LTI system can be used to solve the problem of the observable state variables that are measurable by the leaders.

Observability is a fundamental problem of networked MASs, which focuses on whether the whole system state can be reconstructed by the output-observed agents’ evolution behaviors. Then, observability concerns on the identical zero output brought by the nonzero initial states. In other words, such multiagent network is observable if there exists no unobservable state. For the convenience of theoretical demonstration and calculation, we only need to study the observability of system (6) in the following.

Definition 1 (see [35]). Given , a state of system (6) is unobservable if for any , where finite time .

According to known results in linear time-invariant system theory, we can derive the following proposition.

Proposition 1. For system (6), the following statements are equivalent: (1)System (6) is observable.(2)Observability matrix has full rank.(3)Matrix has full rank for .(4)Matrix has no nonzero right eigenvectors orthogonal to all rows of . Namely, for all eigenvalues () of matrix , ifboth hold, then the right eigenvector

Together with some fundamental propositions of the graph Laplacian for an undirected gragh, the following results can be obtained.

Theorem 1. The first-order MAS (6) is observable iff L and do not share common eigenvalues.

Proof. Similar proof can be seen from Lemma 2.2 in reference [37], omitted here.

Remark 1. It is noted from Theorem 1 that the observability of networked MASs relies only on the information links between agents. Theorem 1 provides a simpler and more easily checkable method because it only involves the couplings of the entire network (between all agents) and subnetwork (only among follower agents). It is also easy to compute the eigenvalues of the coupling matrices of the entire network and the subnetwork by MATLAB. In addition, Theorem 1 is the theoretical basis and analytic technique on observability.

Theorem 2. The first-order MAS (6) is observable iff there exists no eigenvector of L taking zero on the element corresponding to the leader agent.

Proof (necessity). By contradiction, supposed λ is the eigenvalue of L, whose corresponding eigenvector of L is denoted as , in which the elements corresponding to the leader agent are zero, that is, , then we can haveand then, and . Therefore, system (6) is unobservable from Proposition 1 (6), which is in contradiction with the fact that system (6) is observable. Then, the proof of the necessity is completed. Sufficiency. By contradiction, assume that system (6) is unobservable; from Theorem 1, we can know that L and share one common eigenvalue at least, say λ, which corresponds to the eigenvector ξ satisfyingwhere and ξ and are the eigenvectors of L and corresponding to the common eigenvalue λ, respectively. Moreover, we can know from equation (4) thatwhich contradicts to the fact there exists no eigenvector of L taking zero on the element corresponding to the leader agent. Thus, the proof of the sufficiency is completed.

Theorem 3. The first-order MAS (6) is observable if (i)The eigenvalues of are all distinct;(ii)All the row vectors of are not orthogonal to at least one eigenvector of simultaneously.

Proof. can be shown as if the eigenvalues of are all distinct, where with being the eigenvalues of for , as well as U consists of the eigenvectors of . The observability matrix can be presented as

Because is nonsingular, we only consider the matrixwhose rank is completely determinated by matrix since the diagonal matrix D is nonsingular. If all the row vectors of are not orthogonal to at least one eigenvector of simultaneously, then all the elements of at least one column of are nonzero so that observability matrix has full rank. Therefore, the first-order multiagent system (6) is observable.

From Theorem 3, we have obtained the following result immediately.

Theorem 4. The first-order MAS (6) is observable if (i)The eigenvalues of are all distinct;(ii)Every column of has at least one nonzero element, where U consists of the eigenvectors of .

Proof. From condition (i) and Theorem 3, we can havewhere with being the eigenvalues of and . Since for , and every column of has at least one nonzero element, thenAccording to Proposition 1 (3), this conclusion holds.

Remark 2. It is noted from Proposition 1 (2) the observability of first-order MASs relies only on the information links between agents, that is, . Theorem 1 mainly illustrates the influence of the relationship between the entire network among all agents (from leader agents to follower agents and among follower agents) and the subnetwork among follower agents on the observability of the system. Theorem 2 shows how to choose the leaders to make the whole system observable. Theorem 3 and Theorem 4 explain the topological relations in Theorem 1 in more detail. Therefore, Theorem 1 is the theoretical basis and analytic technique on observability of Theorems 2–4.
In fact, the observability of first-order MASs cannot be directly extended to the second-order or higher-order MASs. It is of physical and theoretical significance to study the observability for MASs of second-order integrator or high-order integrator agents since first-order system is too simple to depict the dynamic characteristics accurately in the actual physical systems. Therefore, the model with second-order integrator or high-order integrator agents is beneficial for the research of cooperation in real world. However, for the observability of MASs with different orders, the observability problem brings new characteristics and research difficulties, involving in how to model, design the control protocols, select the number of leaders, and locate the leaders, as well as define the observability and so on. Specially, the leaders’ positions and speeds have important impacts on observability. These factors make the observability of MASs of second-order integrator or high-order integrator agents a nontrivial new problem. Due to lack of research tools, there are very few results for the observability of MASs with second-order or high-order being available in the existing literatures. Therefore, the results for the first-order case cannot be directly extended to the second-order or high-order MASs.

3.2. Observability of Second-Order MASs

A second-order MAS consists of agents, in which the former n agents are regarded as followers and the remaining l agents are regarded as leaders, and its dynamic equation is depicted bywithwhere is the position state and is the velocity state of agent i, respectively; is the input; are nonzero feedback gains.

Let , , , and . Based on the partition of follower agents and leader agents, the dynamics (15) and (16) can be rewritten as follows:where is the external control input. Specially, the dynamic equation (17) of followers can be described aswhere , , and

For the observability of second-order multiagent systems, we can obtain the following results.

Theorem 5. The second-order MAS (18) is observable iff is observable.

Proof. Supposed λ is the eigenvalue of matrix , which corresponds to the right eigenvector of denoted as , then we can have and then

Consequently, (since ), where u is the eigenvalue of with the corresponding right eigenvector , which is the root of equation with . In the following, we will show the fact that is observable iff is observable.

3.2.1. Sufficiency

Supposed is unobservable, then there must exist an eigenvalue u of , whose corresponding right eigenvector is , such that and . Therefore, we can assert that the eigenvalue of satisfies equation , and the corresponding right eigenvector of is with . Then, , which contradicts that is observable. The proof of the sufficiency is completed.

3.2.2. Necessity

Supposed is unobservable, then there must exist an eigenvalue λ of , whose corresponding nonzero right eigenvector is , such that and . Therefore, we can also assert that has an eigenvalue with the corresponding nonzero right eigenvector . Then, and , which contradicts that is observable. The proof of the necessity is completed.

Note that, from Theorem 5, the nonzero feedback gains and can be designed to ensure that equation has roots. Therefore, we can obtain the following result.

Theorem 6. The second-order MAS (18) is observable if system (18) satisfies (i)rank,(ii)rank, or(iii)rank.

Proof. From Proposition 1 (4), we can havewhere are the eigenvalues of . Obviously, system (18) is observable if system (18) satisfies one of the conditions (i), (ii), and (iii).

Remark 3. Notice from Theorem 5 that the observability of the second-order MAS depends on the system couplings . However, from Theorem 6, we can select appropriate nonzero feedback gains and so that the observability of the second-order MAS depends only on the information topology between followers or the information topology from leaders to followers. This makes it easier to study the observability through designing the topological relationship of such system.

3.3. Observability of High-Order MASs

A high-order MAS consists of agents, in which the former n agents are regarded as followers and the remaining l agents are regarded as leaders, and its dynamic equation is described bywithwhere is the k-th order of , m is the order number, and are nonzero feedback gains.

Let and . Based on the partition of follower agents and leader agents, the dynamics (21) and (22) can be rewritten as follows:where

For the observability of high-order MASs, we can have the following result.

Theorem 7. The high-order MAS (23) is observable iff is observable.

Proof. Supposed λ is the eigenvalue of , whose corresponding right eigenvector is denoted as , then , which follows that

Consequently,

Therefore, we can have the polynomial . Otherwise, if , it implies that or . If , then ; and if , then which contradicts the fact that is a nonzero gain. Let , then , where u is the root of equation with

Next, we will show the fact that is observable iff is observable. The following proof is similar to that of Theorem 5, omitted here.

Remark 4. This paper has investigated not only the observability of first-order MASs but also the observability of second-order and high-order cases. Higher-order systems have more complex and higher dimensional system matrices, so it is more difficult to establish the conditions on the observability and more complex to calculate using observability criteria.

4. Simulations

4.1. Example 1

A five-agent first-order MAS is considered, where agents 1–3 and agents 4–5 are regarded as followers and leaders, respectively. The network topology is described in Figure 2. The system matrices are as follows:

By MATLAB, we can compute and . Obviously, it is easy to find that are all distinct, and all elements of every column of are nonzero. From Theorem 4, such system is observable.

Figure 3 describes the initial states, trajectories, and final states of the followers, where the random initial states of all followers (the black stars) are to be finally steered to a regular triangle array (the black circles).

4.2. Example 2

A seven-agent second-order MAS is considered, where agents 1–5 and agents 6–7 are regarded as followers and leaders, respectively. The network topology is described in Figure 4. Let for the sake of simplicity. The system matrices are as follows:

By computing,

For each λ, we have . According to Theorem 6, the second-order multiagent system (18) is observable.

Since the second-order multiagent system (18) is observable, the followers finally achieve the expected states. Figure 5 describes the initial states, trajectories, and final states of the followers, where the random initial states of all followers (the black stars) are to be finally steered to a straight line array (the black circles). Arrows represent the direction of each agent’s movement. Figures 6 and 7 are the position errors and velocities of the followers, respectively.

5. Conclusion

This paper has studied the observability of first-order/second-order/high-order MASs with relative protocol on fixed topology, respectively, and brings the three kinds of networks into a unified framework. It has proved that the observability of MASs is depended only on structural pair . However, for second-order or high-order MASs, it is very hard to deal with the observability because of complexity of the topology structure and lack of theoretical research tools. Our main result shows an advantage of a unified scheme for the observability of MASs and increasing the theoretical studying on the observability concept for MASs. Future research studies are directed on observability of MASs with switching topology, time delays, and observability of general linear discrete-time and continuous-time MASs, switched MASs and heterogeneous MASs.

Data Availability

Our paper does not use the data information.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China under grant nos. 61773023, 61773416, and 61873318, the Frontier Research Funds of Applied Foundation of Wuhan under grant no. 2019010701011421, the Natural Science Foundation of Hubei Province of China under grant no. 2018CFA058, the Fundamental Research Funds for the Central Universities under grant no. HUST: 2019kfyXKJC022, and the Program for HUST Academic Frontier Youth Team under grant no. 2018QYTD07.