Abstract

This article focuses on circle formation control problem of multiagent systems based on event-triggered strategy under limited communication bandwidth. In such system, each agent can only perceive the angular distance of its nearest neighbor in the counterclockwise direction, and the angular distance of the nearest neighbor in the clockwise direction needs to be obtained by communicating with each other. In order to address the aforementioned problem, a novel distributed algorithm based on the combination of nonuniform quantitative communication technology and event-triggered control is proposed. Sufficient conditions on circle formation control are derived under which the states of all agents can be confirmed to converge to some desired equilibrium point. Different from the traditional uniform quantization communication framework, nonuniform quantization can be beneficial for handling small signals and improving the performance of multiagent systems concerned. Furthermore, under the proposed policy, all the designed quantizers do not emerge saturated. Numerical simulation results are provided to verify the effectiveness of the proposed algorithm.

1. Introduction

According to the new research literature, formation control of multiagent systems (MASs), which is oriented to design an appropriate control protocol so that all agents can maintain a prescribed geometric shape, has received significant attention owing to its broad applications [13]. Circle formation control as a datum problem in formation control of MASs is widely investigated in sundry areas [46]. In many actual application scenarios, the components of the system will be scattered in a wide area, and the exchange of information between components (including controllers, actuators, and wireless sensors) is mainly implemented via digital communication networks [7]. In theoretical analysis, the system is usually regarded as an ideal state. More specifically, for this ideal situation, it is assumed that each agent does not experience packet loss and distortion when performing information interaction with its neighbors [8]. The requirement of the basic assumption is that all communication channels between agents possess a sufficiently large bandwidth or unlimited capacity. However, it is contradictory to actual system applications, that is to say, for the practical application case, digital network resources often may be limited by different degrees of energy and communication bandwidth due to some reasons [9]. In particular, when it comes up to the large-scale MASs, the limitation of network communication bandwidth will not only affect the quality of data transmission but also cause the overall performance of the system to decrease. As a result, considering the limited communication capacity of the whole digital network, it is necessary to pay much attention when designing the control protocols with close to practical applications.

In view of the limitation of network resources of MASs, a variety of control algorithms involving information quantification have gradually emerged. In the pioneering works [10, 11], the quantization communication based on integer-valued and real-valued has been analyzed, respectively. Aiming at the shortcomings of the static quantizer designed in [10, 11], the authors of [12] have further proposed a dynamic encoder-decoder quantization algorithm. Then, Li et al. [13] characterized a novel control method that can be symmetrically compensated by adjusting the corresponding parameters of the controller to reduce the number of bits transmitted by each digital channel to only 1 bit. Thereafter, the theory that is closely related to the quantization algorithm of networked systems has been systematically studied in [14], where the authors provided a comprehensive analysis of the average consensus of MASs with a finite number of quantization levels by introducing a scaling function into the encoding-decoding quantizer. The extensions of the authors’ work in [13] are further investigated for cases: the agents being governed by the second-order linear dynamics [15, 16], discrete linear systems [17, 18], and nonlinear systems [19, 20], respectively, the presence of communication channel time-delays, and so on. Xu et al. [21] have considered the leader-following fixed-time quantitative consensus problem of the nonlinear multiagent systems with a novel way of impulse control.

Owing to the limited bandwidth and energy resource, circle formation control of multiagent systems over directed graph with quantized communications is significant from both theoretical and engineering points of view. Furthermore, as the questions arising pointed out in [14], the designed protocols in the existing literature aforementioned are executed synchronously, and they need to be updated at each time step. This may cause much unnecessary energy consumption, especially in an environment with limited resources. With the growing demand in industry on systematic methods to model, analyze, and design systems, event-triggered control (ETC) has been proposed as a promising control mode to solve the above problems [22, 23]. Fortunately, this ETC framework has been applied to deal with the quantized consensus problems of MASs. In [24, 25], the authors introduced ETC into the second-order system, which proved that it can effectively reduce the calculation amount of the system and reduce the update frequency of the controller. In [26], a nonlinear decomposition method of asymmetric hysteresis quantizer is proposed by using the fuzzy logic system to estimate random perturbation term and unknown nonlinear function, and the sector constraint property is used. In [2730], the authors have investigated the quantized consensus problem of the general linear systems and nonlinear systems, respectively, with the couple of ETC fashion. To the best knowledge of the authors, most studies have focused on the analysis and design of uniform quantification combined with ETC strategy to solve the formation control problem of MASs, and few results are devoted to concentrate on the co-design structure between nonuniform quantification and ETC scheme compared with the former counterpart, especially few for the datum problem of circle formation. Thus, it is natural to motivate us to consider the novel combination involving nonuniform quantizer together with the ETC mechanism, in which nonuniform quantization can enhance the quantization signal-to-noise ratio of the small signal and the key information, which is extracted in the small signal, can be ignored easily [3133].

The core of this paper is dedicated to consider the circle formation problem of MASs under the constraints of communication bandwidth and limited energy as close to reality as possible. Here, we focus on the special case that each agent can only perceive the angular distance from itself to the nearest neighbor in the counterclockwise direction, while the counterpart in the clockwise direction be acquired via the digital communication network. The main contributions of this paper mainly are threefold. First, a novel algorithm is proposed to tackle the circle formation problem of MASs, in which the nonuniform dynamic quantizer plays a crucial role in data compression and transmission. Second, a distributed event-triggered condition that only relies on the local information of neighboring agents is constructed. Finally, the proof that the designed nonuniform dynamic quantizers will never be saturated is strictly provided, and the comprehensive comparison of advantages and disadvantages of uniform and nonuniform quantizer is shown in detail. In summary, the algorithm proposed in this paper may be favorable to reveal the practical constraints that originated from physical control systems.

An outline of this paper is organised as follows. In Section 2, some basic background and problem statements are given. In Section 3, a new encoder-decoder nonuniform quantizer is designed and the ETC conditions are proposed. Section 4 analyzes the convergence of the proposed control law and proves that the nonuniform quantizer is always in an unsaturated state. Section 5 verifies the feasibility and superiority of the new algorithm through comparative analysis. The conclusion of this article and the prospect of subsequent research directions are referred in Section 6.

2. Preliminaries and Problem Statement

In this section, some symbols and basic concepts of algebraic graph theory are collected together. Then, the definition of circle formation and its related properties is mentioned.

2.1. Preliminaries

, , , and denote the sets of real, positive real, nonnegative real, and positive integers, respectively. , , and denote the transpose, Euclidean norm, and infinite norm for a vector or matrix , respectively. The set of all real matrices with m rows and n columns is denoted as . For an arbitrary vector , means that each element in the vector is nonnegative. N-dimensional column vector whose elements are 1 and 0 is denoted as and , respectively. is defined as an N-dimensional identity matrix. Given a positive number , represents the integer round-down of . represents the Kronecker product, which has the following properties:(1)(2)

For a weighted directed graph , it contains a set of vertices , the edge set , and weighted adjacency matrix . Self-edges are not allowed, i.e., for all . For , the corresponding weighted adjacency matrix is defined element-wise with if and otherwise. If there exists an edge , then we refer to as an out-neighbor of and as an in-neighbor of . For a given node , the sets of out- and in-neighbors are denoted by and , respectively. A directed path from vertex to in a digraph is an ordered sequence of edges starting with and ending with . If there exists a directed path for any two distinct vertices and in , the digraph is called strongly connected. Accordingly, both the out- and in-degree matrices and are diagonal matrices, where and . A digraph is called weight-unbalanced if , and the degree of is defined as . The Laplacian matrix is defined as , which is given in this paper.

Lemma 1 (see [4]). For a weighted directed graph , there exists the following properties:(1)The Laplace matrix has a zero eigenvalue with associated eigenvector .(2)If the graph contains a spanning tree, the algebraic multiplicity of eigenvalue zero is simple, and the rest of eigenvalues have positive real parts.(3)If graph is strongly connected, then its Laplacian matrix is irreducible and satisfies . And, there exists a vector satisfying and .

Lemma 2 (see [13]). If the unbalanced directed graph is strongly connected and defines , , then the Laplacian matrix can be decomposed into , where and are both nonsingular matrices. is the matrix corresponding to the Jordan standard shape, and its first diagonal element is zero. A variable , , is defined, where represents the matrix . A submatrix is removed from the first row and the first column, and existing real numbers are as follows:(1)(2)

2.2. Problem Statement

Consider a system composed of agents, , in which each agent is an independent individual with autonomous ability and moves along a preset circle. Initially, all agents are randomly located in different positions on the circle. Here, for the ease of analysis, we marked the agents as 1 to in the counterclockwise direction, denoted as , as shown in Figure 1. In a fixed coordinate system, the state of the angular position of the agent at time is denoted by . Then, the initial positions of all agents are set to satisfy

In this paper, we mainly focus on the case that each agent only has two neighbors that are immediately in front of or behind itself. We denote the set of agent ’s two neighbors by , where

Denote as the desired angular distance between individual and its neighbor . The information exchange relationship between agents is further established in such a network, where each agent (equipped with a unidirectional sensor) can only perceive an angular distance from to and from to . The counterpart is obtained through the shared communication network. In this setting, the communication network between agents can be described by a weight-unbalanced directed graph , where , , and , as shown in Figure 2.

We consider the network of agents with the dynamicswhere is the scalar state and is the control input of the agent . Let , denote the actual angular distance between the agent and its counterclockwise neighboring agent . Thus,

Stack vector . Note that is local information that can be acquired by a unidirectional sensor equipped with agent . In addition, is always satisfied. The desired circle formation of the MAS is determined by the vector , where represents the required angular distance between agents and . If satisfies , and , it means that the formation of this desired circle is acceptable.

Now, we are ready to draft the definition of the circle formation problem.

Definition 1 (circle formation problem, see [9]). Given an admissible circle formation characterized by , design distributed control laws , such that, under any initial condition (1), the solution to system (2) converges to some equilibrium point , which satisfies .
Based on the interaction between agents, our main goal in this paper is to explore a meaningful hybrid design nonuniform between quantization techniques and event-triggered mechanisms to solve the circle formation problems with limited communication bandwidth and limited energy:

3. Distributed Control Law Design

With reference to the communication protocol based on sampling data proposed in [46, 9], the following definition is obtained:where represents the neighbor of agent . In (6), for the agent , the fulfillment of the control input requires the exact state information of the agent . However, the case considered in this paper is that the sensor is unidirectional, and we assume that exact information on the angular distance from the agent to is unavailable. To this end, the agents in each pair need to use digital communication channels to exchange information. As described in [4], compared with analog signals, digital signals show many advantages, such as signal security, robustness, strength, and less noise interference. Therefore, before transmission, the actual value of the corresponding number of agents should be quantified. The quantitative communication scheme between agents and consists of a dynamic encoder-decoder pair. Then, the corresponding information exchange can be regarded as such a process, at each time step, the relevant state value of the sender is first encoded into symbol data and then transmitted. After receiving the data, the receiver will activate the decoder to obtain an estimate of the relevant state value of the sender.

Following the design of distributed control law (6), some intermediate variables need to be introduced. Define and , where represents the sample value of agent at th event instant, . It is worth pointing out that variable conversion will not affect the design of the encoder to the decoder nor will it affect the system stability analysis of the entire encoder.

Next, in a sense, a collaborative design idea is adopted, which is to propose an event-triggered law of nonuniform quantization algorithms combined to solve the problem of circle formation. For each agent , the corresponding event-triggered encoder is designed as follows:

We use to represent a nonuniform quantizer with a finite number of levels. Its role is to map the state deviation value of the agent to the discrete level value of the quantizer. Let and . denotes the quantization error. can be described aswhere is the quantization interval and is the number of quantization level. In each iteration, the communication channel is required to have ability of transmitting bits. If the conditions and are satisfied in the process of information interaction between agents, then the quantizer is not saturated.

Further, the neighboring agent receives , which will be estimated by the decoder to obtain the state value of agent . There is a fact that the communication channel is considered to have no noise in the encoding-decoding process. is described aswhere and denotes the output of . Relying on the information transmission scheme of the dynamic encoder-decoder described above, the distributed event-triggered circle formation control law of agent is further designed as

In above formula (10), represents the counterclockwise neighbor of the agent in the clockwise direction. The latest update time and the next update time of the agent are, respectively, represented as and , .

Remark 1. It can be observed from encoder-decoder pair (7) and (9) that the advantages are as follows:(1)At zero initial conditions, the encoder and decoder meet the condition , which can ensure that both sender and receiver sides have the same estimate of each sender’s state.(2)The term is quantified rather than the state , which can save communication bits and enhance the communication robustness.(3)The aperiodic event-triggered state is used to construct the encoder-decoder pair. Compared with the periodic event-triggered, the aperiodic event-triggered only needs to store the key information when triggering the event conditions rather than each period, and it can save memory for the device equipped with each agent.

Remark 2. In the process of designing the dynamic nonuniform encoder-decoder pair, a scaling function that has a monotonously decreasing characteristic and attenuates to 0 as approaches is introduced. It enables the quantizer to be continuously stimulated to strengthen the information interaction between agents. At the same time, should be large enough to ensure that the quantizer is never saturated.

Remark 3. Uniform quantization is also realized by encoder-decoder pairs and an integral way to quantize information in a uniform and fixed interval, which allows both large and small signals to have the same signal-to-noise ratio [34]. However, nonuniform quantization is to quantify the signal in the nonuniform and unfixed interval through its unique compression and spread characteristics, which can improve the signal-to-noise ratio of small signals and thus interpret the information contained in small signals, especially when the event-triggered control strategy is adopted, the event will not be triggered when the signal is small, so it will be ignored, which leads to a large final error of the system. Nonuniform quantization can effectively avoid this problem and improve the consistency of the system.
Then, substituting the protocol (6)–(9) into system (3) and noting (10), we obtain the following closed-loop system:Assume that the following conditions exist:System (11) can be simplified asDenote

4. Convergence Analysis

In this section, we need to prove the issues raised in this paper. Towards this end, some assumptions need to be clearly made at the start.

Assumption 1. and , where and are known nonnegative constants. For the reason that each agent is defined to accept symbol data only from its neighbors, event-triggered calculations depend only on the local information available to each agent. We propose that the following distributed sampling event-triggered condition for the agent satisfies

Remark 4. Zeno behavior generally refers to event-triggered control, where the control is triggered infinitely within a limited time. If Zeno behavior occurs in the system, it will cause a certain degree of delay to the system, which will result in poor system stability and even system hardware failure. It is necessary to strictly consider avoiding Zeno behavior in a continuous-time ETC system, but not in a discrete counterpart. Because there is at least one time step between two consecutive samples in a discrete-time system, Zeno behavior does not occur.

Theorem 1. Based on the condition of strongly connected weight-unbalanced digraph , combining of the system (2), encoder-decoder pair (4) and (6), and the designed control law (7) as well as the event-triggered condition (11) is achieved. The circle formation problem can be realized when the assumption is valid and the numbers of quantization levels are satisfied.

Proof. A Lyapunov function candidate can be taken asThen,Sincewe haveNote thatUnder the Young inequality [35], for any and , , it has the following properties , and we haveCombining (20)–(23), we can obtainBased on the event-triggered conditions (15) given above, we can obtain that the system is stable when meets the following conditions:

Theorem 2. If Assumption 1 is satisfied, given any admissible circle formation characterized by , consider the system in (3) with the combination between dynamic encoder-decoder pair (7) and (9), designed control law (10), and scaling function over a strongly connected weight-unbalanced digraph . For given and , the solvability of the circle formation problem is achieved when the upper bound of quantization satisfieswhereand the conditionholds simultaneously, where represents the quantization interval and . That is to say, system (3) satisfies . Furthermore, all the quantizers will never be saturated.

Proof. Combining equations (7)–(9), we haveAccording to , we can getThen,To make it easier to calculate, some new variables are introduced asFrom and (31), we can getFor a clear expression, we summarize the procedure of proof by dividing into two cases:Case 1: when and , we getObviously, when , the quantizer is not saturated.Case 2: when , define a nonnegative integer ; then, we assume thatthenLet , relying on Lemma 2, , , and . Here, , which is available:Let and . Define , , and , and formula (40) can be organized aswhereBased on , , and we haveNext,Depending on Theorem 2 and formulas (39)–(41), we haveThen,That is to say, all the quantizers are not saturated when the above condition is satisfied by quantizer level number .

5. Numerical Examples

In this section, a multiagent system composed of agents is used to simulate and verify the superiority of the nonuniform quantization algorithm. Under the condition that the initial conditions of each agent in the system satisfy (1), is selected as the sampling period of the system. Under the condition that the proposed algorithm can be realized, the expected angular distance between agents is set to . We set the quantization interval correlation amount , , and . The simulation results are shown in the figure.

Comparing the simulation results of uniform quantization algorithm (Figure 3) and nonuniform quantization algorithm (Figure 4) can get some conclusions. Due to the characteristics of nonuniform quantization, a better quantized signal-to-noise ratio can be obtained when processing small signals. The error of nonuniform quantization will be more smaller. In other words, nonuniform quantization can effectively improve the system accuracy. It is obvious that the nonuniform quantization tracking effect is better and the final error is significantly reduced when the event-triggered mechanism is considered. The reason why nonuniform quantization triggers less than uniform quantization is that nonuniform quantization can improve the SNR of small signals and trigger events to update the control protocol even when the signal is small. However, uniform quantization tends to ignore this signal, which leads to the accumulation of errors and ultimately increases the frequency of events. In summary, the nonuniform quantization algorithm proposed in this paper can better improve the system accuracy and can improve the system performance under the same conditions.

As shown in Figures 5 and 6, the quantization error of each agent is . In the nonuniform quantization algorithm, is log-scaled, so the quantization error exhibits the phenomenon in Figure 6. It is worth noting that the quantization error of each agent’s quantizer is less than its upper limit and saturation will never occur.

6. Conclusions

This paper mainly explores the existing uniform quantization method further and designs a new nonuniform quantization algorithm combined with the event-triggered mechanism. First of all, in order to improve the information exchange between agents, we propose a scheme based on nonuniform dynamic codec, which effectively solves the problem of small signal loss during information exchange between agents. Then, a distributed control algorithm based on the coordinated control of the event-triggered mechanism and nonuniform encoder is given to reduce system energy consumption. In addition, all designed quantizers do not appear to be saturated. Finally, numerical simulation results verify the effectiveness of the algorithm. Future work will focus on solving practical problems, such as the rapid convergence of multiagents under limited input and the consistency of general nonlinear systems.

Data Availability

The raw/processed data required to reproduce these findings cannot be shared at this time as the data also forms part of an ongoing study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported in part by grants from the National Natural Science Foundation of China (nos. 61963006, 61563005, 61563006, 61973007, and 61633002), Natural Science Foundation of Guangxi Province of China (Grant nos. 2018GXNSFAA050029 and 2018GXNSFAA294085), Innovation Project of Guangxi University of Science and Technology Graduate Education (no. GKYC202006), and Project of Guangxi Key Laboratory of Automobile Components and Vehicle Technology (no. 2017GKLACVTZZ02).