Abstract

A class of unknown nonaffine pure-feedback nonlinear systems is investigated and a novel output feedback control scheme with low complexity is proposed, based on the sliding mode control theory. The scheme is capable of guaranteeing output tracking error with finite-time convergence and bounded closed loop signals. In this scheme, a novel transformation method is included, which can easily transform the state-feedback control of nonaffine systems into output feedback control of strict-feedback affine systems. Based on the transformed affine systems, a novel finite-time sliding mode control is designed, which is continuous and nonsingular. The control scheme proposed in this work is simple and easy to implement, in which the ‘‘explosion of complexity’’ caused by backstepping-like scheme is completely avoided. And the finite-time convergence is successfully achieved. In addition, the scheme is designed based on output feedback control. And the dynamics of the nonaffine nonlinear systems is unknown in the design process. Thus, the system knowledge needed is reduced.

1. Introduction

In the past decade, control design for complex nonlinear systems has attracted a lot of attention. And many breakthrough results have been obtained, such as feedback linearization technical [1] and adaptive backstepping technical [2]. The aforementioned results assumed the input is affine in the systems considered. In practice, there are many nonlinear systems with nonaffine structure, such as aircraft dynamics [3] and mechanical systems [4]. Explicit inverting control design is impossible for nonaffine systems, because the input does not appear linearly in the systems. Therefore, the control design for nonaffine systems is more complex and more challenging.

Many researches have been done for nonaffine pure-feedback nonlinear systems. In the literatures [510], nonaffine pure-feedback systems are studied, in which the model is known. In practice, it is difficult to obtain an exact dynamic model of the system. And in the literature [1114], the controller design for unknown nonaffine pure-feedback systems is studied. However, the proposed control methods above are all designed based on the backstepping technical. A drawback with the back-stepping technique is the problem of “explosion of complexity,” which is caused by the repeated differentiations of certain nonlinear functions such as virtual controls [15, 16]. To overcome the problem, dynamic surface control (DSC) was proposed in the controller design for nonaffine system [17], by employing first-order filtering of the synthetic virtual control input at each step of backstepping approach. However, this method will produce an algebraic loop, because the controller is employed in the approximation algorithm, whose output is simultaneously utilized in the controller. The problem of algebraic loop is solved in [18] by combining the DSC technique and input-to-state stability- (ISS-) modular design method [6]. However, in [18] the corresponding neural network (NN) and filter are needed to be designed in each recursive step. Thus, the method is still complex. Recently, a low-complexity global approximation-free backstepping-like approach is proposed for pure-feedback nonaffine systems in [19], under the assumption that the full states are known. And the complexity explosion issue is avoided. However, it is still a recursive method. And it is usually impossible that all the states are available in the actual process. Hence, for nonaffine systems, it needs to further study the low-complexity controller design that is not based on the backstepping technique and needs less system knowledge.

It has been recognized that sliding mode control is efficient to design a robust controller. In most of the sliding mode controllers, the sliding mode surface is linear, which can only guarantee the infinite-time convergence of the states [20, 21]. To implement finite-time convergence, nonlinear sliding mode surfaces are employed. One of such sliding mode surfaces is the terminal sliding mode (TSM) [22]. However, TSM controller may cause the singularity problem in the closed-loop system [23]. To overcome the singularity problem, the nonsingular terminal sliding mode control (NTSM) is proposed in [24, 25]. However, NTSM can only be used in the second-order system. For high-order systems, a finite-time sliding mode controller is designed in [26]. However, the sliding mode controllers mentioned above are all designed for affine systems and are difficult to directly be applied to nonaffine systems. According to the authors’ best knowledge, all the sliding mode control designed for nonaffine systems [2732] can only guarantee the infinite-time convergence of the states. The finite-time controllers have faster convergence rate than that of infinite-time controllers. Furthermore, they possess better robustness and better disturbance rejection performance, because fractional power items are contained in them [33, 34]. Thus, research on finite-time control of nonaffine systems has important practical and theoretical significance.

In this paper, a novel finite-time convergence control scheme is proposed for unknown nonaffine pure-feedback system, based on sliding mode control theory. In the design procedure, the input of the system is augmented with a low-pass filter firstly. Then the nonaffine system is transformed into an affine strict-feedback system through states transformation. Because the states in the transformed system are unavailable for controller design, a finite-time differentiator is introduced to obtain the unavailable states. Finally, a finite-time sliding mode controller is designed. Main contributions of the paper are the following:(1)Complexity of the control for nonaffine system is reduced dramatically. A novel transformation method is proposed, capable of completely avoiding “explosion of complexity” caused by backstepping-like scheme. Moreover, in the proposed scheme, only one estimator is needed to obtain the states used in the controller.(2)The finite-time convergence of the closed system is achieved for the first time. For nonaffine pure-feedback nonlinear systems, a nonsingular, finite-time sliding mode control is designed for the first time. And the controller is continuous; thus, the chattering of actuators is alleviated.(3)The system knowledge needed is reduced. In the proposed scheme, only the outputs of the system, other than all the states, are used. Furthermore, the control is designed based on the unknown nonaffine pure-feedback systems; thus, accurate model of the system is not required.

2. Model and Problem Formulation

Consider a class of nonaffine pure-feedback systems as follows:in which , are the states, is the input, denotes the output, and , are unknown smooth nonlinear functions.

Assumption 1. In (1), , are continuous and differentiable, satisfyingin which and , are positive constant value (i.e., ,  ,  ).

Assumption 1 is a commonly used sufficient condition for controllability of nonaffine system [19].

Assumption 2. The desired trajectory is known. It is sufficiently smooth, and there are constants , satisfying .

In this paper, we focus on the control of unknown nonaffine pure-feedback system. The objective is to obtain a low-complexity controller, such that the tracking error with respect to the desired trajectory can converge to the equilibrium point with finite time, and all the states are bounded.

3. Finite-Time Output Feedback Control Based on Sliding Mode Control Theory

3.1. Design of a Novel System Transformation Method

Recently, in [21], a low-pass filter used to attenuate the chattering is introduced in the input channel (i.e., ), when designing the sliding mode control for affine systems. Inspired by this, we proposed a novel transformation method, in which we will show that the low-pass filter can also be used to transform the nonaffine systems into affine systems. The transformation procedure is given as follows.

Augment the nonaffine system (1) through introducing a low-pass filter in the input channel. And the augmented system can be denoted by the following:In (3), , becomes a new state, and denotes the new control input.

Let . And definite new states , in which . Based on (3), one can obtainNow, the initial nonaffine system denoted by (1) is transformed into an affine strict-feedback integral chain system denoted by the following:in which

Base on Assumption 1, one can obtain . Moreover, if , combing (5) and (6), the following differential inclusion can be concluded:in which .

3.2. Design of a Finite-Time Differentiator

In transformed system (5), only the states are measurable, and the states , are not available. All the unmeasurable states can be obtained through solving the derivatives of . In this section, a finite-time differentiator is given bywhere is a Lipschitz constant of and   is the estimate of .

Define the estimated errors and their derivatives as ,  . The following dynamic equations can be obtained:It follows from [35] that the estimated errors can converge to zero in finite time.

3.3. Design of a Nonsingular Finite-Time Sliding Mode Control

A nonlinear sliding mode surface is given byin which , can ensure that the polynomial is Hurwitz, , satisfying ,  ,  ,  .

Theorem 3. Consider nonaffine pure-feedback system (1), which satisfies Assumptions 1 and 2. All the initial states and is a compact set. When choosing the control input denoted byin which the sliding mode surface is designed as (10), and , are obtained by differentiator (8), ,  , satisfying ,  ,  ,  ,  ,  , satisfying , then the output tracking error will converge to zero in finite time, and all the signals in the close-loop system are bounded.

Proof. According to ,  , one can obtain . Then combing (5) and (10) yieldsBecause , satisfying ,  ,  , it implies that ,  ,  ,  .
Noting ,  , and combing (10), the dynamic of can be obtained as follows: where .
It denotes that dynamic (12) and dynamic (13) are affected by the estimated error dynamic (9). In the following, it will show that dynamic (12) and dynamic (13) will not be driven into infinity in finite time by dynamic (9).
Define a finite-time bounded function as follows:Taking derivative of with respect to time, then substituting (13), yieldsNoting that when , it implies that , and combing (15), one can obtainin whichSubstituting (11) into (12) yieldsNote that , and and . And from (18), one can obtain In (19),Substituting (19) into (16) yieldsNoting (21) and (17), one can obtain where , in (9) can converge to zero in finite time; thus, and , are bounded. Consequently, and denoted by (20) are bounded. And and in (22) are bounded. Thus, it can be concluded from (21) and (14) that () and will not escape to infinity in finite time before , converge to zero.
Because , will converge to zero in finite time, system (12) will then reduce toSubstituting (11) into (23) yieldsNoting that ,  ,  ,   and , and further substituting (11) into (24), it follows thatSubstituting denoted by (11) into (25), and combing with , yieldsAccording to (26), we know that the sliding mode surfaces and will converge to zero in finite time. And (9) implies that will converge to zero with finite time. So dynamic (13) will reduce toFrom (27), it can be concluded that and will converge to zero in finite time [21]. And at this time denote the tracking error and its derivatives, so the tracking error and its derivatives are bounded and can converge to zero in finite time. Because , are all bounded, the new input in (11) is bounded. And according to the bounded input and bounded output properties of one-order linear system [36], produced by in (11) is bounded too. Because is bounded, state is bounded. Furthermore, because is bounded, thus is bounded. Then it can be concluded that is bounded according to the fact that is bounded. Through using the procedure recursively, it can be concluded that all the other states , are bounded too.

Remark 4. Compared with the commonly used backstepping-like controller, the complexity is reduced dramatically in the proposed controller through using a novel system transformation. And the finite-time convergence of the tracking error can also be insured. The system knowledge needed is reduced, and only the output state is used in the proposed controller, while all the states are usually needed in the backstepping-like controller.

4. Simulation

In this section, the feasibility of the scheme proposed in this paper will be demonstrated. Consider the following three-order system:with the desired trajectory and initial conditions .

It can be verified that Assumptions 1 and 2 are satisfied. In the controller design, the differentiator is firstly designed as (8) with the parameters: ,  ,  ,  , and  . The sliding mode surface is given by (10) with ,  ,  ,  ,  ,  ,  ,  . And the initial value of the integral part is 0. The controller is given by (11); in (11), ,  ,  ,  ,  ,  ,  . The simulation results are shown as in Figures 110.

As a comparison, an improved backstepping-like controller designed in [18] is also simulated. In [18] the complexity issue is alleviated through using the dynamic surface technique, which can avoid calculating the derivative of the virtual control. The controller is designed as , in which and is tuned by one-order filter . is a virtual control, in which , and is tuned by one-order filter . is a virtual control, in which . , are three NN units. And the NN weights are determined as . The comparison of the two methods is illustrated in Figures 11-12.

According to the simulation results, the following can be concluded:(1)The proposed controller can insure the tracking error and its derivatives have a finite-time convergence property (Figures 25). This is because the proposed controller can insure a finite-time convergence of the sliding mode surface (Figure 6); moreover, the sliding mode surface in this paper is a nonsingular finite-time terminal sliding mode surface, so the states on the sliding mode surface can converge to zero in finite time.(2)The proposed sliding mode controller is chattering-free. Though the augmented input is desecrated (Figure 9), the actual input is continuous and smooth, because is produced by . Thus, the chattering of the conventional sliding mode control is avoided.(3)The proposed controller is simple and easy to implement. And the complexity of the current controllers designed for nonaffine systems is greatly avoided. It is noted that three NN units, two filters, and all the three states are needed in the backstepping-like controller proposed in [18]. And the number of NN units and filters will increase with the increase of the system order. However, only one output state, one differentiator, and one filter are needed in the controller proposed in this paper. In addition, the number of the needed states, differentiators, and filters will not increase with the increase of the system order. So the complexity of the controller for nonaffine pure-feedback systems is greatly avoided.(4)Compared to the controller in [18], the needed knowledge of system is reduced. In the proposed controller, only the output and the order of the system, other than all the states and the accurate system model, are needed.(5)According to Figures 11-12, it is shown that the control performance of the proposed controller in this paper is as good as that of the improved backstepping-like controller proposed in [18].

5. Conclusion

In the paper, a novel control scheme with low complexity is proposed for unknown nonaffine pure-feedback systems. The scheme involves a novel transformed method, which can transform the nonaffine systems into affine strict-feedback system. And a nonsingular finite-time sliding mode controller is also implemented. Compared with the related article, the proposed scheme not only can achieve finite-time convergence, but also is much simpler and easy to implement and needs less system knowledge. And the simulation results demonstrate that the tracking performance is also very good.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China (Grant no. 61304238) and the National High-Tech R&D Program of China (Grant no. 2012AA120602).