Control Problem of Nonlinear Systems with ApplicationsView this Special Issue
Nonsingular Terminal Sliding Mode Control of Uncertain Second-Order Nonlinear Systems
This paper presents a high-performance nonsingular terminal sliding mode control method for uncertain second-order nonlinear systems. First, a nonsingular terminal sliding mode surface is introduced to eliminate the singularity problem that exists in conventional terminal sliding mode control. By using this method, the system not only can guarantee that the tracking errors reach the reference value in a finite time with high-precision tracking performance but also can overcome the complex-value and the restrictions of the exponent (the exponent should be fractional number with an odd numerator and an odd denominator) in traditional terminal sliding mode. Then, in order to eliminate the chattering phenomenon, a super-twisting higher-order nonsingular terminal sliding mode control method is proposed. The stability of the closed-loop system is established using the Lyapunov theory. Finally, simulation results are presented to illustrate the effectiveness of the proposed method.
As the development of control schemes has progressed, a variety of control systems have been developed for robotic manipulators, including proportional-integral-derivative (PID) control , adaptive control , computed torque control [3, 4], fuzzy control , and neural network control . Sliding mode control (SMC) is an efficient control method that has been widely applied to control for both linear and nonlinear systems. In order to design sliding mode control systems, establishment of suitable sliding surfaces to ensure the desired dynamics is considered first, and then a sliding mode controller is designed to drive the system states to the sliding surface. The main characteristic of SMC is to use discontinuous control effort to keep the system states on the sliding surfaces, whereby SMC has strong robustness with respect to system uncertainties and external disturbances, fast response, and good transient performance. However, the conventional SMC method cannot guarantee the invariance properties during the reaching phase and even against disturbances can degrade the performance of system [7–9]. Moreover, this method adopts a linear sliding surface, which can only provide asymptotic stability of the system in the sliding phase.
Terminal sliding mode control (TSMC) methods, which use nonlinear sliding surfaces instead of a linear surface, were first introduced by Venkataraman and Gulati  and further developed by Man et al. [11, 12] and Wu et al. . Compared with linear SMC, TSMC schemes not only ensure that the system states arrive at the equilibrium point in a finite time but also offer some attractive properties, such as their fast response and higher precision. However, the traditional TSMC methods may have slower convergence performance when the system states are not near the equilibrium point, and they also suffer from the singularity problem and have restrictions on the range of the power function. In order to avoid these drawbacks, some new TSMC methods have been proposed [14–16]. Yu and Zhihong  have developed fast terminal sliding mode (FTSM), which can improve the convergence speed when the system states are far from the equilibrium point. This method, however, still has the singularity problem. To overcome this, Feng et al.  introduced nonsingular terminal sliding mode (NTSM) control. However, this surface has a limitation on the power function; that is, and must be positive odd integers.
Discontinuous terminal sliding mode control (TSMC) has been widely applied to nonlinear systems. Nevertheless, the main drawback of discontinuous TSMC is the chattering phenomenon, which comes from high frequency switching of the control signal. It shows undesirable oscillation on the system, leads to low control accuracy, causes high wear of the moving mechanical parts, and may damage the actuators. To deal with this problem, the most common methods replace the sign function in the switching control with a saturating approximation  or boundary layer technique . The boundary layer method was proposed to eliminate the chattering by defining a boundary layer around the sliding surface and then approximate the discontinuous control by continuous function within this boundary layer. As a result, the chattering elimination is achieved; however, there is a trade-off between chattering elimination and tracking performance; a thicker boundary layer can eliminate the chattering phenomenon but the tracking error will be increased. Recently, intelligent control schemes (neural network and fuzzy logic) have been applied to attenuate the chattering phenomenon [19–21]. However, some controller designs based on intelligence techniques were quite complicated and fell into difficulties in stability analysis. Therefore, in this study, high-order sliding mode (HOSM) techniques have been studied and applied. The main characteristic of HOSM is that they are working with the discontinuous control in the higher-order time derivative [22–27], so the chattering can be reduced because the control signal is continuous. Furthermore, HOSM can bring better accuracy than conventional SMC while the robustness of the control system is similar to SMC. It has been presented in [23–25] for the control of rigid robot manipulators.
In this paper, the above-mentioned problems are addressed based on a proposed NTSM surface for second-order nonlinear systems. A control law is designed to drive the system states to reach the sliding surface and converge to zero in a finite time. It does not suffer from the singularity problem or the restriction on the power function. Furthermore, a super-twisting second-order sliding mode is also used to reduce the chattering of the controller. The global finite time stability of the closed-loop system is proven. The convergence times of the reaching phase and sliding phase are also given. The simulation results are presented to illustrate the effectiveness of the proposed method on the two-link robot manipulator.
The remainder of this paper is arranged as follows. Preliminaries and problem formulation are given in Section 2. In Section 3, the structure of super-twisting nonsingular terminal sliding mode controller is presented and a stability analysis is performed. In Section 4, simulation results for a two-link robot manipulator are provided to demonstrate the performance of the proposed controller. Finally, some concluding remarks are presented in Section 5.
2. Preliminaries and Problem Formulation
Consider the following nonlinear second-order mechanical systems:where denotes the system state vector, and are smooth nonlinear functions of , is the control input, and presents the uncertainties and disturbances.
Assumption 1. The matrices are invertible .
Assumption 2. The uncertain term is bounded bywhere is a known positive constant.
Assumption 3. The desired state vector is a twice continuously differentiable function in terms of .
The control objective of this paper is to design a controller for system (1) to ensure that the error between the real state vector and the desired state vector converges to zero in finite time.
3. Main Results
In this section, the design of super-twisting nonsingular terminal sliding mode controller is presented. First, a new nonsingular terminal sliding mode surface is proposed to eliminate the singularity problem. Then, the conventional SMC and super-twisting nonsingular terminal sliding mode controller are designed to ensure that the tracking error converges to zero in a finite amount time.
3.1. New Form of NTSM Surface
We define the tracking error as . Thus, a new NTSM surface is proposed as follows:where , , , , with for every , , and .
When the system operates in sliding mode, the following is true:
Theorem 4. Considering the sliding mode dynamic equation (5), the system is finite time stable at the equilibrium point , and the tracking error will converge to zero in finite time if .
The finite convergence time is where is expressed by (15).
Proof. Consider the Lyapunov function: Taking the derivative of in (7) and substituting (5) into it yieldTherefore, according to the Lyapunov stability, it is obvious that the origin is at globally stable equilibrium. Next, we will show that the system states converge to zero in finite time.
Multiplying both sides of (9) by , we haveMultiplying both sides of (10) by yieldsTaking the integral on both sides of (12) from 0 to and knowing yieldwhere Taking the natural logarithm of both sides of (14) yieldsThis completes the proof.
Remark 5. The expression in (3) is different from the previously reported TSM and fast TSM in , which are expressed, respectively, aswhere and are positive constants and and are positive odd integers that satisfy the following condition: . We can easily see that, for , the fractional power may lead to the term , which means . In addition, the TSM control signals in  contain , which may cause a singularity to occur if when .
The sliding surface in (18) could solve the complex-value number, but the control input can suffer from the singularity problem if when .
Recently, a nonsingular terminal sliding surface was proposed to overcome the singularity problem :
However, this surface still has the limitation for the exponent of the power function; that is, and should be positive odd integers. Thus, our proposed TSM surface does not contain any of the mentioned singularities, and the exponent can be any real number in the interval .
Remark 6. Comparing with linear sliding mode, NTSM has higher convergence rate when the system state is far away from the equilibrium point, while NTSM has lower convergence speed when the system state is close to the equilibrium point [29, 30].
It is obvious that the term in the proposed surface will go backward to zero after a certain time. Thus, the nonsingular terminal sliding mode surface will become linear sliding mode after a period of time. By choosing a suitable , the proposed surface will have the advantage of both NTMS and linear sliding surface.
3.2. NTSM Control (NTSMC) Design
One suitable sliding manifold is established. The next step is to design the control to drive the nonlinear system (1) to the expected sliding surface (3) in a finite amount time. The proposed control method is summarized as follows.
Theorem 7. For the system (1), if the control signal is designed as (20) and the gain of the controller is larger than the upper bounds of the uncertainties, the tracking error will converge to zero in finite time:where , . Therefore,
Proof. Consider the following Lyapunov candidate function:The time derivative of the sliding surface (3) with respect to time can be expressed asDifferentiating with respect to time and substituting (20) and (23) into it yieldTherefore, the condition for Lyapunov stability is satisfied; in the following, we will show that the error converges to zero in finite time.
From (24), we haveTaking the integral of both sides of (25) from to , we haveNote that ; therefore, the TSM will reach zero in the finite time:This completes the proof.
Remark 8. In order to eliminate the chattering, a saturation function or ( is a small positive constant) can be used to replace the function.
3.3. Super-Twisting NTSM Control (ST-NTSMC) Design
The main drawback of the conventional sliding mode is the chattering phenomenon which is caused by discontinuous control action when the system state operates near the sliding surface. Even though the chattering reduction can be achieved by using Remark 8, there is a trade-off between chattering elimination and tracking performance; increasing the thickness of the boundary layer can eliminate the chattering phenomenon but will increase the tracking error. Therefore, in this subsection, super-twisting control is applied to attenuate chattering and to increase the tracking performance.
The ST-NSTSMC is designed aswhere
Based on , the super-twisting controller is designed as
The differentiation of the sliding surface is now obtained as
Theorem 9. Suppose that Assumption 1 is guaranteed and the uncertain terms are bounded by
For system (1), with the terminal sliding mode surface chosen as in (3) and the proposed control signal designed as in (28), if the sliding gains of given in (30) satisfy condition (34), then the sliding surface will converge to zero in a finite time:
Proof. Now, referring to Moreno’s work , let us consider the Lyapunov candidate function:where As we know, is positive definite and radially unbounded:where . The time derivative of becomeswhereUsing condition (33), it can be shown thatwhere In the case in which the condition in (34) is satisfied, , so is negative definite.
We can use (37) and the fact thatThen, substituting (42) into (40) yieldswhere Since the solution of the differential equationis given ashere, converges to zero in a finite time and reaches zero after . It follows from the comparison principle  that when . From (46), we can determine that and therefore converge to zero in a finite time and reach that value at most after .
4. Simulation Results
In this section, to verify the validity and effectiveness of the proposed method, the two-link planar robot manipulator shown in Figure 1 is considered.
The dynamic equation of the two-link robot is described as follows : whereand is the joint variable vector, is the inertial matrix, represents the centripetal and Coriolis torque matrix, represents the gravity torque vector, is the vector of the bounded external disturbance, is the friction, and is the control torque. and are the link masses, and are the link lengths, gravity , and the symbols and are, respectively, defined as , , , , , and .
The friction and external disturbance are chosen as
The parameter values employed to simulate the robot are given as and , and the design reference signals are given by
The initial states of the system are chosen as
To this end, Matlab/Simulink is used to perform all of the simulations, and with the sampling time set to , the simulation compares the proposed ST-NTSMC control scheme with the previously proposed control method in . Yu et al.  suggested the continuous terminal sliding mode control (C-TSMC), which was designed for a two-link robot manipulator as follows:where , , , , , , , and .
The control parameters are selected as shown in Table 1.
The simulation results are shown in Figures 2–5. In Figure 2, the tracking results of the robot manipulator using the two control laws above are compared. It shows that the state trajectories can reach the design reference signals in the presence of model parameter uncertainties and external disturbances. The tracking errors via two controllers are compared in Figure 3. One can easily see that the ST-NTSMC produces tracking performance with faster convergence and higher precision. Figure 4 shows the time histories of the applied control inputs and shows that the proposed ST-NTSMC method achieves superior control input performance with smaller control efforts, higher precision tracking, and smoother than the C-TSMC method. The time responses of the sliding manifolds are shown in Figure 5. Clearly, the sliding surface of the proposed method was also much smaller than C-TSMC.
In this paper, we presented the ST-NTSMC method for second-order nonlinear systems. This method has been successfully applied in a two-link robot manipulator. The designed nonsingular terminal sliding surface not only avoids the singularity problem, but also can overcome the complex-value and the restriction on the exponent of a power function in conventional TSMC. The performance of the proposed method was evaluated in comparison with recently proposed approaches . The simulation results show that the proposed method achieves highly precise tracking, fast and finite time convergence, and robustness against parameter uncertainties and external disturbances. Furthermore, ST-NTSMC is used to smooth the discontinuous control term in order to attenuate the chattering phenomenon.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This paper is a result of a study on the “Leaders Industry-University Cooperation” Project, supported by the Ministry of Education (MOE).
S. Arimoto and F. Miyazaki, “Stability and robustness of PID feedback control for robot manipulators of sensory capability,” in Robotic Research, M. Brady and R. P. Paul, Eds., MIT Press, Cambridge, Mass, USA, 1984.View at: Google Scholar
J. J. Craig, Introduction to Robotics, Addion-Wesley, Reading, Mass, USA, 1989.
J. J. Spong and M. Vidyasagar, Robot Dynamics and Control, Wiley, New York, NY, USA, 1989.
J. H. Lilly, Fuzzy Control and Identification, Wiley, 2010.
J. J. E. Slotine and W. Li, Applied Nonlinear Control, Prentice-Hall, Englewood Cliffs, NJ, USA, 1991.
Y. Jiang, Q. Wang, and C. Dong, “A reaching law neural network terminal sliding mode guidance law design,” in Proceedings of the IEEE Region 10 Conference (TENCON '13), Xi'an, China, October 2013.View at: Google Scholar
J. Rivera, C. Mora, J. J. Raygoza, and S. Ortega, “Supper-twisting sliding mode in motion control systems,” in Sliding Mode Control, A. Bartoszewicz, Ed., pp. 978–953, InTech, 2011.View at: Google Scholar
D. Hernandez, W. Yu, and M. A. Moreno-Amendariz, “Neural PD control with second-order sliding mode compensation for robot manipulators,” in Proceedings of the International Joint Conference on Neural Networks (IJCNN '11), pp. 2392–2402, San Jose, Calif, USA, August 2011.View at: Publisher Site | Google Scholar
X. Zhao, Y. X. Jiang, Y. J. Wu, and Y. Q. Zhou, “Fast nonsingular terminal sliding mode control based on multi-slide-mode,” Journal of Beijing University of Aeronautics and Astronautics, vol. 37, no. 1, pp. 110–113, 2011.View at: Google Scholar
H. J. Shi, L. F. Qian, Y. D. Xu, and L. M. Chen, “Fuzzy moving fast terminal sliding mode control for robotic manipulators,” in Proceedings of the IEEE International Conference on Robotics and Biomimetics (ROBIO '12), pp. 1943–1949, IEEE, Guangzhou, China, December 2012.View at: Publisher Site | Google Scholar