Abstract

In this paper, finite-time tracking problem of nonholonomic mobile robots for a moving target is considered. First of all, polar coordinates are used to characterize the distance and azimuth between the moving target and the robot. Then, based on the distance and azimuth transported from the sensor installed on the robot, a finite-time tracking control law is designed for the nonholonomic mobile robot by the switching control method. Rigorous proof shows that the tracking error converges to zero in a finite time. Numerical simulation demonstrates the effectiveness of the proposed control method.

1. Introduction

Addressing the problem of tracking a moving target is a challenging task which has attracted a continuously increasing attention in the control community [1]. Tracking of a moving target has its own complexities, mainly as follows: the movement of the target is more diverse and more dense and has large clutter density. The tracking of a ground moving target using nonholonomic robots has always been one of the forefront topics of great concern, because it has very important applications in cooperative robot reconnaissance [2], multirobot formation [3, 4], and trajectory tracking [59]. Unmanned aerial robots (UARs) and unmanned ground robots (UGRs) [1013] are often used to track a moving target. When UARs are in operation, they always rotate the track above the moving target, because the speed of UARs is much faster than that of the moving target. So there is a drawback of this tracking method. That is the lack of concealment. In contrast, the speed of UGRs is similar with that of the moving target and UGRs can maintain a certain distance from the moving target in the tracking process. In this case, concealment can also be guaranteed. Based on this superiority, UGRs are often prioritized when performing ground moving target tracking. The finite-time [1416] tracking problem for nonholonomic mobile robots has been studied mostly in the contexts of optimality, controllability, and deadbeat control for several decades. Firstly, Tang et al. [17] presented BLF-Tan control laws for strict-feedback [1821] nonlinear systems with output constraints. Based on the method of Tang, Wang et al. [12] proposed a generalized Tan-type barrier Lyapunov function to deal with the moving target tracking. However, most of the target tracking methods proposed in the existing papers can only guarantee that the error system asymptotically converges to zero, and the convergence speed often cannot meet the actual engineering requirements to achieve the expected tracking performance. This paper proposes a finite-time switching control tracking method to resolve this problem. In addition, the tracking objects are often nonholonomic robots in existing articles. The tracking objects studied in this paper are arbitrary moving targets. Compared with nonholonomic robots, tracking arbitrary moving targets is more research-oriented and more challenging because the tracking objects are no longer limited to nonholonomic robots, but can also be all moving objects such as people, and rolling balls, which has great research significance for practical engineering.

In case the distance between the robot and the target is too small to prevent them from collision [12], this paper assumes that there is a minimum safety distance in that the distance between the robot and the target is always greater. In addition, due to the limited measurement range of the sensor, once the distance is greater than the maximum measurement of the sensor, it may lead to that the tracking error [2227] is too large or may lead to tracking failure. In this article, a maximum distance is set to ensure that the distance between the robot and the target is always less. Similarly, the minimum azimuth and maximum azimuth angles between the robot and the target are set to meet that the azimuth is always between the minimum angle and the maximum angle. One of the novelties of this article is that the stricter constraints of the distance and the azimuth between the robot and the target are considered. Last appropriate control laws are set to meet that the distance and the azimuth between the robot and the moving target converge into the proper range in a finite time.

In this paper, a finite-time moving target tracking method is proposed by using the switching control method under polar coordinates without destroying the constraints of the system. The control law is set for the speed and angular velocity of nonholonomic mobile robots to ensure that the distance between the robot and the target and the azimuth converge to the ideal tracking distance and the ideal tracking azimuth in a finite time. The method has faster convergence rate and stronger robustness [2832] to system uncertainty and external disturbance. The rigorous mathematic deduction and proof demonstrates the reliability of the method in this paper. Further simulation also further confirmed it. The main innovations and contributions of our research can be summarized as the following three points in this paper: (1)A finite-time switching controller is set for the speed and angular velocity of the robot to track the mobile target in a finite time. Also, the tracking error can converge to zero in a finite time.(2)Previous tracking objects are extended from nonholonomic robots to arbitrary moving targets in this article.(3)The rigorous mathematical formula proves the reliability of the finite-time control law proposed in this paper. Further numerical simulation results also demonstrate the effectiveness of the control law.

This paper is organized as follows. Section 2 gives a formalization of the problem considered in this paper. Section 3 applies the stability results to the finite-time tracking control problem of nonholonomic mobile robots. Section 4 provides a numerical example and the corresponding simulation results of the proposed method, and finally, conclusions are given in Section 5.

2. Problem Statement

This paper studies the problem of tracking the moving targets with the nonholonomic mobile robots. The motion model of the nonholonomic mobile robots can be described by the following differential equations [3]: where is the Cartesian coordinate position of the nonholonomic mobile robots on the coordinate plane , and is its heading angle. and are the forward velocity and angular velocity of the nonholonomic mobile robots, respectively, from the horizontal axis.

The motion equation of the moving target can be described as [8] where is the position coordinate of the target on the coordinate plane , and and are the velocity components of the moving target along and on the coordinate plane . In fact, both and are bounded variables.

Remark 1. If there are more than one robot, subscript should be used to number the robot; and represent the forward velocity and heading angle of the robot, respectively. For convenience, this article only studies the case of a single robot tracking a moving target.

Remark 2. This article assumes that the robot is equipped with an on-board sensor. It can measure the distance and the azimuth between the robot and the target.

Remark 3. According to Figure 1, we set the velocity vector of the initial state of the ground moving target in the third quadrant. The initial state speed of nonholonomic mobile robots is also in the third quadrant, and the robot is in the upper right direction with respect to the target. That is to say, the velocity vector of the robot is always in the third quadrant. Namely, is always in the range .

As shown in Figure 1, this article uses polar coordinates to describe the relative position between the robot and the target on the coordinate plane . The azimuth and distance of the robot and the target can be described as the following model. where arctan2 is an inverse tangent function with four quadrants and its range is by definition. Its accurate value is determined by the quadrant of the point . and satisfy the following equation: and are available according to the sensor installed on the robot. From Figure 1, it can be obtained that , , and satisfy the following equation:

To facilitate the discussion of the main results, the following lemmas from existing literature are stated below.

Lemma 1. When is established, is always bounded. Where and are bounded variables, is any real number. (For complete, proof see the appendix).

Theorem 1. According to system (3), the derivative of and with respect to time is

Proof 1. For the convenience of calculation, substitutions need to be made. where is the angle between the line of the robot and the target with the direction of . It has been mentioned above. and are bounded. Therefore, there are positive numbers and to satisfy the inequality.

In combination with (8) and Lemma 1, it can be obtained that there are positive numbers and that satisfy the inequalities below.

The above discussion can obtain that and are also bounded.

(3) can be deformed into the following form after deformation.

According to the definition and (10), satisfies the following equations.

Then, the derivatives of and with respect to time are

After simplifying (4), it can be obtained that

Then, the derivatives of with respect to time are

Substituting (1), (2), and (13) into (14), it can be obtained that

(15) merged and simplified can be converted into

Similarly, it can be obtained that

Substituting (11), (13), (16), and (17) into (12), it can be obtained that

Substituting (5) into (18), after some trigonometric transformations, it can be obtained that

The above is a complete proof of Theorem1.

By definition, the range of is , and the range of is . But in fact when is too small, the robot will collide with the target which means tracking will not continue. So there is a minimum safety distance and is always greater than it. In addition, due to the limitation of the measurement range of the on-board sensor, there is a maximum measurement distance keeping always smaller. During the tracking process, the system always keeps in the range . Similarly, the measurement range of the sensor is bounded. So is also a bounded variable. There is a minimum azimuth and a maximum azimuth satisfying that is always between them in the progress of tracking.

3. Main Results

This section presents a novel method solving the problem of ground moving target tracking with constraints on and using nonholonomic mobile robots. This paper uses the method of switching control to set the control law so that the convergence error converges to zero in a finite time. The convergence error includes distance error and azimuth error.

Lemma 2 [3234]. Consider a first-order system where is a positive value function of time. Moreover, there is a positive number satisfying . For a certain number , there is always a positive number satisfying the inequality . Set the continuous and saturated control law where and are design parameters and satisfy . There is a finite time satisfying , such that

3.1. Switching Controller Design

Step 1. According to Remark 3, it can be obtained that and in the process of tracking. Moreover, can be obtained. Then, consider a replacement . Take the following control law on and . where . When converges to zero, go to Step 2.

Step 2. converges to zero and . Then, take the following control law. where .

Case 1. If , where is an arbitrary positive number, then go to Step 3.

Case 2. If there is a positive number satisfying , then go to Step 2 again.

Step 3. Take the following control law.

Theorem 2. The system (6) can be transformed to the following system by setting the switching control law. According to Lemma 2, rigorous mathematical proof shows that the tracking error converges to zero in a limited time. It can be obtained that when , converges to ideal tracking distance and converges to zero.

Proof 2. Substitute (21) into (19). It can be obtained that . Consider the Lyapunov stability decision function . Because is a function of time, is also a function of time. Then, the derivative of with respect to time is

According to (25), it can be obtained that is a decreasing function of time. Then, (25) can be transformed into

Integrate both sides of (26); it can be obtained that

After some calculations, (27) can be simplified as

It can be seen from (28) that converges to zero when converges to zero as tends to . According to Lemma 1, it can be obtained that is a finite value. The above proof shows that converges to zero in a finite time. According to Lyapunov stability decision function , also converges to zero in a finite time.

In Step 2, substitute (22) into (19). It can be obtained that . Similar to the convergence of , will decrease over time until it converges to in a finite time. Depending on the data returned by the sensors mounted on the robot, it can be obtained whether has reached the proper tracking distance. The setting of Case 1 and Case 2 can ensure tracking accuracy.

After the above repeated switching control, will always converge to in a finite time. When converges to , go to Step 3.

After Step 1, has converged to zero in a finite time. So is always satisfied in the control laws of Step 2 and Step 3. By the control law of Step 3, the distance between the robot and the target will always be at the ideal tracking distance.

The above rigorous proof fully proves Theorem 2.

In order to better understand the idea of the controller, this paper designed a flow chart (Figure 2).

Remark 4. Note that in Theorem 2 and Lemma 2, the gains and are not explicitly given. Practically, we can choose the appropriate gains by a simulation-tested method, as suggested in the work of Levant [35], for example, a group of available parameters .

For your convenience review, we make a table below to explain the source for each parameter selection (Table 1).

4. Simulations

In this section, we consider the tracking error and based on the proposed finite-time tracking controller for system (1) to ensure that in system (6) converges to and converges to zero. We demonstrate the effectiveness of our method in tracking moving targets by MATLAB simulation.

The simulation is carried out in which a robot is randomly distributed in the coordinate plane at first and finally should achieve the required cooperative circumnavigation stated in Sections 2 and 3.

In the following simulation, we assume that the ideal tracking distance is chosen to be given by . The initial position of the robot is and the initial position of the target is . We select design parameters and . The speed of the target is time-varying:

Under the switching control law (21) and (22), the simulation result shows that Figure 3 shows that the tracking azimuth can converge to zero in a finite time in Step 1 and is kept in Step 2 until it is driven to zero in the last step. In Figure 4, it shows that tracking distance is stabilized to a constant in a finite time . Moreover, Figure 5 also shows that tracking error system converges to the neighborhood of zero in a finite time in which the converging speed is very fast. Figure 6 shows the complete simulation result of the entire switching controller. Finally, Figure 7 shows the trajectories of the robot and target in the plane in which it can be obtained that the tracking task can be achieved in a finite time.

In order to reflect the superiority of the method proposed in this paper, we compare the controller of this paper with the control law in [12], and Figure 8 shows that the error system converges to zero when under the control law in [35]. Combining Figures 1 and 3, we can clearly see that the proposed switch control law has a faster error convergence rate than [12].

In actual engineering, the robot is often disturbed by noise. In Figures 9, 10, and 11, we consider the situation with random noise disturbance. The simulation results show that the control method proposed in this paper can still complete the task of tracking for the moving target in a short time in Figure 8. Figures 9 and 10 show that the error system can converge to zero in a very short time under the control laws proposed in this paper.

The numerical simulation results show that not only can the controller proposed in this paper make the error system converge to zero in a very short time but also the system has better anti-interference under this controller.

5. Conclusion

This paper studies the problem of moving target tracking using nonholonomic ground robots. Based on the polar coordinates, the switching control method is used to design a reasonable control law which can achieve that the error of distance and azimuth between the robot and the target converges to zero in a finite time. Compared with the traditional tracking algorithm, the proposed method in this article not only guarantees that the tracking error can converge to the neighborhood of zero in a finite time but also extends the previous tracking object from a nonholonomic robot to an arbitrary moving target. This paper also considers that the distance and azimuth between the robot and the target is limited, which is very practical for realistic engineering. The collision problem between robots has not been considered in this article and will be the focus of attention in future research.

Appendix

The complete proof of Theorem 1:

Proof 3. Because and are bounded variables, it may be assumed that there are positive numbers and satisfying the following inequality Hence, The above proof shows that is bounded and Theorem 1 is true.

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 supported by the National Natural Science Foundation of China (61304004, 61503205), the Changzhou Sci&Tech Program (CJ20160013), the Fundamental Research Funds for the Central Universities (2017B15114), and the Changzhou Key Laboratory of Aerial Work Equipment and Intellectual Technology (CLAI201803).