Abstract

This paper deals with a leaderless consensus of semilinear first-order hyperbolic partial differential equation-based multiagent systems (HPDEMASs). A consensus controller under an undirected graph is designed. Dealing with different convection assumptions, two different boundary conditions are presented, one right endpoint and the other left endpoint. Two sufficient conditions for leaderless consensus of HPDEMAS are presented by giving the gain range in the case of the symmetric seminegative definite convection coefficient and the semipositive definite convection coefficient, respectively. Two examples are presented to show the effectiveness of the control methods.

1. Introduction

As one well-known group of dynamical behavior, multiagent systems (MASs) received many researchers’ attention in the last few decades [1]. There are a number of applications for MASs in engineering fields, for instance, power engineering [2], artificial intelligence [3], energy optimization [4], security [5, 6], traffic decision [7], and precision agriculture [8].

Consensus control of MASs is to derive agents to do a designated task synchronously[9, 10]. Many meaningful control methods have been presented, such as event-triggered control [11, 12], containment control [13], pinning control [14], impulsive control [15], sampled-data control [16], and adaptive control [17].

To put it another way, the mentioned literature assumed dynamics of MASs depending only on time. In practice, dynamics of all processes depends on both time and space. As a consequence, it is necessary to study spatio-temporal MASs [18]. Qi et al. proposed boundary control for PDE-modeled MASs(PDEMASs) under 3-D space with a control delay [19] and formation control for PDEMASs on a cylindrical surface [20]. An iterative learning algorithm was proposed for the consensus of multiagent system PDEMASs [21]. Yang et al. proposed several control methods for the consensus of semilinear PDEMASs or partial integro-differential equation-based MASs without and with time delays [2224]. Several iterative learning methods were studied for the consensus of PDEMASs[21, 2527].

Most of the above references are modeled by parabolic PDE-based MASs, while there are few works considering hyperbolic PDE-based MASs (HPDEMASs). The consensus of HPDEMASs is meaningful and significant, as a result of existence of a number of hyperbolic PDE systems in practice [28, 29], including gas dynamics [30], reactor [31], traffic flow [32], and hyperbolic Hopfield neural networks [33]. There are several important studies about consensus of HPDEMASs. For example, Fu et al. proposed the containment control method for the consensus of linear parabolic PDEMASs and second-order HPDEMASs [34]. Wang and Huang proposed the boundary control approach for the finite-time consensus of HPDEMASs by assuming the convection coefficient to be 1 [35]. Zhang et al. proposed boundary control for the leader-following consensus of MASs with input delays by assuming the convection coefficient to be a positive definite diagonal matrix[36]. However, there are still technical difficulties in the consensus of semilinear first-order HPDEMASs for the cases of the convection coefficient to be symmetric seminegative definite or semipositive definite, which are motives of this paper.

This paper mainly studies leaderless consensus control of a semilinear HPDEMAS with two sorts of boundary conditions in one-dimensional space. The contribution of this paper contains (1) a class of HPDEMAS models is given, assuming two sorts of conditions, one symmetric seminegative definite convection coefficient and the other semipositive definite convection coefficient. (2) Dealing with different convection assumptions, two different boundary conditions are presented, one right endpoint and the other left endpoint. (3) A consensus controller based on communication is studied to drive HPDEMAS to reach leaderless consensus. (4) Dealing with two sorts of convection coefficients, two sufficient conditions for the consensus of the leaderless HPDEMAS are, respectively, reached.

Notations: Let denotes the identity matrix with proper order, denotes the maximum (minimum) eigenvalue of , denotes the smallest nonzero eigenvalue of , and the superscript denotes the transpose.

2. Problem Formulation

This paper studies a class of semilinear HPDEMASs with time delayswhere are space and time, respectively. are the state and control input, respectively. , , , and are a nonlinear function.

The boundary condition isor

The initial condition is

This paper aims to study one controller driving HPDEMAS (1) to the leaderless consensus. Let consensus error and the controller is designed as follows:where is a control gain to be determined and is symmetric positive definite. Assume that the topological structure is defined ; if the agent connects to , otherwise .

Remark 1. Compared with papers [35, 36] using the information of only one neighbor, this controller (5) considers the whole communication information among all neighbors and takes full advantage of that.

Definition 1. ([35]) HPDEMAS (1) reaches a consensus, ifwhere .

Lemma 1. ([37]) For the Laplacian matrix , symmetric positive definite and such that , the following inequality is satisfied:

Assumption 1. ([23]) For any , there exists satisfying

3. Consensus of HPDEMASs with the Seminegative Definite Convection Coefficient

Assumption 2. Assume is symmetric seminegative definite.
Note that Assumption 2 is sort of classical, which is extensively employed in the practice, see, e.g. [38, 39].
The error system of HPDEMAS (1), (2), and (4) can be obtained as followswhere , , , , , , , , , and so is a Laplace matrix [37].

Theorem 1. Suppose that Assumptions 1 and 2 hold. The leaderless HPDEMAS shown in equations (1), (2), and (4) reaches the consensus under the controller (5), if

Proof. We choose the Lyapunov functional candidate as shown in the following equation:Taking the time derivative of , we obtainSince is a Laplace matrix and is a symmetric positive definite matrix, using Lemma 1, one haswhere [40].
For symmetric seminegative definite , employing integrating by parts, one getswhich impliesSince , under Assumption 1, we can getSubstitution of (12), (14), (15) into (11), we obtainwhere .
It is obvious that (9) impliesSubstitution of (17) into (16), we obtain for all nonzero , implying consensus of HPDEMAS (1).

4. Consensus of HPDEMASs with the Symmetric Semipositive Definite Convection Coefficient

Assumption 3. Assume is symmetric semipositive definite.
Note that Assumption 3 is sort of classical, which is extensively employed in practice, see, e.g. [35, 36].
The error system of the HPDEMAS (1), (3), and (4) can be obtained as follows:

Theorem 2. Suppose that Assumptions 1 and 3 hold. The leaderless HPDEMAS shown in equations (1), (3), and (4) reaches the consensus under controller (5) if (9) holds.

Proof. We choose the same Lyapunov functional candidate as in (10). Taking the time derivative of , we obtain (11). For the symmetric semipositive definite , employing integrating by parts, one haswhich impliesSubstitution of (12), (15), (19) into (11), we obtain (16). It is obvious that (9) impliesThe later part of the proof is similar to that of Theorem 2, and so it is omitted.

Remark 2. Different from the control design for consensus of parabolic PDEMASs in [41, 42], this paper deals with the consensus of a class of HPDEMASs.

Remark 3. Consensus of HPDEMASs has been studied by assuming the convection coefficient to be 1 in [35] and to be a positive definite diagonal matrix in [36]. Different from these results, this paper assumes the convection coefficient to be symmetric seminegative and semipositive definite.

5. Numerical Simulation

Example 1. This example considers one HPDEMAS (1) as follows:with random initial conditions. We get the following parameters:The controller (5) is used with the following parameters:From Figure 1, it can be seen that HPDEMAS (1) cannot reach the consensus without control. With Theorem 1, solving (9) by Matlab, is obtained. Figure 2 shows that the HPDEMAS (1) reaches the consensus under controller (5) with . Controller (5) with the feedback gain is shown in Figure 3.

Example 2. This example considers one HPDEMAS (1) as follows:with random initial conditions.
We get , and the other parameters are the same as (22). The parameters and of the controller (5) are the same as (23).
From Figure 4, it can be seen that HPDEMAS (1) cannot reach the consensus without control. With Theorem 2, solving (9) by Matlab, is obtained. Figure 5 shows that the HPDEMAS (1) reaches the consensus under controller (5) with . The controller (5) with the feedback gain is shown in Figure 6.

6. Conclusion

This paper has dealt with leaderless consensus control of a class of semilinear HPDEMASs. One consensus controller of HPDEMASs under the structure of undirected graphs, making use of communication among agents, was established. Firstly, for the case of the symmetric seminegative definite convection coefficient, the boundary condition of the right endpoint was given. For the case of the symmetric semipositive definite convection coefficient, the boundary condition of the left endpoint was given. Two sufficient conditions for the consensus of HPDEMASs were obtained. Two examples illustrated the effectiveness of developed theoretical results. In future work, containment control, event-triggered control, and many other factors will be studied.

Data Availability

All the data in the simulation are included within this article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was jointly supported by the National Natural Science Foundation of China (Grant no. 61976123), the Natural Science Research in Colleges and Universities of Anhui Province of China (Grant nos. KJ2020A0362, KJ2020A0361, KJ2019ZD15), the Anhui Natural Science Foundation (Grant no. 2108085MF213), the Taishan Young Scholars Program of Shandong Province, the Key Development Program for Basic Research of Shandong Province (Grant No.ZR2020ZD44), and the Natural Science Foundation of Heilongjiang Province (Grant no. LH2020F049).