Abstract

This paper addresses the problem of tracking a reference trajectory asymptotically given by a linear time-varying exosystem for a class of uncertain nonlinear MIMO systems based on the robust optimal sliding-mode control. The nonlinear MIMO system is transformed into a linear one by the input-output linearization technique, and at the same time the input-output decoupling is realized. Thus, the tracking error equation is established in a linear form, and the original nonlinear tracking problem is transformed into an optimal linear quadratic regulator (LQR) tracking problem. A LQR tracking controller (LQRTC) is designed for the corresponding nominal system, and the integral sliding-mode strategy is used to robustify the LQRTC. As a result, the original system exhibits global robustness to the uncertainties, and the tracking dynamics is the same as that of LQRTC for the nominal system. So a robust optimal sliding-mode tracking controller (ROSMTC) is realized. The proposed controller is applied to a two-link robot system, and simulation results show its effectiveness and superiority.

1. Introduction

Trajectory tracking control for multiple-input multiple-output (MIMO) nonlinear systems has attached much attention during the past decades [1, 2]. Compared with single-input single-output (SISO) systems, the optimal tracking control for MIMO systems is much more difficult and complex because the output variables are more than one and usually coupled. Many real nonlinear plants have MIMO structures, such as robots, electric motors, and aerocrafts. The key to solve MIMO problem is to introduce the decoupling technology, and several control schemes for decoupling have been quite mature, such as the cascade decoupling based on classical control theory [3], the linear state feedback decoupling based on modern control theory [4], the linear output feedback decoupling [5], the stable-state feedback decoupling, and the dynamic precompensate [6, 7]. In recent years, adaptive decoupling theory, fuzzy decoupling theory and neural network decoupling theory have also made great achievements [811]. But there are some difficulties when these schemes are applied in practical applications; for example, the decoupling control system based on classical control theory often leads to a physically unrealizable problem, while the decoupling control system based on the modern control theory often leads to complex calculations and its realization is very difficult. As a branch of exact linearization, the input-output linearization is an effective way to decouple MIMO systems [12]. It could be achieved by exact input-output transformation and feedback, and any higher-order nonlinear terms are not neglected. Additionally, it could be employed to stabilize systems in a large scale. What’s more, it could avoid complicated calculations in dealing with the tracking problem for nonlinear MIMO systems, and it is easy to achieve.

As is well known, optimal control is one of the most important branches in modern control theory and LQRTC has been used and developed well in linear MIMO systems. However, there would be several problems in applying LQRTC to uncertain nonlinear systems. The optimal LQRTC for nonlinear systems often leads to a nonlinear two-point boundary-value (TPBV) problem and the analytical solution generally does not exist except in some simple cases [13]. Additionally, the optimal controller design is usually based on the precise mathematical models. If the system is subject to some uncertainties, such as parameter variations, unmodeled dynamics, and external disturbances, the performance criterion which is optimized based on the nominal system would deviate from the optimal value or even the system becomes unstable.

Sliding-mode control (SMC) is an effective robust control approach for uncertain nonlinear systems [14, 15]. Its outstanding advantage is that the sliding motion exhibits complete robustness to system uncertainties [16, 17]. However, during the reaching phase, the SMC system is sensitive to uncertainties. Therefore, various methods have been suggested by minimizing or even removing the reaching phase, such as time-varying sliding mode and integral sliding mode (ISM). Time-varying sliding-mode surfaces that can remove the reaching phase were studied in [18] for the SISO system. And for a class of uncertain MIMO nonlinear systems, three types of time-varying sliding-mode control were proposed in [19]. Another effective method to remove the reaching phase and obtain a global robustness is the ISM, which was proposed by Lee [20] for linear systems. Recently, the ISM control research has obtained many results, for example, the optimal and robust control for linear state-delay systems was proposed in [21], the LMI-based ISM control of mismatched uncertain systems was considered in [22]. Compared with the time-varying sliding mode, the ISM is simpler and easier to implement, especially for MIMO systems. How to make an optimal controller or tracking controller have the global robustness of ISM is a valuable subject. For the optimal control problem, [20] studied the problem for linear systems. Reference [23] proposed a higher order sliding-mode control methodology based on ISM for a class of nonlinear SISO systems. Reference [24] presented an ISM surface for a class of nonlinear uncertain systems based on the exact linearization. Reference [25] studied the global robust optimal sliding-mode control based on ISM for class of MIMO nonlinear systems, with the nonlinear LQR problem solved by the sensitivity approach. But with system-order increasing, the complexity for calculating optimal solution increases rapidly. For the optimal tracking control problem, [26] studied the optimal sliding-mode output tracking control for linear uncertain systems with the reference signal given by a linear time-varying exosystem. Reference [27] proposed an optimal output tracking controller for nonlinear systems based on successive approximation approach, without uncertainties considered. Reference [28] studied the optimal sliding-mode control by combining ISM with optimal control and applied it to quaternion-based spacecraft attitude tracking maneuvres with external disturbances and an uncertainty inertia matrix. The control Lyapunov function (CLF) approach and Lyapunov optimizing control (LOC) methods were used to solve the nonlinear optimal control problems, respectively, and the desired reference was given by some known trajectories.

The optimal tracking problem for nonlinear MIMO systems with reference signals generated by a time-varying exosystem is more challenging because of the complexity of nonlinear, the difficulty of the optimal solution, the inevitability of uncertainties, the coupling problem, and so on.

In this paper, the input-output linearization is employed to linearize and decouple the original MIMO system. Based on the decoupled system and the exosystem, an error equation is constructed. Therefore, the optimal tracking problem of original system is transferred into an optimal state regulation problem about the linear error system, and the TPBV problem is avoided. Based on optimal control law, an ISM surface is constructed, which can remove the reaching phase of SMC and guarantee the global sliding mode. To reduce chattering, the reaching law is used to design the optimal sliding-mode tracking control law. As a result, not only the optimal performance can be obtained but also the global robustness to uncertainties is guaranteed. The proposed algorithm is applied to a two-link robot system, and simulation results show its effectiveness.

2. Problem Formulation

Consider a class of uncertain affine nonlinear MIMO systems as follows: where is the system state vector, is the control input vector, and is the system output vector. ,  , and are sufficiently smooth vector fields on a domain . is a measured sufficiently smooth output function vector and . and are unknown function vectors representing the system uncertainties, including system parameter variations, unmodeled dynamics, and external disturbances.

The reference signal is given by the following exosystem: where is the state vector and is the output vector. and are time-varying matrices with appropriate dimensions. Suppose that the pair is observable.

Our objective is to design a ROSMTC so that the output of system (1) can track the exosystem’s output asymptotically, some given performance criterion is minimized and the system can exhibit global robustness to uncertainties.

Ignoring the uncertainties, the nominal system of uncertain affine nonlinear system (1) is

Assumption 1. Equation (3) has the relative degree vector and .

Assumption 2. The reference trajectory and its derivations    can be obtained online, and they are bounded to all .

The nominal system (3) is a coupling nonlinear MIMO system. In the next part, exact linearization will be employed to transform the nonlinear system into a linear one and achieve decoupling between the inputs and outputs. Furthermore, the original tracking problem will be transformed into a robust optimal regulation problem for linear system.

3. Input-Output Linearization and Problem Transformation

Considering system (3) and differentiating , we have

Define

And is nonsingular in some domain for all . According to Assumption 1, (4) can be written as Choose the control law in the form of then the input-output dynamic equation can be described as

As can be seen, the output is only related to the input , which means the input-output decoupling has been realized. Noting that the relative degree of system (1) is , so the decoupling process is equivalent to the input-output linearization process. In the following part, the results above will be applied to uncertain affine nonlinear system (1) to structure a tracking error equation.

Considering system (1) and differentiating , we have Define , and   and choose the following nonlinear state transformation: Define the tracking error as Define and choose the control law in the form of where .

So the tracking error equation can be written as where is the system tracking error vector and is a new control input of the transformed system. , , , and are corresponding constant matrices and defined, respectively, as follows: where and represent uncertainties of the transformed system. Obviously, and satisfy the matching conditions; that is, there exist unknown continuous function vectors and which satisfy

Assumption 3. There exist known constants and such that where denotes the 1-norm.

After exact linearization and decoupling, the optimal tracking problem of original system (1) is transferred into a robust optimal regulation problem about the error system (13). In the next part, the ROSMTC will be designed for system (13).

4. Design of Robust Optimal Sliding-Mode Tracking Controller (ROSMTC)

4.1. Optimal Tracking Control of Nominal System

Ignoring the uncertainties of system (13), the corresponding nominal system is For (17), let and can minimize the quadratic performance index as follows: where is a symmetric semipositive definite matrix and is a positive definite matrix.

According to optimal control theory, the optimal feedback control law can be described as where is the solution of matrix Riccati equation as follows: So the closed-loop system dynamics is

According to optimal control theory, the closed-loop system is asymptotically stable. However, if the control law (19) is applied to uncertain system (13), the state trajectory will deviate from the optimal trajectory and even the system will become unstable. Next we will adopt ISM control technique to robustify the optimal control law; to achieve the goal that the state trajectory of uncertain system (13) is the same as that of the optimal trajectory of the nominal system (17).

4.2. The Robust Optimal Sliding Surface

Considering the uncertain system (13), we define an integral sliding surface in the form of where which satisfies that is nonsingular and is the initial state vector. Differentiating (22) with respect to and considering (13), we obtain Let ; then the equivalent control becomes Substituting (24) into (13) and considering (15), the sliding-mode dynamics is

Comparing (25) with (21), we can see that the sliding mode of uncertain linear system (13) is the same as optimal dynamics of (17); therefore, the sliding mode is also asymptotically stable, and the sliding motion guarantees the controlled system global robustness to the uncertainties which satisfy the matching condition. We call (22) a global robust optimal sliding surface.

4.3. The Control Law

For uncertain system (13), we propose the control law as follows: where and   and are appropriate positive constants, respectively. , used to stabilize and optimize the nominal system, is the continuous part of the control law. is the discontinuous part, which provides complete compensation for uncertainties of system (13).

Theorem 4. Consider uncertain system (13) with Assumption 3. Let the input and the sliding surface be given by (26) and (22), respectively. The control law can force the system trajectories to reach the sliding surface in finite time and maintain it thereafter if .

Proof. Utilizing as a Lyapunov function candidate and considering Assumption 3, we obtain where denotes the 2-norm. As is a scalar quantity considering (15) and Assumption 3, we get Thus, So, if then
This implies that the trajectories of uncertain system (13) will be globally driven onto the specified sliding surface in finite time despite of the uncertainties. The proof is completed.

From (22), we have ; that is, the initial condition is on the sliding surface. According to Theorem 4, uncertain system (13) achieves global sliding mode with the integral sliding surface (22) and the control law (26). So the system designed is globally robust and optimal.

Trajectory tracking of multilink robot manipulator has received a great deal of attention in recent years. But it is rather difficult to perform excellent tracking because multijoint robot manipulator is a complex system with high nonlinearity, coupling, and time-varying dynamic behavior. To verify the effectiveness and superiority of the proposed method, we apply it to a two-link robot manipulator in comparison with conventional LQRTC.

Consider a two-link robot manipulator shown in Figure 1.

In this figure, and denote the machine arms, and denote the driving torque, and present the angular displacement of the two joints, respectively, and is the tracking trajectory described by . The dynamic equation is given by [29] where is the joint-displacement vector, is the applied joint-torque vector, and represents system uncertainties., , , and are defined as follows:

Suppose the reference signal is given by the following exosystem:

Our objective is to design an robust optimal tracking controller, such that the , , , and can track , , , and , respectively. Therefore, a certain given performance criterion can be minimized and the system can exhibit robustness to uncertainties.

Choose a state vector as follows:

Define and let the control law

So the error state dynamic of the robot manipulator can be written as

The quadratic performance index is chosen as (18) and the weighting matrices are

In order to show the efficiency and the advantage of the proposed approach, a conventional optimal LQRTC for the nominal system and a ROSMTC for the uncertain system are designed, respectively. For ROSMTC, the sliding-mode surface is chosen in the form of (22) and the control law is chosen in the form of (26) with the designed parameters as follows:

With the initial state vectors and , the simulation results are shown in Figures 29.

Figures 2, 3, 4, and 5 show the system responses in the following three cases: LQRTC for system (32) with , LQRTC for system (32) with the given , and ROSMTC for system (32) with the given . It can be seen from Figure 2 that when the system is subject to uncertainties, the response of the system with LQRTC deviates from the optimal trajectory, however, the response of the system with ROSMTC is almost the same as that of the nominal system with LQRTC.

The output tracking curves are shown in Figures 6, 7, 8, and 9. It can be seen that, without external disturbance, the controlled system could track the exosystem output by both controllers at about  s. However, when the external disturbance influences the system at  s, the output trajectory of LQRTC deviates from the desired trajectory while the tracking performance of ROSMTC is almost not affected. Thus, the ROSMTC provides better features than conventional LQRTC in terms of robustness to system uncertainties.

6. Conclusions

A robust optimal tracking control for a class of affine nonlinear MIMO systems with the reference signal given by an exosystem has been studied. A linear tracking error equation, with the input and output decoupled, has been established based on the input-output linearization technique. And the nonlinear optimal tracking problem was transformed into a linear LQRTC problem. Moreover, SMC has been used to robustify the LQRTC and a global ROSMTC was realized. That is, the tracking dynamics exhibits global robustness to the uncertainties and the given quadratic performance index can be minimized. The proposed controller was applied to a two-link robot system and simulation results show that good tracking performance can be achieved and global robustness to the uncertainties can be achieved.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China (Grant nos. 60940018 and 61104004), and the Shandong Natural Science Foundation (Grant no. ZR2011FQ006).