Abstract

Dealing with the fixed-time flocking issue is one of the most challenging problems for a Cucker–Smale-type self-propelled particle model. In this article, the fixed-time flocking is established by employing a fixed-time stability theorem when the communication weight function has a positive infimum. Compared with the initial condition-based finite-time stability, an upper bound of the settling time in this paper is merely dependent on the design parameters. Moreover, the size of the final flocking can be estimated by the number of particles and the initial states of the system. In addition, a sufficient condition is formulated to guarantee that all particles do not collide during the process of the flocking. These results can give a reasonable explanation to some flocking phenomena such as bird flocks, fish schools, or human group behaviors. Finally, three numerical examples are granted to display the performance of the obtained results.

1. Introduction

In the last few years, the cooperative control of self-propelled agent systems has attracted considerable attention, mainly due to its broad range of potential applications including formation control [1], attitude alignment [2], and target tracking [3]. Such coordinative motion is typically inspired by the emergent collective behaviors observed in nature. Flocking, as an important emergent collective behavior, has been studied with great attention. Readers are referred to [415] and references therein for more details.

Let us point out that most aforementioned works mainly addressed the asymptotical behaviors, which mean that the flocking can only occur as time approaches to infinity. However, in our real life, phenomena in which particles reach to flock in a short time are ubiquitously observed. Take bird flocks, for example, individuals can form a new flock after adjusting their states in a short time when they are disturbed by the external environment. Although we do not know deeply about the traits intrinsic that why birds can occur as flocks in a very short time, this common phenomenon has inspired us to focus on the finite-time control problems. In 1986, Haimo firstly investigated the finite-time control problem in the pioneer work [16]. Based on the results of the benchmark works of Bhat and Bernstein [17], the issue of the finite-time cooperative control for multiagent systems has developed dramatically. Accordingly, there is a large body of the literature on the research in this field, which is impossible to cite here. Instead, we refer to several recent works as representatives. For multiagent systems with unknown inherent nonlinear dynamics, Cao and Ren [18] demonstrated that the consensus can be achieved in a finite-time by using graph theory and a finite-time theorem. For multiagent systems with discontinuous inherent dynamics, Ning et al. [19] considered the finite-time and fixed-time leader-following consensus by combining graph theory and discontinuous analysis. For discontinuous complex networks, Ji et al. [20] studied the finite-time and fixed-time synchronization by establishing a new finite-time and fixed-time theorems. For another relative interesting results on finite-time problems, we refer to [2131] and therein references. As far as we observe there are a lot of works on the finite-time consensus problem for multiagent systems, but few results on finite-time flocking for multiagent systems available in the literature [32, 33]. More precisely, the results of [32] show the finite-time flocking of a Cucker–Smale-type self-propelled particle model can be achieved when the communication weight function has a positive infimum. In [33], the results demonstrate that the finite-time flocking occurs when the communication weight function under long-range interactions.

It is worth pointing out that the estimation of settling time function for finite-time stability is heavily depending on the initial states of systems [16]. Therefore, from a practical point of view, this restrict limits especially the practical applications, since the initial states of the systems are unavailable in advance. To overcome this shortcoming, an extension of the finite-time stability and fixed-time stability is discovered [34, 35]. The fixed-time stability exhibits an elegant property in some applications. We refer to two review works for an overview by [36, 37] and some interesting results in fixed-time consensus [19, 27, 29, 37], fixed-time synchronization [38], and fixed-time bipartite flocking [39]. Note however, there are no papers addressing the fixed-time flocking with collision avoidance and the final size of the group, which will be the subject of this paper. Naturally, in the present paper, we will consider the following problems:(1)Under what conditions can the flocking emerge in a fixed time?(2)If the flocking occurs in a fixed-time, can the diameter of the final group be estimated?(3)Under what conditions could particles be ensured not to collide with each other?

To solve the abovementioned problems (1)–(3), we first propose a continuous non-Lipschitz type model (since the finite-time flocking cannot occur in the Lipschitz model [16, 32, 33]) and then carry out the fixed-time stability analysis which shows that if the communication weight function satisfies a lower bound condition then flocking can occur within a fixed-time. Consequently, the novelty of the present paper lies in the following aspects. Firstly, the right term of our model does not satisfy the Lipschitz condition, which is different from the classical Cucker–Smale model [18, 40, 41], where the flocking only occurs asymptotically. In addition, it is not necessary to require that the communication weight function is a nonincreasing function but only has a positive infimum. By using a fixed-time stability theorem, the fixed-time flocking result is obtained in this present paper. Secondly, unlike the results in [32, 33], in which flocking is achieved in a finite-time which is depending on the initial states of network agents, we investigate the fixed-time flocking and estimate the upper bound of the settling time which is merely depending on parameters. This provides additional options for designers in practical scenarios where initial conditions are unavailable. Thirdly, the results in [32, 33] show that the particles may collide in the process of flocking. However, a new sufficient condition is presented in this article to guarantee that particles do not collide during the process of flocking. Finally, the largest diameter of final flocking group can be estimated by the initial states and the parameters.

The rest of this paper is organized as follows. In Section 2, some necessary lemmas and a fixed-time stability theorem are presented, which are the main tools to study the fixed-time flocking problem. In Section 3, a fixed-time flocking with collision avoidance theorem for the Cucker–Smale-type self-propelled particle model is established. Meanwhile, the size of the final flocking can be estimated by the initial data and parameters in this section. Three illustrative simulated examples are presented to demonstrate the theorem analysis in Section 4. Finally, a brief conclusion is presented in Section 5.

2. Preliminaries and Problem Formulation

2.1. Preliminaries

Consider the following dynamical system:where , is a nonlinear function which may be discontinuous, then the solutions of (1) are understood in the sense of Filippov and Arscott [42]. Assume that the origin is an equilibrium point of (1). Hereafter, without loss of generality, it is assumed .

Definition 1. (see [35]). The origin of (1) is said to be globally finite-time stable if it is globally asymptotically stable and any solution of (1) reaches the equilibrium at some finite moment, i.e.,where is the setting-time function.

Definition 2. (see [35]). The origin of (1) is said to be globally fixed-time stable if it is globally finite-time stable and the settling time function is bounded, namely, there exists such that for all .

Lemma 1. (see [43]).(i)If , , and , then(ii)If and , then the following inequality holds:

Lemma 2. (see [27]). If and , then the following inequality holds:

Lemma 3. (see [38]). If there exists a regular, positive, definite, and radially unbounded function such that any solution of (1) satisfies the inequalitywhere , , , and , then the origin of system (1) is fixed-time stable, and the settling time function is estimated by

2.2. Problem Formulation

To research the flocking of birds, Cucker and Smale [44] in 2007 introduced the following model (short for C-S model):where and denote the position and velocity of the th particle, and the communication rate is assumed to be satisfied:

The results in [44] show that the global unconditional flocking occurs as for , while the conditional flocking appears under some restricted conditions on the initial positions and velocities as for . Motivated by the C-S model, in order to study the finite-time flocking of the self-propelled particle model, Han et al. [32] purposed the following Cucker–Smale-type self-propelled particle model:where denotes the communication weight function between agents and satisfying

Hereinafter, denotes the -norm andwith and as the signum function. By using a finite-time stability theorem, the authors [32] proved that, for , the flocking can occur in a finite-time (the upper bound of it is heavily depends on the initial data of the systems). Unfortunately, the author did not indicate that whether the particles collide or not during the process of the flocking.

Motivated by [32], the main goal of this paper is to investigate the noncollision fixed-time flocking and estimate the size of it. To this end, according to the results of [16, 32, 33] that the finite-time stability cannot take place in Lipschitz continuous system, we consider an interacting particle system consisting of identical autonomous particles with a new non-Lipschitz type given by the following system:subject to the initial datawhere , and denote the position and velocity of th particle at time , respectively, is the number of particles, while are positive constants measuring the coupling strength and the functions and are defined in (11) and (12), respectively.

For vectors , the Euclidean norm and the inner product are given bywhere and are the th components of and , respectively. Similarly to [32, 45], we set the center of mass system as follows:

It follows from the definition of that

Furthermore,

Thus, from (13), we obtainwhich admit the explicit solution and for . Hence, we may assume, without loss of generality that the center of mass coordinate of the system in phase space at time is fixed at zero, i.e.,which implies that

Let be the fluctuations around the center of the mass system. It is easy to see that and . Then, system (13) can be written aswhich means that the new variable satisfies equation (13) and . For simplicity, we drop the hat notion in the microscopic variables and replace with in the present paper. That is, the dynamics behaviors of system (22) equate to the dynamics behaviors of system (13).

Remark 1. The right-hand side of the second equation (i.e., controller) in (13) or (22) is consisting of two different terms since considering two scenarios in the system. That is, for , if the difference in velocity between any two particles is smaller than one unit, the term (i.e., ) plays a leading role in promoting the speed to converge. Conversely, if the difference in velocity between any two particles is larger than one unit, then the term (i.e., ) plays the dominant role in driving the speed to converge. Unlike system (7), this controller can guarantee the flocking occurs in a fixed time, which can be estimated merely by the parameters.

Remark 2. In our model (13) or (22), the communication weight function defined in (11) means that all the particles in the systems exchange information with each other. In this sense, the communication function is well defined in (11). However, different from (6), it cannot adequately characterize the relationship between the intensity of information and the distance between particles.

3. Main Results

The objective in this section is to study the fixed-time flocking of system (13). Motivated by [4, 11, 25, 45], the particles in this paper are viewed as the points without physical sizes as well. Now, we present the definition of noncollision fixed-time flocking as follows:

Definition 3. We say that system (13) has a fixed-time flocking if there exist a time and a constant such thatwhere is called the settling time and the upper bound of it can be estimated as a fixed that is independent of initial states of system (13). Furthermore, if system (13) has a fixed-time flocking andthen we say that system (13) has a noncollision fixed-time flocking.
Now, we state the main results of this section as follows.

Theorem 1. For , if , , and (11) holds, then system (13) has a fixed-time flocking. Moreover, the settling time can be estimated byand the size of the final flocking can be estimated by

Proof. Let and . Take the candidate Lyapunov functions:Then, a direct calculation from the definition of norm (15) and (21) yields thatIt is easy to see from Definition 3 and (28) that function tends to 0 in a fixed-time which means that the difference of all individuals’ velocities will tend to zero in fixed time. In the following, we firstly show that tends to zero in a fixed time. For , a simple calculation from the derivative of along the second equation of (13) gives thatThen, a direct calculation yieldswhich implies thatEmploying Lemma 1 (i), one can easily obtain thatwhich meansOn the contrary, the same procedure of (31) may be easily adapted to obtainThen, it follows from Lemma 1 (i) thatwhich implies thatNote that ; then, combining the abovementioned analysis gives thatBy Lemma 1 (ii) and (28), for , we haveFrom Lemma 2, for , we obtainFor simplicity, we denote . Then, combining the abovementioned inequalities with (37) yields thatwhich combining with Lemma 3 yields thatwhich means thatwhere is estimated byIt follows from (40) that is a nonincreasing function with respect to , i.e.,By a simple calculation from (27) and Cauchy–Schwartz inequality finds thatIntegrating the differential inequality (45) from 0 to , we obtainIf , then it deduces from (44) thatIf , then from (41), (44), and (46), we haveThus, combining the processing inequality with (28) implies thatTherefore,which combining with (42) indicates that all the conditions of Definition 3 are satisfied. Therefore, system (13) has a fixed-time flocking. The proof is completed.

Remark 3. Equation (49) means that the size of the final flocking can be estimated by the initial states of systems, the number of the particles, and the parameters of the systems. It also shows that the size of final flocking is proportional to the number of particles, which is in accordance with the fact.

Remark 4. Theorem 1 shows that the flocking can be established in a fixed-time which is independent of the initial states but merely of the parameters of the systems. This is quite different from Theorem 1 of [32] despite that we use the same communication function (11). Simultaneously, there is a big difference in Theorem 1 and the main results of [33], in which the author investigated the finite-time flocking.

Theorem 2. If all the conditions in Theorem 1 hold and suppose furthermore that the initial states of system (13) satisfythen system (13) has a noncollision fixed-time flocking, where is defined in (25).

Proof. For and , we make the following handy notations:Theorem 1 shows that system (13) has a fixed-time flocking. So, it is sufficient to prove that all particles do not collide during the process of flocking. That is, , for all . For this, similar to (37), we haveFurthermore,which implies thatwhere denotes the positive constants, whose value may vary from line to line. Hence, by the definition of , one can easily obtainOn the contrary, a standard calculation shows thatFurthermore,Note that for . So, combining (56) with (58) yields thatThen, by the triangle inequality and (51), we obtainThe proof is completed.

Remark 5. It is worth pointing out that to study the problem of collision for the particles, the usually method is to treat the particles as points without considering their actual sizes, for examples, see [4, 11, 25, 45]. Therefore, the main contribution of Theorem 2 is providing a sufficient condition to guarantee the particles do not collide during the process of flocking and giving the rigorous mathematical arguments. However, it leads a gap that how about the particles with physical sizes, which will guide our further works.

4. Simulation Examples

To show the effectiveness of the theoretical analysis, three simulated examples are given in this part for illustration. Note that, in our model, and are required. So, for simplicity, we take , , and to simulate.

Example 1. We choose , , and . By (25), one can easily calculate that . Moreover, the initial states are set by and . Then, all the conditions of Theorem 2 are satisfied and the following simulation results (Figures 13) are obtained by Matlab.
From Figure 1, we see that the velocities of all particles are convergent to the same value after approximately . Figure 2 indicates that the diameter of flocking occurs fluctuation before . However, this fluctuation phenomenon vanishes after and the final diameter remains about 5.87. Meanwhile, Figure 3 shows that the least distance among all particles occurs fluctuation before and it is greater than zero. Moreover, the least distance maintains the value about 1.84 after . Hence, Figure 3 shows up clearly that all particles do not collide all the time. Such fluctuation phenomenon reasonably clarifies the intrinsic characteristics of the flocking. Therefore, these simulation results effectively demonstrate that the system has a noncollision fixed-time flocking.

Example 2. Take , , and . From (25), we have . The initial states are set by and . Then, all conditions of Theorem 2 are satisfied. By applying Matlab, we get the following simulation results (Figures 46).
It can be clearly seen from Figure 4 that the velocities of all particles tend to the convergent speed after about . We can observe from Figure 5 that the diameter of the flocking fluctuates frequently before about and it verges to stability and remains about 17.98 after . Meanwhile, Figure 6 also shows that the least distance among particles occurs fluctuation before about . However, it does not vibrate anymore after and the final value is about 1.973, which means that any two agents do not collide. Therefore, these simulation results effectively demonstrate that the system has a noncollision fixed-time flocking.
To better illustrate the theoretical analysis of the main results, in the following Example 3, we add the number of particles to 25, i.e., , to simulate. In addition, the initial data in Example 3 are generated randomly since the initial data of Examples 1 and 2 are all set by man.

Example 3. Take , , and . The initial values of velocities and positions of all particles are generated randomly at the interval and , respectively. Then, all conditions of Theorem 2 are satisfied. Then, from (25), we have , and by applying Matlab, we get the following simulation results (Figures 79).
Similar to the analysis of Examples 1 and 2, one can see that the velocities of all particles tend to the convergent speed after about in Figure 7. Figure 8 shows that the diameter of the flocking oscillates at high frequencies before about , but it verges to stability and remains about 260 after . This means that the size of the final flocking is about 260. At the same time, Figure 9 demonstrates clearly that the least distance among particles occurs fluctuation before about . However, it does not vibrate anymore after and the final value of it is about 6.32. No matter what, the least distance is greater than zero all the time, which means that any two particles do not collide. Therefore, these simulation results effectively illustrate that the system has a noncollision fixed-time flocking.
Additionally, we can see that the settling time in the abovementioned three examples is less than , respectively. The fluctuational phenomena of the least distance and the diameter of the systems reasonably clarify the intrinsic characteristics and the dynamic process of the flocking. Therefore, these simulation results sufficiently show that the flocking occurs in a fixed-time without collision and they effectively illustrate the theoretical analysis of Theorems 1 and 2.

5. Conclusion

The fixed-time flocking with collision avoidance problem for the Cucker–Smale-type self-propelled particle model is investigated in this paper. By using a fixed-time stability theorem, the fixed-time flocking is received when the communication function has a positive infimum. Based on this result, a sufficient condition is given in the present paper to guarantee that any two particles do not collide during the process of the flocking. The theoretical analysis shows that the bound of the settling time does not depend on the initial states but merely on the design parameters. This distinctive feature ensures to reduce the calculation cost while achieving the agreement. Moreover, the diameter of the final flocking group can be estimated by the initial states and the number of the particles. It is worth emphasizing that the diameter of final flocking group is in proportion to the number of particles, which is in compliance with the fact. Finally, three numerical examples are provided to illustrate the effectiveness and validity of the theoretical results. Both the theoretical and numerical results provide a reasonable explanation for the birds that can flock in a short time. However, in this paper, we just consider the case that all the particles in the group exchange the information. In fact, the in-depth analytical work on the fixed-time flocking mechanism is still on the way, particularly the collision avoidance case. In the future, it will be important to focus on more detailed scenarios, such as the communication function with a switching protocol, time delays, or channel noises, to see whether the collision avoidance flocking takes place within a fixed time.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was partially supported by the Hunan Natural Science Fund Youth Fund Project (no. 2018JJ3419) and Hunan Province Engineering Technology Research Center of Uranium Tailings Treatment Technology (no. 2018YKZX1008).