Adaptive Integral Sliding Mode Stabilization of Nonholonomic Drift-Free Systems

Abbasi, Waseem; Rehman, Fazal ur

doi:https://doi.org/10.1155/2016/9617283

Mathematical Problems in Engineering

On this page

Abstract Introduction Conclusion References Copyright Related Articles

Research Article Corrigendum

!

A Corrigendum for this article has been published. To view the article details, please click the ‘Corrigendum’ tab above.

Research Article | Open Access

Volume 2016 | Article ID 9617283 | https://doi.org/10.1155/2016/9617283

Adaptive Integral Sliding Mode Stabilization of Nonholonomic Drift-Free Systems

Waseem Abbasi^1,2and Fazal ur Rehman¹

Academic Editor: Muhammad N. Akram

Received23 Jun 2016

Revised28 Sept 2016

Accepted19 Oct 2016

Published17 Nov 2016

Abstract

This article presents adaptive integral sliding mode control algorithm for the stabilization of nonholonomic drift-free systems. First the system is transformed, by using input transform, into a special structure containing a nominal part and some unknown terms which are computed adaptively. The transformed system is then stabilized using adaptive integral sliding mode control. The stabilizing controller for the transformed system is constructed that consists of the nominal control plus a compensator control. The compensator control and the adaptive laws are derived on the basis of Lyapunov stability theory. The proposed control algorithm is applied to three different nonholonomic drift-free systems: the unicycle model, the front wheel car model, and the mobile robot with trailer model. The controllability Lie algebra of the unicycle model contains Lie brackets of depth one, the model of a front wheel car contains Lie brackets of depths one and two, and the model of a mobile robot with trailer contains Lie brackets of depths one, two, and three. The effectiveness of the proposed control algorithm is verified through numerical simulations.

1. Introduction

Designing feedback control laws for the stabilization of mechanical control systems has been an interesting subject for researchers in the field of control theory. These systems have attracted intensive attention from the control community because of their wide practical applications in robotics, industry, and automobiles. Due to mechanical design and configuration, these systems are classified into two categories: holonomic and nonholonomic. In holonomic systems, the control input degrees are equal to total degrees of freedom, whereas, nonholonomic systems have less controllable degrees of freedom as compared to total degrees of freedom and have restricted mobility due to the presence of nonholonomic constraints. Roger Brockett showed that the nonholonomic systems cannot be stabilized by continuous static state feedback laws [1]. Later on Murray et al. showed that the dependence of the stabilizing control on time is essential [2].

To solve this problem, different control approaches have been presented in the literature. A detailed survey of stabilization of nonholonomic systems can be found in [3] and a survey of underactuated mechanical systems is given in [4]. In the literature, several control techniques have been developed for stabilization of nonholonomic systems. Some of these include discontinuous time-invariant techniques [5–8], time-varying techniques [9–12], adaptive techniques [13, 14], and sliding mode control technique [15–20]. Sliding mode control (SMC) is a special nonlinear control technique. The objective of the SMC technique is to force the system states to a certain surface, known as the sliding manifold. Once the surface is reached, the system is forced to remain on it thereafter.

The main disadvantage of the SMC is the requirement of discontinuous control law across the sliding manifold. In practical systems, this leads to an undesirable phenomenon called chattering. The closed loop dynamics of the system in SMC depends only on the design parameters of the switching sliding manifold. Sliding mode control also offers several advantages such as simplicity, fast response, and robustness to external disturbance and parameter variation.

Our objective in this article is to propose a scheme for the construction of stabilizing control for nonholonomic mechanical systems. The suggested sliding mode controller can stabilize systems, which do not fulfill Brockett’s necessary conditions, as the sliding mode control is inherently discontinuous. Since sliding mode control is insensitive towards model errors, parametric uncertainties, and other disturbances; therefore, it is extensively used. Sliding surface will show system’s behavior when the system reaches the sliding manifold [21–24].

The integral sliding mode control guarantees the robustness of the motion in the whole state space [25, 26] because of eliminating the reaching phase. Since the reaching phase is eliminated, therefore the robustness of the system can be guaranteed throughout the system response, starting from the initial time instance. The integral sliding mode control combines the nominal control that stabilizes the nominal system and a discontinuous control that rejects the uncertainty.

The control algorithm presented in this paper is general and applicable to a large class of nonholonomic control systems without drift. The proposed algorithm is applied to three different nonholonomic drift-free systems: the unicycle model, the front wheel car model, and the mobile robot with trailer model. The effectiveness of the proposed algorithm is verified through numerical simulations.

The rest of the article is organized as follows. Section 2 presents problem formulation. Section 3 presents the proposed control methodology in its general form. Section 4 presents application examples of the unicycle model, the front wheel car model, and the car with trailer model. Section 5 presents simulation results for the application examples, and finally Section 6 concludes the paper.

2. Problem Formulation

2.1. Mathematical Model of Nonholonomic System

The kinematic model for a drift-free nonholonomic system is given aswhere are linearly independent vector fields on , are locally bounded in , and piece-wise continuous control functions are defined on the interval . These systems are difficult to control as revealed by the fact that linearization of system (1) is uncontrollable. The most difficult issue from a theoretical viewpoint is the design of feedback laws that can stabilize these systems about an equilibrium position.

2.2. Problem Statement

Given a desired set point , construct a feedback strategy in presence of the control , so that the desired set point is an attractive set for (1), such that , as for any initial condition.

Generally, by appropriate translation of coordinate system, can be achieved.

2.3. Some Assumptions

For steering control problem, the systems described by (1) must satisfy the following conditions:(P1)The vector fields are linearly independent.(P2)System (1) satisfies the Lie algebra rank condition (LARC) for accessibility, where Lie algebra, , spans at each point .

3. The Proposed Control Algorithm

Step 1. Write system (1) in the following form:where are nonlinear functions.

Step 2. Using the input transformation, transform system (2) into the following form:where are nonlinear function and is the new input.
After some manipulation, system (3) can be rewritten as where

Step 3. Assume that are uncertainties in the system. Let be an estimate of , respectively. Apply the function approximation technique [27] to represent and their estimates as and .
is the function of basis vector and is a vector of weightings. Let be estimate of . Therefore, we can estimate by estimating the weight vector ; that is, . Define ; then system (4) can be written as

Step 4. Choose the nominal system for (5) as

Step 5. Define the sliding surface for nominal system (6) as where are chosen in such a way that becomes Hurwitz polynomial. Then ChooseWe have . Therefore, nominal system (6) is asymptotically stable.

Step 6. Define the sliding surface for system (5) aswhere is an integral term. To avoid the reaching phase, choose such that . Choose , where is the nominal input and is compensator term. Then where .

Step 7. Choose a Lyapunov function asDesign the adaptive laws for and compute such that

Theorem 1. Choose a Lyapunov function asThe following adaptive laws for & and the value of will guarantee the time derivative of in (13) to be strictly negative (i.e., )where and

Proof. Since by usingwhere and , we haveChoosingwe haveUsing the chosen Lyapunov function we can writewhere and
From this we conclude that & , . Since , therefore

In the following section we illustrate the above algorithm by applying it to three different nonholonomic drift-free systems.

4. Application Examples

4.1. The Unicycle Model

A unicycle model or a two-wheel car model, shown in Figure 1, is basically a three-dimensional nonholonomic system having two inputs and three states with depth-one Lie bracket. A two-wheel car kinematic model is defined as [12]Introducing a new set of state variables the kinematics model (22) can be written asorwhereThe kinematics model (22) satisfies the following assumptions: (P1)The vector fields and are linearly independent.(P2)System (24) satisfies the Lie algebra rank condition (LARC) for accessibility, where the Lie algebra, , spans at each point .To verify property (P2), it is sufficient to calculate the following Lie bracket of and :Then the LARC condition, namely, , is satisfied.

4.1.1. Application of the Proposed Algorithm to the Unicycle Model

Step 1. The unicycle model given (24) can be rewritten as

Step 2. Choose and , where, ; then system (27) becomesAfter some manipulation the above-mentioned system can be written aswhere .

Step 3. Assume as an uncertainty and let be an estimate of . The estimate of by function approximating technique [27] is . Then and system (29) can be written as

Step 4. Choose the nominal system for (30) as

Step 5. Define the sliding surface for nominal system (31) asThen By choosingwe haveTherefore, nominal system (31) is asymptotically stable.

Step 6. Define the sliding surface for system (30) asChoose .
Then

Step 7. The adaptive laws for and the value of are as follows:where and .
Givewhere .
Choosingwe haveUsing the chosen Lyapunov function we can writewhere and
From this we conclude that . Since , therefore
Simulation results are shown in Figure 4.

4.2. The Front Wheel Car Model

A front wheel car model, shown in Figure 2, is basically a four-dimensional nonholonomic system having two inputs and four states with depth-two Lie bracket. A front wheel car kinematic model [6] can be defined asAssuming that and introducing a new set of state variables the kinematics model (43) can be written asorwhere .

The kinematics model (45) satisfies the following assumptions:(P1)The vector fields are linearly independent.(P2)System (45) satisfies the Lie algebra rank condition (LARC) for accessibility, where the Lie algebra, , spans at each point .To verify property (P2), it is sufficient to calculate the following Lie brackets of :which satisfy the LARC condition: , .

4.2.1. Application of the Proposed Algorithm to the Front Wheel Car Model

Step 1. The front wheel car model as given in (45) can be rewritten as

Step 2. Choose and , where , and then system (47) becomeswhich can be rewritten aswhere

Step 3. Treat as uncertainties and let be an estimate of , respectively. Using function approximation technique [27], we can approximate as , . Then and .
Then system (49) can be written as

Step 4. Choose the nominal system for (51) as

Step 5. Define the sliding surface for nominal system (52) asThenBy choosingwe haveTherefore, nominal system (52) is asymptotically stable.

Step 6. Define the sliding surface for system (51) asChoose
Then

Step 7. The following adaptive laws for and the value of are chosen aswhere
Givewhere Choosingwe haveUsing the chosen Lyapunov function we can writewhere and
From this we conclude that . Since , therefore
Simulation results are shown in Figure 5.

4.3. The Mobile Robot with Trailer Model

A car with trailer model, shown in Figure 3, is basically a five-dimensional nonholonomic system having two inputs and five states with depth-one, depth-two, and depth-three Lie brackets. A car with trailer kinematic model [8] can be defined asBy assuming , system (65) can be written in the following standard form:where

(a)

(b)

(a)

(b)

It can be verified that system (66) satisfies the following assumptions which are necessary for steering problem.(P1)The vectors are linearly independent and have no singular point for all , where is some manifold in .(P2)System (66) satisfies the Lie algebraic rank condition (LARC) for controllability, where the Lie algebra, , spans at each point : that is, To verify (P1) and (P2), calculate the linearly independent Lie brackets.If the motion of system is restricted to manifold,Then the Lie algebra rank condition, namely, , is satisfied, hence guaranteeing that system (66) satisfies conditions (P1) and (P2) on the surface

4.3.1. Application of the Proposed Algorithm to the Mobile Robot with Trailer Model

Step 1. System (65) can be written as

Step 2. Choose and .
And, . Then system (70) can be written as

Step 3. Assume as uncertainties and let be an estimate of , respectively. Approximate and let , respectively. Then system (71) can be written as

Step 4. Choose the nominal system for (72) as

Step 5. Define the Hurwitz sliding surface for nominal system (73) asThenBy choosingwe haveTherefore, nominal system (73) is asymptotically stable.

Step 6. Define the sliding surface for system (72) asAnd choose .
Then

Step 7. The following adaptive laws for and the value of with , result inwhereChoosingwe haveUsing the chosen Lyapunov function we can writewhere and
From this we conclude that . Since , therefore Simulation results are shown in Figures 4–6 for different initial conditions.

(a)

(b)

5. Simulation Results

Figures 4(a) and 4(b) show simulation results of the unicycle model and represent that the states and the control effort converge to zero and have settling time of 4 sec and 0.8 sec. Figures 5(a) and 5(b) show simulation results of the front wheel car model and represent that the states and the control effort converge to zero and have settling time of 6 sec and 1 sec. Figures 6(a) and 6(b) show simulation results for the car with trailer model and represent that the states and control effort converge to zero and have settling time of 10 sec and 0.4 sec. Simulation results show the effectiveness of the proposed scheme.

6. Conclusion

An adaptive integral sliding mode based control algorithm for the stabilization of nonholonomic drift-free control systems was presented. The objective was to steer the system from any arbitrary initial state to any desired state. The effectiveness of the method was tested on three different nonholonomic drift-free systems: the unicycle model, the front wheel car model, and the mobile robot with trailer model. The aim was to steer the systems to a desired value which was assumed to be zero. It is evident from the simulation results that the objective has been achieved. This method is general and can be employed to steer a variety of mechanical systems with nonholonomic constraints.

Competing Interests

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

References

R. W. Brockett, “Asymptotic stability and feedback stabilization,” in Differential Geometric Control Theory, R. S. Millman and H. J. Sussmann, Eds., vol. 27, pp. 2961–2963, Birkhäauser, Boston, Mass, USA, 1983.
View at: Google Scholar | MathSciNet
R. M. Murray, G. Walsh, and S. S. Sastry, “Stabilization and tracking for nonholonomic control systems using time-varying state feedback,” in Proceedings of the IFAC Symposium on Nonlinear Control Systems Design 1992, pp. 109–114, June 1992.
View at: Google Scholar
A. Astolfi, “Discontinuous control of nonholonomic systems,” Systems and Control Letters, vol. 27, no. 1, pp. 37–45, 1996.
View at: Publisher Site | Google Scholar
Y. Liu and H. Yu, “A survey of underactuated mechanical systems,” IET Control Theory and Applications, vol. 7, no. 7, pp. 921–935, 2013.
View at: Publisher Site | Google Scholar
S. K. Shah and H. G. Tanner, “Control of stochastic unicycle-type robots,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '15), pp. 389–394, May 2015.
View at: Publisher Site | Google Scholar
R. M. Murray and S. S. Sastry, “Nonholonomic motion planning: steering using sinusoids,” IEEE Transactions on Automatic Control, vol. 38, no. 5, pp. 700–716, 1993.
View at: Publisher Site | Google Scholar | MathSciNet
S. S. Ge, Z. Wang, and T. H. Lee, “Adaptive stabilization of uncertain nonholonomic systems by state and output feedback,” Automatica, vol. 39, no. 8, pp. 1451–1460, 2003.
View at: Publisher Site | Google Scholar | MathSciNet
W. Pasillas-Lepine and W. Respondek, “Conversion of the kinematics of the n-trailer system into Kumpera-Ruiz normal form and motion planning through the singular locus,” in Proceedings of the 38th IEEE Conference on Decision and Control (CDC '99), vol. 3, pp. 2914–2919, Phoenix, Ariz, USA, December 1999.
View at: Google Scholar
V. I. Utkin, Sliding Modes in Control and Optimization, Springer Science & Business Media, Berlin, Germany, 2013.
View at: Publisher Site | MathSciNet
Z. Xi, G. Feng, Z. P. Jiang, and D. Cheng, “Output feedback exponential stabilization of uncertain chained systems,” Journal of the Franklin Institute, vol. 344, no. 1, pp. 36–57, 2007.
View at: Publisher Site | Google Scholar | MathSciNet
A. Donaire, J. G. Romero, T. Perez, and R. Ortega, “Smooth stabilisation of nonholonomic robots subject to disturbances,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '15), pp. 4385–4390, IEEE, Seattle, Wash, USA, May 2015.
View at: Publisher Site | Google Scholar
C. Gruber and M. Hofbaur, “Remarks on the classification of wheeled mobile robots,” Mechanical Sciences, vol. 7, no. 1, pp. 93–105, 2016.
View at: Publisher Site | Google Scholar
J. Zhang and Y. Liu, “Adaptive stabilization of a class of high-order uncertain nonholonomic systems with unknown control coefficients,” International Journal of Adaptive Control and Signal Processing, vol. 27, no. 5, pp. 368–385, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
L.-Y. Sun, S. Tong, and Y. Liu, “Adaptive backstepping sliding mode $H_{\infty}$ control of static var compensator,” IEEE Transactions on Control Systems Technology, vol. 19, no. 5, pp. 1178–1185, 2011.
View at: Publisher Site | Google Scholar
D. Liberzon, Switching in Systems and Control, Springer Science & Business Media, 2012.
S. Mobayen, “Finite-time tracking control of chained-form nonholonomic systems with external disturbances based on recursive terminal sliding mode method,” Nonlinear Dynamics, vol. 80, no. 1-2, pp. 669–683, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
J.-M. Yang and J.-H. Kim, “Sliding mode control for trajectory tracking of nonholonomic wheeled mobile robots,” IEEE Transactions on Robotics and Automation, vol. 15, no. 3, pp. 578–587, 1999.
View at: Publisher Site | Google Scholar
S. Ding, J. Wang, and W. X. Zheng, “Second-order sliding mode control for nonlinear uncertain systems bounded by positive functions,” IEEE Transactions on Industrial Electronics, vol. 62, no. 9, pp. 5899–5909, 2015.
View at: Publisher Site | Google Scholar
Y. Wu, F. Gao, and Z. Zhang, “Saturated finite-time stabilization of uncertain nonholonomic systems in feedforward-like form and its application,” Nonlinear Dynamics, vol. 84, no. 3, pp. 1609–1622, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
S. Ding, A. Levant, and S. Li, “Simple homogeneous sliding-mode controller,” Automatica, vol. 67, pp. 22–32, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
H. Chen, B. Li, B. Zhang, and L. Zhang, “Global finite-time partial stabilization for a class of nonholonomic mobile robots subject to input saturation,” International Journal of Advanced Robotic Systems, vol. 12, no. 11, article 159, 2015.
View at: Publisher Site | Google Scholar
Y. Wu, F. Gao, and Z. Liu, “Finite-time state-feedback stabilisation of non-holonomic systems with low-order non-linearities,” IET Control Theory & Applications, vol. 9, no. 10, pp. 1553–1560, 2015.
View at: Publisher Site | Google Scholar
F. Gao and F. Yuan, “Adaptive finite-time stabilization for a class of uncertain high order nonholonomic systems,” ISA Transactions, vol. 54, pp. 75–82, 2015.
View at: Publisher Site | Google Scholar
F. Gao, Y. Wu, and Z. Zhang, “Finite-time stabilization of uncertain nonholonomic systems in feedforward-like form by output feedback,” ISA Transactions, vol. 59, pp. 125–132, 2015.
View at: Publisher Site | Google Scholar
M. Defoort, T. Floquet, A. Kokosy, and W. Perruquetti, “Integral sliding mode control for trajectory tracking of a unicycle type mobile robot,” Integrated Computer-Aided Engineering, vol. 13, no. 3, pp. 277–288, 2006.
View at: Google Scholar
Z. Tang, J. Zhou, X. Bian, and H. Jia, “Simulation of optimal integral sliding mode controller for the depth control of AUV,” in Proceedings of the IEEE International Conference on Information and Automation (ICIA '10), pp. 2379–2383, IEEE, Harbin, China, June 2010.
View at: Publisher Site | Google Scholar
A. C. Huang, Y. F. Chen, and C. Y. Kai, Adaptive Control of Underactuated Mechanical Systems, World Scientific, 2015.

Copyright

Copyright © 2016 Waseem Abbasi and Fazal ur Rehman. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

979

Downloads

767

Citations