Abstract

This paper proposes a novel robust fixed-time control for the robot manipulator system with uncertainties. Based on the uniform robust exact differentiator (URED) algorithm, a robust control term is constructed. Then, a robust fixed-time inverse dynamics control (IDC) is proposed. For the proposed control method, the fixed-time stability of a closed-loop system with uncertainties is strictly proved. The newly proposed method exhibits the following two attractive features. First, the proposed control scheme extends the existing fixed-time IDC for the robot manipulator system to the robust control scheme. Second, the proposed method is strictly nonsingular rather than the commonly used approximate approach. Simulation result demonstrates the effectiveness of the proposed control scheme.

1. Introduction

Based on the development of control theory, measurement technology, and material science, the performance of robot manipulator has been greatly improved, and it has been widely used in the engineering areas, such as undersea exploration, space exploration, repetitive labor, and emergency rescue [16]. Most of the robot manipulators adpoted the trajectory tracking control to complete the desired mission. Thus, the study on the high-precision trajectory tracking control has become one of the most representative control problems in the research field of robot manipulator. As a classical control method, proportional-integral-derivative control (PID) [7] has the advantage of easy implementation in engineering. Many PID-based methods have been applied to design the tracking controller of the robot manipulator, such as fuzzy PID [8], neural PID [9], robust nonlinear PID, [10] and adaptive PID [11]. However, the conventional PID and these PID-based methods in [811] are asymptotically stable, which means that the convergence time of tracking error is infinite.

Actually, the fast convergence rate is a very important desired control performance of the robot manipulator. Thus, it is necessary to design a finite-time controller for the robot manipulator. Since the 1990s, based on the development of finite-time stability theories [1215], the study on finite-time convergence method has become a hotspot. And, to guarantee the robustness of system in the presence of uncertainties, the sliding-mode control (SMC) is a good candidate [16]. Combining the finite-time convergence and SMC, many terminal sliding-mode control (TSMC) schemes have been developed. In [17], for the first-order chaotic system, the authors adopted the FTSMC (fast terminal sliding-mode control) and the composite nonlinear feedback approach to guarantee the finite-time and high-performance synchronization of the chaotic systems in the presence of the external disturbances, parametric uncertainties, Lipschitz nonlinearities, and time delays. For the high-order system, there is a singular problem in the conventional TSMC method [18]. To avoid the singular problem and guarantee the finite-time stability, in [19], a novel recursive singularity-free FTSMC for finite-time tracking control of nonholonomic systems was proposed. In [20], a nonsingular FTSMC was developed, and the uncertainties were compensated by the estimation of disturbance observer. Recently, the development of TSMC also continuously changed the control design of a robot manipulator in engineering [21]. In [22], the authors adopted conventional TSMC to design the robust MIMO finite-time controller. However, an undesirable singular problem can be caused by the conventional TSMC. To avoid the singular problem, in [2325], the nonsingular terminal sliding-mode surface was applied to design the nonsingular TSMC scheme. In [26, 27], the authors adopted the integral terminal sliding mode to design controller, and then the singular problem also was eliminated. Besides the TSMC-based methods in [2227], based on finite-time convergence theory of the homogeneous system, the results in [28, 29] have been developed and also can guarantee the finite-time convergence. These results in [28, 29] not only guarantee the finite-time stability but also eliminate the above singular problem in the conventional TSMC. Although these FTC methods in [2229] can achieve the finite-time convergence of tracking error, the finite convergence times in [2229] are heavily dependent on the initial system conditions. Thus, the convergence time may be an unacceptable long time for the large initial system condition cases.

In recent years, an advanced stability notion, that is, fixed-time stability, has been developed [30, 31]. The fixed-time stability control method can not only derive the system trajectories to equilibrium in finite time but also guarantee that the convergence time is independent on the initial system conditions. Thus, the above initial system condition problem in finite-time control can be eliminated. So far, for the robot manipulator, some fixed-time control methods have been developed in [3234]. In [32, 33], the fixed-time controllers were developed based on the fixed-time sliding-mode control. However, to avoid the singular problem, the schemes in [32, 33] adopted a nonlinear function to approximate the singular control term. Thus, the schemes in [32, 33] can only guarantee that the tracking error converges to a neighborhood of zero. Recently, in [34], a fixed-time inverse dynamics control (IDC) scheme was proposed by using the bilimit homogeneity technique. Unlike the approximate fixed-time schemes in [32, 33], the method in [34] is nonsingular and can strictly guarantee that the tracking error converges to zero. In addition, for the control scheme in [34], since the control design is based on the commonly used IDC, the error dynamics are completely decoupled and the tracking performance is very easy to quantify [34]. However, the fixed-time IDC in [34] does not consider uncertainties.

For the robot manipulator system, the fixed-time control can eliminate the initial system condition problem of conventional finite-time control. However, existing fixed-time control results in [32, 33] which cannot drive the tracking error to zero, which implies that the manipulator cannot accomplish some high-precision operation tasks. The IDC results in [34] can guarantee that the tracking error converges to zero, but the uncertainties are not considered in [34]. Since the actual robot manipulator is a typical uncertain system, the fixed-time IDC in [34] may not achieve the desired fixed-time convergence performance in practical situations. Thus, it is necessary to design a new fixed-time control scheme which can not only strictly drive the tracking error to zero but also compensate the uncertainties in fixed time. The main motivation of this paper is to propose a new scheme to eliminate the above problems of existing fixed-time control for the robot manipulator in [3234].

The main difficulties to avoid the above two problems of existing results is how to design a scheme which can not only strictly drive the tracking error to zero in fixed time but also fully compensate the uncertainties in fixed time. In this paper, firstly, a robust control term based on the uniform robust exact differentiator (URED) algorithm is designed to compensate the uncertainties in fixed time. Then, a robust time fixed-time IDC is developed by using the IDC, the bilimit homogeneity technique in [34], and the proposed robust control term. In contrast to the aforementioned results, the contributions of this paper are as follows:(1)The main theoretical contributions of this paper are that the proposed method can not only extend the commonly used IDC for trajectory tracking of robot manipulators to fixed-time stable scheme but also suppress the bounded uncertainties of the robot manipulator system in a fixed time. Thus, the proposed method extends the recent fixed-time IDC result in [34] to a robust scheme.(2)Since the proposed scheme is designed based on the bilimit homogeneity technique in [34] and the additional URED is nonsingular, the proposed scheme does not require the commonly used approximate approach used in existing fixed-time control schemes in [32, 33]. Thus, the proposed method can drive the tracking error to zero rather than a neighborhood of zero in [32, 33].

The remaining parts of this paper are as follows. In Section 2, the dynamic model, the fundamental facts, and the motivation of this paper are expounded. The main results are presented in Section 3. In Section 3.1, a novel robust fixed-time IDC is developed for an uncertain robot manipulator system. Then, in Section 3.2, fixed-time stability of the proposed controller is presented. In Section 4, a simulation process verifies the effectiveness of the proposed scheme. In Section 5, the conclusion of the whole paper is presented.

Notations: the following notations will be used in this paper: denotes the time and the initial time is 0. Let denote the Euclidean norm of a vector and its induced norm of a matrix.

2. Preliminaries

2.1. Dynamic Model of Robotic Manipulator with Uncertainties

The dynamics of a rigid robotic manipulator with uncertainties and n-degree of freedom are given as [32, 33]where denote the vector of joint position, vector of joint velocity, and vector of joint acceleration, respectively. is the positive definite symmetric inertia matrix. is the centrifugal-Coriolis forces matrix. is the vector of gravitational torque. is the input torque. denotes the uncertainties, which can be caused by the unmodeled dynamics, external environment, and parameter uncertainties. The desired joint position is defined as . The tracking error is defined aswhere .

2.1.1. Control Objective

The objective is to design the input torque in such a way that the tracking error in fixed time despite the presence uncertainties. And the convergence time is always bounded regardless of system initial conditions.

Let , where . Then, calculating the time derivative of along the trajectories (1), we havewhere

Assumption 1 is assumed to be valid throughout this paper.

Assumption 1. The uncertainties is differentiable and satisfies and , where and are positive constants.

2.2. Fundamental Facts

Before giving the control scheme, some useful definitions are recalled for convenience.

Definition 1 (finite-time stability [35]). For the following uncertain system,where is the system state, is the system uncertainty, and is a nonlinear function, the origin of (5) is globally finite-time stable if it is globally asymptotically stable and any solution of (5) reaches the equilibrium at some finite-time moment, i.e., , where is the convergence time function.

Definition 2 (fixed-time stability [35]). For uncertain system (5), the origin of (5) is fixed-time stable if it is globally finite-time stable and the convergence time function is bounded, i.e., , , where is a positive constant and independent on the initial system condition .

Lemma 1 (see [36], URED algorithm). Consider a dynamic system in the presence of uncertainty :where is the system state and is bounded as . The functions and are given aswhere is a scalar. If and are in the setthen we have the following two propositions.

Proposition 1. The Lyapunov function is defined aswhere . is a symmetric and positive definite matrix. For some , the derivative of the Lyapunov function satisfies the inequalitywhere is a positive scalar.

Proposition 2. The states and will converge to the origin uniformly in time . And the convergence time is bounded as , where is a positive constant and independent on the initial conditions and .

Lemma 2. (see [34]). Consider a dynamic system as follows:where and are the system state. If the constants , , , , , , , and and the initial system condition is bounded, then the system state is fixed-time stable, i.e.,where is a positive constant and independent on the initial system conditions.

Remark 1. The proof of Lemma 1 can be referred to Appendixes A and B of [36]. And the expression of , and are given in Appendix A of [36]. The expression of is given in Appendix B of [36]. The proof of Lemma 2 can be referred to the proof of Theorem 3.1 in [34].

2.3. Problem Description and Purposes of this Paper
2.3.1. Problem Description

For the robotic manipulator system (1), the conventional finite-time control scheme can achieve a finite convergence time. However, the convergence time is affected by the initial system conditions and . Thus, the convergence time may be large in the case that and are large. Recently, based on the fixed-time control, the control schemes proposed in [3234] can eliminate the effect brought by initial system conditions. However, to avoid the singular problem, the schemes in [32, 33] adopted the approximate method. Thus, these schemes in [32, 33] only guaranteed the tracking error converges to a neighborhood of zero. The results in [34] adopted the IDC method and bilimit homogeneity technique to design a scheme which can solve the singular problem without using approximate method in [32, 33]. However, the method in [34] assumed that the robotic manipulator system is certain, i.e., the uncertainties vector . Obviously, is not equal to zero in practical case. The uncertainties may be caused by the unmodeled dynamics, external environment, and parameter uncertainties.

2.3.2. Purpose of This Paper

To further improve the performance of fixed-time control for the robotic manipulator system, the research topic of this paper is to designing a new robust fixed-time IDC which not only can strictly derive the tracking error to zero but also compensate the uncertainties in fixed time.

3. Main Result

3.1. Control Design

To facilitate the design and analysis, for the vector and constant , the vector is defined aswhere and are defined aswhere is a scalar.

Then, the robust fixed-time IDC for the uncertain robot manipulator system (3) is design aswhere is the fixed-time convergence term and designed as in [33]:

The parameters satisfy the following conditions:where is the robust term and designed as

The parameters satisfy the following conditions:

3.2. Stability Analysis

Theorem 1. Consider the uncertain robot manipulator system (3) adopts the controller (15). If Assumption 1 is valid and the control parameters are chosen as in (17) and (19), then system (3) is fixed-time stable.

Proof. Substituting the proposed controller (15) into (3), we haveFor each control error , we havewhereLet and . Then, from (21), we haveAccording to the Proposition 2 of Lemma 1, it can be known that can be satisfied in a fixed time if satisfies the Assumption 1. Then, the fixed-time convergence of control error can be analyzed. However, the convergence stability of may be affected during the convergence period of . Thus, to consider the whole convergence dynamics, in the following, the proof of Theorem 1 consists of two steps: in the first step, it will be proved that the control error is bounded before converges to zero. In the second step, it will be proved that the control error will converge to zero in fixed time after converges to zero, i.e., is fixed-time stable.

Step 1. A Lyapunov function is defined as (9)where . is a symmetric and positive definite matrix. Then, according to Proposition 1 of Lemma 1, if and are in the set (19), for some , the derivative of the Lyapunov function satisfies the inequalitywhere is a positive scalar. And the expression of , and is given in Appendix A in [34]. From (26), it is clear that for ; thus, and are always bounded:where and are positive constants.
Then, a Lyapunov function is defined asCalculating the time derivative of along the trajectories of (21), we getBy combining (22) and (23), (30) can be rewritten asConsidering and , we haveSince and , we haveConsidering the upper bound of and given in (27) and (28), (33) can be rewritten asWe consider the following two cases:Case 1: if , we have . It is clear that is bounded in this case.Case 2: If . From (34), we haveThen, according to Young’s inequality [37], (35) can be rewritten asLet , we haveFrom (37), for any initial time , we havewhere e is the natural constant. From (38), it is clear that and are bounded in arbitrary finite time. From the discussions in case 1 and case 2, it is clear that the control error is always bounded in arbitrary finite time.

Step 2. According to Proposition 2 of Lemma 1, it can be known from (24) that the following equation can be satisfied in a fixed-time :where is independent on the initial system conditions. Then, we haveIt has been proved that is always bounded in arbitrary finite time in Step 1. Thus, it is clear that is bounded. Then, according to Lemma 2, it can be known from (40) that can be guaranteed in a fixed-time :where is also independent on the initial system conditions.
The proof is finished.

4. Simulation Results

In this section, to illustrate the effectiveness of the proposed method, the mathematical simulation is presented. The dynamic parameters in system (1) are given as a two-DOFs robot manipulator in [34]:where , , , , , and . The desired joint position vector is selected as

The parameters of the proposed fixed-time IDC scheme are selected as

In this section, MATLAB 2016 is chosen as simulation software. The simulation method is chosen as the fixed-step dormand-prince method. The step size of simulation is set as 0.001 s.

For the comparison, the FTSMC scheme in [21], fixed-time IDC scheme in [34], and the proposed robust fixed-time IDC (15) are considered in this section.

According to [21], for system (1), the FTSMC scheme can be designed aswhere the sliding-mode surface , the control component , , and are given aswhere the parameters are chosen as , , , , , , , , , and .

According to [33], for system (1), the fixed-time IDC can be designed by removing the robust term in (15):

The parameters of (47) are chosen as in (44).

For verification, we consider the following five cases:Case 1 (system with none uncertainties, comparison of small and large initial condition): this case shows the performance comparison of finite-time and fixed-time schemes for different initial conditions. We consider there are no uncertainties in the manipulator system (1). We consider two kinds of initial system conditions:The simulation results are shown in Figures 1 and 2. From Figure 1(a), for the small initial conditions (48), the three methods can guarantee that the position tracking errors converge to zero in 1.5 s. However, from Figure 2(a), with the same parameters, it can be known that the convergence time of FTSMC is increased to 2.3 s for the large initial condition (49). As stated in the Introduction section and Section 2.3, the reason for the simulation results is that the FTSMC is designed based on finite-time stability, and then the convergence time of FTSMC is affected by different initial system conditions. And, the fixed-time IDC and proposed robust fixed-time IDC can eliminate the negative effect brought by different initial conditions. The input torques of the three methods are given in Figures 1(b) and 2(b), respectively.Then, the following cases 2 and 5 will show the comparison of the fixed-time IDC and the proposed robust fixed-time IDC for the robot manipulator with uncertainties. We consider four kinds of uncertainties: (1) case 2: uncertainties have small amplitude and low frequency; (2) case 3: uncertainties have large amplitude and low frequency; (3) case 4: uncertainties have small amplitude and high frequency; and (3) case 5: uncertainties have large amplitude and high frequency. And in the following four cases, the initial conditions are chosen as in (48).Case 2 (uncertainties have small amplitude and low frequency): in this case, the uncertainties are chosen asThe simulation results are shown in Figure 3. From Figure 3(a), it is clear that the convergence precision and convergence rate of the robot manipulator with the fixed-time IDC are affected by the uncertainties (50). And, it also can be observed that the proposed robust fixed-time IDC still can guarantee a fast convergence rate and high convergence precision like case 1. As stated in Section 2.2, the robust term of the proposed method can effectively suppress the uncertainties.Case 3 (uncertainties have large amplitude and low frequency): in this case, we increase the amplitude of uncertainties in case 1. The uncertainties are chosen asThe simulation results are shown in Figure 4. From Figure 4(a), for the uncertainties with larger amplitude, it is clear that the convergence performance of fixed-time IDC is affected more seriously than that in Case 1. And, the proposed robust fixed-time IDC still can achieve a similar excellent control performance like Case 1.Case 4 (uncertainties have small amplitude and high frequency): in this case, we increase the frequency of uncertainties in case 1. The uncertainties are chosen asThe simulation results are shown in Figure 5. From Figure 5(a), for the uncertainties with these kind of uncertainties, it is clear that the convergence performance of the proposed robust fixed-time IDC can achieve a better convergence performance than fixed-time IDC in this case.Case 5 (uncertainties have large amplitude and high frequency): in this case, we simultaneously increase the amplitude and frequency of uncertainties in case 1. The uncertainties are chosen asThe simulation results are shown in Figure 6. From Figure 6(a), with this kind of uncertainties, it clear that the convergence performance of fixed-time IDC is greatly affected. From Figure 6(a), for the fixed-time IDC, an undesirable large oscillation of the position tracking errors can be observed. This undesirable oscillation may lead to the failure of robot manipulator’s control mission. Figure 6(a) also shows that the proposed robust fixed-time IDC still can achieve a fast convergence rate and high control precision despite the presence of this kind of large amplitude and fast-varying uncertainties.

According to the simulation results, the following can be concluded:(1)The convergence rate of finite-time IDC can be lowered gradually with the increase of initial system conditions (Figures 1 and 2). The convergence rate of fixed-time IDC and proposed robust fixed-time IDC is independent of the initial system conditions, which means that the fixed-time schemes can provide a fast convergence rate without changing the control parameters for the different initial system conditions (Figures 1 and 2).(2)The fixed-time IDC only can guarantee the desired excellent control performance when the robotic manipulator system does not have uncertainties (Figures 1 and 2). For the different kinds of uncertainties, the convergence rate and control precision of fixed-time IDC are significantly affected (Figures 36). Since the actual robot manipulator system is a typical uncertain system, the fixed-time IDC may not achieve the desired convergence performance. By designing a robust term to improve the fixed-time IDC, the proposed scheme can not only maintain the desired convergence performance of fixed-time control but also eliminate the affected by different uncertainties (Figures 36).

5. Conclusion

In this paper, a novel robust fixed-time control scheme has been proposed for the robotic manipulator system with uncertainties. By designing a robust control term based on the uniform robust exact differentiator (URED) algorithm, a robust fixed-time IDC extended the existing fixed-time IDC to the robust scheme. Moreover, the proposed method eliminated the singular problem without using approximate approach. It has been strictly proved that the convergence time of the closed-loop system with the proposed control method is fixed-time and independent of the initial conditions. Finally, the simulation results have demonstrated the effectiveness of the proposed method. In the future work, we will focus on the extension of the proposed robust fixed-time control method to more complex manipulator system, such as the flexible joint manipulator. Unlike the rigid manipulator considered in this paper has two orders and is matched uncertain, the flexible joint manipulator system is a high-order system (four orders) and is a typically mismatched uncertain system.

Data Availability

All data, models, and code generated or used during the study appear in the submitted article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.