Networked Dynamcial Systems: Analysis and SynthesisView this Special Issue
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 Semi-Strict 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.
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–5]).
A systematic design procedure that resolves the issue of relative degree is the backstepping algorithm  and it is suitable for feedback linearisable systems [7–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  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.  have combined the fundamental adaptive backstepping algorithm  with dynamically input-output linearization technique . 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–14]). Furthermore, some interesting SMC based techniques were put forwarded by, for example, [15–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  were not needed. Recently, Khan et al.  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  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.
2.1. System Description
Consider a class of nonlinear systems which can be represented/transformed into the following SSFF : where is the state vector, is the scalar control input, is the output of interest, , are known and sufficiently smooth functions, and are known multivariable functions, is the vector of unknown parameters, and , , are the unknown nonlinear scalar functions including all the disturbances, whereas is an uncertain time-varying parameter.
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 , . 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  is presented for the tracking of a time varying signal . The step by step development is given as follows.
2.2.1. 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:
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 along (3) takes the form Define the parameter update law of the fist stage and the stabilizing control where , , and are positive constants. The last term in 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
Now, define a third new variable of the form . The selection of follows as and reduces (13) to the following form: where is a positive constant, , and Similarly, the recursive development in the new variables is in the sequel.
2.2.3. Step ()
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 .
The time derivative of the becomes In addition, the next variable is defined according to the following formulation: , 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 .
Finally, define a variable as follows: , where the virtual control input can be obtained by putting 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.
3. 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.
3.1. Control Design via First Integral Sliding Mode
The control design for the systems which can be converted in new variables 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: 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  which is quite robust in this development because it is designed via the adaptive backstepping technique. The discontinuous component 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.
3.1.1. Design of the Adaptive Backstepping Controller
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 exists, if a control law is chosen in the following form: 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 asymptotically (analogous to that of ), 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.
3.1.2. The Design of the Discontinuous Component of (27)
In  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 is the sliding manifold which usually appears as a linear combination of the states; that is, , where , with 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 . 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 . 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 ; one has
Now, inserting (34) in the above expression, one has
The terms in (39) will vanish by using parameter update law , where .
Therefore, the above expression reduces to the following form: We denote and , and, using (35), the expression in (40) takes the form or Let and , where .
Thus, This proves that the sliding mode is enforced in finite time. However, the parameter behaves an asymptotic convergence. Thus, the overall system is asymptotically convergent.
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.
3.2. 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  are given by where where 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 . Assume that the error between the available signal (which is the integral manifold in our case defined in (33)) and the estimated signal is defined by ; then the first derivative can be estimated via the following algorithm: where and are positive gains to be designed and The output of , by integrating once, is which is the first estimated derivative of 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 refers to the second component of (27) which will enforce sliding mode against intersection of the manifolds 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 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 because is justified from .
4. Illustrative Example
This section is dedicated to verify the aforementioned claims. Therefore, consider a second order nonlinear system reported in  which is in the semistrict feedback form: where and are considered unknown, but it is known that and . We also assume that Following the procedure of Section 2, the above system can be transformed into the new variables and 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 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 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 techniques. The parameters used in simulation results are , , , , , and , .
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 global and robust.
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.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
V. I. Utkin, J. Guldner, and J. Shi, Sliding Mode Control in Electromechanical Systems, Taylor and francsis, London, UK, 1999.
C. Edwards and S. Spurgeon, Sliding Mode Control: Theory and Applications, Taylor and Francis, 1998.
J. J. Slotine and W. Li, Applied Nonlinear Control, Prentice-Hall International, Taylor and Francis, 1991.
S. V. Emelyanov, S. K. Korovin, and L. V. Levantovsky, “Higher order sliding regimes in the binary control systems,” Soviet Physics, Doklady, vol. 31, no. 4, Article ID 291293, 1986.View at: Google Scholar
N. K. Mahdi, State and feedback linearization of single-input non-linear differential algebraic control systems [M.S. thesis], College of Science-University of Basrah, 2012.
H. Sira-Ramirez, M. Rios-Bolivar, and A. S. I. Zinober, “Adaptive input-output linearization for PWM regulation of DC-to-DC power converters,” in Proceedings of the 1995 American Control Conference. Part 1, pp. 81–85, June 1995.View at: Google Scholar
M. Krstic, I. Kanellakopoulos, and P. V. Kokotovic, Nonlinear and Adaptive Control Design, Wiley, 1995.
M. Rios-Bolivar and A. S. Zinober, “Dynamical adaptive backstepping control design via symbolic computation,” in Proceedings of the 3rd European Control Conference, Brussels, Belgium, 1997.View at: Google Scholar
A. J. Koshkouei and A. S. I. Zinober, “Adaptive sliding backstepping control of nonlinear semi-strict feedback form systems,” in Proceedings of the 7th IEEE Mediterranean Conference on Control and Automation, pp. 2376–2383, 1999.View at: Google Scholar
A. J. Koshkouei and A. S. I. Zinober, “Adaptive output tracking backstepping sliding mode control of nonlinear systems,” in Proceedings of the 3rd IFAC Symposium Robust Control Design, vol. 1, pp. 167–172, 2000.View at: Google Scholar
A. J. Koshkouei, K. Burnham, and A. S. I. Zinober, “Dynamic siding mde cntrol for nnlinear sstems,” IEE Proceedings of Control Theory and Applications, vol. 152, pp. 392–396, 2005.View at: Google Scholar