Output Tracking via Adaptive Backstepping Higher Order Integral Sliding Mode for Uncertain Nonlinear Systems

The authors propose a new tracking control design strategy for uncertain non-linear systems which are convertible to SemiStrict Feedback Form (SSFF). The system in SSFF is first converted into new variables via existing adaptive backstepping control techniques. The control law is obtained by combining adaptive backstepping procedure and higher order integral sliding mode. The component of control law designed via backstepping is continuous which shows robustness against parametric uncertainties where as the discontinuous control component provides robustness against unmodeled dynamics and external disturbances. Since, this strategy relies on an integral manifold of the adaptively developed variables, therefore, the reaching phase is eliminated in this approach, which is an advantage in term of robustness. Furthermore, the parameters update law correctly provides the estimation of parameters which is again results in enhanced robustness of the strategy.The stability of proposed method is analysed theoretically and validated through a numerical example.


Introduction
The design process of nonlinear feedback control system is quite complex and challenging.Major concern is to design a controller that guaranties some specific behaviour of the system and is robust against unmodeled dynamics, parametric uncertainties, and external disturbances.There are no specific methods or set of analysis and design tools that can fit universally for wide range of situations and applications.However several tools are available which are generally applied to control nonlinear feedback system to achieve desired regulation or output tracking.
Sliding mode control (SMC) reported by [1,2] is well known for its ability to compensate the external disturbance, unmodeled dynamics, and parametric uncertainties satisfying matching conditions.The classical SMC suffers from high frequency control switching the chattering phenomenon that severely damages the actuators and the system.Another limitation of this method is that it can only be applied to the systems of relative degree one.Relative degree is the relationship of output to the input of the system.The relative degree number is the count of derivatives of the output variable on which input variable appears.In the system which satisfies 01 relative degree condition, on taking first derivative of the output variable, input variable appears in the equation.Many physical systems, such as mechanical systems and satellite control system, do not satisfy 01 relative degree condition.The need of the relative degree one and chattering reduction/elimination was handled via different techniques (see, e.g., [3][4][5]).
A systematic design procedure that resolves the issue of relative degree is the backstepping algorithm [6] and it is suitable for feedback linearisable systems [7][8][9].This is essentially a recursive design methodology in which a virtual control is designed at each step until an actual control law is realized.Conventional feedback linearisation method [3] has a drawback in the sense that this requires a precise model around some specific equilibrium points where some useful nonlinearities responsible for stability may disappear.However, the backstepping method avoids wasteful cancellations to achieve the global stability and to improve the performance.
Sira-Ramirez et al. [10] have combined the fundamental adaptive backstepping algorithm [11] with dynamically inputoutput linearization technique [7].The blended method was extended in combination with the SMC, for those systems which can be transformed into triangular, Parametric Pure Feedback Form (PPFF) or Parametric Strict Feedback Form (PSFF) (see, e.g., [12][13][14]).Furthermore, some interesting SMC based techniques were put forwarded by, for example, [15][16][17] for nonlinear systems which are transferable into semistrict feedback form (SSFF) suffering from unmodeled and unmatched uncertainties.In this way, the benefit of SMC and adaptive backstepping were realised.An additional benefit is that the requirement of transformation into PPFF or PSFF and the justification of extra conditions on parameters and sufficient condition for the existence of sliding mode [14] were not needed.Recently, Khan et al. [18] reported strategy of dynamic control for MIMO uncertain, square, and minimum phase nonlinear system based on integral sliding mode technique.This method has synthesized dynamic sliding mode control [19,20] and integral sliding mode strategies [1] into dynamically integral sliding mode control (DISMC) which provided the establishment of sliding mode without reaching phase.In this way the robustness against uncertainties is enhanced and performance is improved with considerable attenuation in the chattering across the integral manifold.
Fascinated by the strategy of DISMC, the authors have combined the adaptive backstepping and Higher Order Integral Sliding Mode Control (HOISMC) (see, e.g., [21,22]) into a new technique named Adaptive Backstepping Higher Order Integral Sliding Mode Control (ABHOISMC); this will provide robustness from the initial time instant against parametric uncertainty along with considerable reduction in chattering.This newly proposed technique is developed for Single Input Single Output (SISO) nonlinear systems which are transferable into SSFF in the presence of some unknown parameters.The design process involves the subdivision of the control law into two parts, continuous control law which can be realized by applying adaptive backstepping method and discontinuous control law which is developed via an integral manifold.The parameter update law is also a sum of two terms.The first term emerges from the adaptive backstepping method and the second term is the contribution of the HOISMC.The remainder of the paper is managed as follows: the problem description/formulation is presented in Section 2, the development of the control law is explained in Section 3, an illustrative example is presented in Section 4, and the conclusions are drawn in Section 5.
It is required that the output  of the system should follow a specific bounded desired continuous signal   ().
Assumption 1.It is assumed that the th order time derivatives of   exist and are bounded in nature.In addition, it is assumed that the scalar nonlinear functions   (, , ),  = 1, . . ., . are bounded by known positive functions; that is, 2.2.Adaptive Backstepping Design Approach Development.In this study, a generalised recursive approach analogous to that of [13] is presented for the tracking of a time varying signal   ().The step by step development is given as follows.

Step 1.
Consider a new variable which represents the error between the actual output of the system and the desired output in the following form. 1 =  1 −   () and its derivative ż 1 = ζ 1 − ẏ  () along (1) becomes The expression in (3) may be written in an alternate form as follows: where θ =  − θ,  1 () =  1 ( 1 ), and θ is the estimated value of unknown parameters.Now, a virtual control input for the stabilization of the first step is designed by considering the Lyapunov function as follows: where Γ is a positive definite matrix.The time derivative of  1 along (3) takes the form Define the parameter update law of the fist stage θ =  1 = Γ 1  1 and the stabilizing control where  1 , , and  are positive constants.The last term in  1 is a saturation function which avoids the chattering in the evaluation of the control input.Now, define a second new variable of the form By using ( 9) and ( 8) in ( 7) and applying Assumption 1 in (2), one gets Consequently, one has The second step is developed as follows.

2.2.2.
Step 2. The time derivative of the new variable defined in ( 9) along ( 1) is given by Now, define a Lyapunov function as follows.
2) θ Γ −1 θ and its time derivative along (11) and ( 12) becomes where and reduces (13) to the following form: where  2 is a positive constant,  2 = θ , and Similarly, the recursive development in the new variables is in the sequel.

2.2.3.
Step  (1 ≤  ≤ −1).The variable   is defined as .The time derivative of   appears as follows: where The uncertain time varying function in recursive procedure appears in the following form: where 1 ≤  ≤ .
The time derivative of the   becomes In addition, the next variable is defined according to the following formulation:  +1 =  +1 −  − ()  , where the virtual control input   appears in the subsequent form where   are positive constants.Now, substituting the previous available data, the ż  carry the following form: where   is defined by Now, the time derivative of a Lyapunov candidate function takes the form where

2.2.4.
Step .Finally, define a variable   as follows: , where the virtual control input  −1 can be obtained by putting  =  − 1 in (21).Thus, the final expression of ż  becomes where the terms   (, θ) and   can be obtained from ( 19) by substituting  = .Note that,   is the variable whose time derivative bears explicitly the actual control input .In the next section, the control input is developed.

Control Design via Higher Integral Sliding Mode
In this study, which is the main contribution, a control design for the nonlinear systems convertible into SSFF is considered.The design is carried out by making use of first order and second order adaptive backstepping integral sliding mode control which are discussed in detail in forthcoming subsections.

Control Design via
The main advantage of this technique is that sliding mode is enforced from the very beginning which enhances robustness against uncertainties.In addition, the system operates in sliding mode under the action of the continuous control component  0 ∈ R [18] which is quite robust in this development because it is designed via the adaptive backstepping technique.The discontinuous component  1 ∈ R comes into action, when the system reaches the vicinity of the sliding manifold.In addition, the parameter updates law is formulated as where the first term comes from adaptive backstepping, while the second term comes from the sliding mode approach.In the subsequent study, the development is presented.

Design of the
with parameter update law then the energy in this newly transformed system decays to zero asymptotically.
Proof.Consider a Lyapunov candidate function of the form Calculating the time derivative of   along (26) and then inserting the value of the control input  from (29) and parameter update law from (30), one has Expression in (32) indicates that  → 0 asymptotically (analogous to that of [17]), which ensures that the continuous control component is responsible for steering the actual system output to the desired output asymptotically.Note that the update law mentioned in (30) is the first components of (28).In the forthcoming subsection, the design of the discontinuous term via integral sliding mode is presented.

The Design of the Discontinuous
Component  1 ∈ R of (27).In [17] a conventional sliding surface is taken for conventional adaptive sliding mode which is by definition a Hurwitz polynomial of the states.However, in the present development, an integral manifold is designed which results in reaching phase free sliding mode.The integral manifold under study is defined as follows: where  0 () is the sliding manifold which usually appears as a linear combination of the states; that is,  0 () = ∑  =1     , where   > 0,  = 1, . . .,  − 1 with   = 1 are the designer parameters which are chosen according to the performance of the system.The second term on the right-hand side, that is, , is the integral term which always contains the nominal dynamics of the system.The design of  is presented in the following theorem.Theorem 3. Consider the transformed system with the state vector  = [ 1 ,  2 , . . .,   ]  .If the integral manifold is defined according to (33), the integral dynamics is chosen according to the following equation: and the discontinuous control component is selected as follows: where  is positive constant equal to another constant () −1 .
Then sliding mode can be enforced along the integral manifold asymptotically.
Proof.We consider the Lyapunov function of the form The time derivative of the above Lyapunov function along (33) becomes substituting the values of ż  from (22) where  = 1, 2, . . ., ; one has . . .
Note that the parameter update law which appears before (40) is the second component of the parameter update law in (28).The algebraic sum of the two parameter update laws gives birth to the final expression of the parameters update law.

Second Order Adaptive Integral Sliding Mode Control Design (SOAISM)
. This subsection is dedicated to the study of second order adaptive integral sliding mode control design.Since higher order integral sliding modes (see, e.g., [21,22]) are famous for their robustness from the very beginning with the use of an integral manifold, the real twisting and super twisting controller, reported in [5,23], are utilized here to develop the discontinuous control component of the control law mentioned in (27).The mathematical expressions of the universal super twisting controller reported in [5] are given by where where 0 <  ≤ 0.5 and The beauty of this controller is that it is of relative degree one and it does not need the derivatives of the sliding manifolds.
On the other hand, the real twisting controller needs the time derivative of the sliding manifold which will be recovered in this work via the uniform robust exact differentiator [24].Assume that the error between the available signal  1 (which is the integral manifold in our case defined in (33)) and the estimated signal σ1 is defined by σ = σ1 −  1 ; then the first derivative can be estimated via the following algorithm: where  1 and  2 are positive gains to be designed and The output of σ 2 , by integrating once, is σ2 which is the first estimated derivative of  1 which is estimated very accurately.
Since the real twisting controller, which appears as follows, will make use of the above estimated derivative: the use of  dis refers to the second component of (27) which will enforce sliding mode against intersection of the manifolds  = σ = 0 from the very beginning of the process.Consequently, the reaching phase will be eliminated and the chattering reduction will also occur across the switching manifold.
Note that the parameter update law in this case bears the first component of (28) because the higher order sliding manifold  = σ = 0 contributes nothing to parameter update law.In the subsequent illustrative examples, the switching manifold and chattering reduction claim is verified.The parameter update law in this case becomes  =  0 because  = 0 is justified from  = 0.

Illustrative Example
This section is dedicated to verify the aforementioned claims.Therefore, consider a second order nonlinear system reported in [16] which is in the semistrict feedback form: where  and  are considered unknown, but it is known that || ≤ 2 and || ≤ 3. We also assume that  Following the procedure of Section 2, the above system can be transformed into the new variables  1 and  2 as follows: Following the formulation of the continuous control law reported in (21), one gets The discontinuous control component can be obtained by considering an integral manifold of the form For analysis, a Lyapunov function of the following form is considered: with the discontinuous control component as follows: The expression of the integral compensator dynamics is given by where the parameters update law in case of adaptive first order integral sliding mode is given by The final parameter update law can then become and the final expression of the control law becomes Using the approach presented in the Theorem 3, one gets This expression shows that the sliding mode is enforced in finite time.However parameter convergence is asymptotic.Thus the overall system is asymptotically convergent.
The above example is simulated with the control law and parameter update laws defined above.The tracking of the   = 0.05 sin(2) is shown in Figure 1 which indicates that the time varying signals can be tracked very accurately in presence of uncertainties shown in Figure 7.The first order integral manifold displayed in Figure 3 ensures the sliding mode enforcement from the very beginning and, consequently, ensures robustness.The respective control input and parameter estimates are shown in Figures 4 and 2, respectively.Thus it is clear from these figures that the control input is appearing with reduced chattering.
The AHOISMC results of tracking are somewhat similar to that reported in Figure 1.Therefore, it is not displayed here.The clear advantage comes in the chattering reduction which is clear from Figures 3 and 6 comparison.That higher order sliding mode with adaptation provides almost chatter free control input.The sliding manifold convergence of this strategy is displayed in Figure 5.In addition, the phase trajectory of  = σ = 0 is given in Figure 6 which, once again, shows the establishment of higher order sliding modes from the very beginning.This is a clear advantage of this proposed technique over the existing adaptive sliding modes   From the aforementioned discussions of figures, it is verified that our new proposed techniques provide robustness from the very beginning via the integral manifold approach and the robustness against parametric variations is provided via adaptive backstepping.It is therefore claimed that the above development outshines the existing adaptive sliding mode techniques.
Comment.Proposed design technique is recursive; therefore it is costly in computation and complex due to complex mathematical derivations.Thus its computational cost is relatively higher than adaptive sliding mode.However beauty of this method is that its control action is and robust.

Conclusion
The backstepping technique which is famous for its robust nature against parameter variation is utilized in combination with integral higher order sliding mode control strategy in order to enhance the robustness of the system from the very beginning of the process with considerable attenuation in chattering.The approach is relying on an adaptively developed new system.The integral manifold is designed in the new state variables.In other words, the manifold is adaptive in nature because of the adaptively developed states variable.The control law is designed via higher order integral sliding mode with adaptation which is capable of providing robustness against uncertainties caused by external/internal disturbances.The stability analysis is elaborated in terms of a proposition and a theorem.A numerical simulation result has verified the design approach.

Figure 1 :
Figure 1: Output tracking of desired signal   .
1,  2 , . . .,   )  +   (, , ) , First Integral Sliding Mode.The control design for the systems which can be converted in new variables [ 1 ,  2 , . . .,   ]  is the study of this section.The authors have developed an integral sliding mode control with adaptive backstepping techniques.The control law appears as sum of a continuous and discontinuous component which may take the following mathematical form: Adaptive Backstepping Controller  0 .The development of the continuous control component is presented in the form of the following proposition.
Proposition 2. Consider that the nonlinear system with new variables [ 1 ,  2 , . . .,   ] exists, if a control law is chosen in the following form: