Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 201306, China.
Correspondence to: Associate Prof. Bo Li, Institute of Logistics Science and Engineering, Shanghai Maritime University, Shanghai 201306, China. E-mail: libo@shmtu.edu.cn
Received: 1 May 2023 | First Decision: 29 May 2023 | Revised: 13 Jun 2023 | Accepted: 20 Jun 2023 | Published: 29 Jun 2023
Academic Editor: Mouquan Shen | Copy Editor: Yanbing Bai | Production Editor: Yanbing Bai
Abstract
This paper presents a fixed-time integral sliding mode control scheme for a nonholonomic wheeled mobile robot (WMR). To achieve the trajectory tracking mission, the dynamic model of a WMR is first transformed into a second-order attitude subsystem and a third-order position subsystem. Two novel continuous fixed-time disturbance observers are proposed to estimate the external disturbances of the two subsystems, respectively. Then, trajectory tracking controllers are designed for two subsystems by utilizing the reconstructed information obtained from the disturbance observers. Additionally, an auxiliary variable that incorporates the Gaussian error function is introduced to address the chattering problem of the control system. Finally, the proposed control scheme is validated by a wheeled mobile robotic experimental platform.
Keywords
Wheeled mobile robot, trajectory tracking, disturbance observer, fixed-time stability, integral sliding mode control
During the past decades, the wheeled mobile robot (WMR) has attracted extensive attention as it is widely used in various fields. The research on the WMR mainly includes robot positioning, motion planning, and motion control, among which the motion control is a fundamental problem. There are three main parts of the motion control, including point stabilization, path planning, and trajectory tracking [1]. The trajectory tracking control is a significant field in motion control, which has been studied extensively in recent years [2]. In practical engineering applications, a WMR is a highly coupled system with nonholonomic constraints and external disturbances. Hence, it is significant to design an anti-interference trajectory tracking control scheme with superior performance. At present, the design of the tracking controller of a WMR is mainly based on two types: one is to consider only the kinematic model [3], while the other is to design on the basis of kinematic and dynamic models [4]. The kinematic model-based control only considers the linear velocity and angular velocity as the control inputs. Compared with the kinematic model, the introduction of dynamic models can solve the external disturbance problem and the crucial nonholonomic constraint problem [5].
In [6], the system with nonhonolomic constraints was transformed into an extended chain system by coordinate transformation. On this basis, some scholars have designed the trajectory tracking control schemes by transforming the kinematic model of a WMR into a chain structure [7]. In practice, there is a problem called "excellent velocity tracking" [8] when designing a trajectory tracking controller only based on a kinematic system. Thus, it is more reasonable to take the force or torque as inputs of the control system instead of the speed. Meanwhile, external disturbances can be further taken into account. Nevertheless, the design process of the controller that simultaneously incorporates both the kinematic and dynamic models is complicated. The work of Zhai and Song [9] transformed the dynamic error system into second-order and third-order subsystems. And an intermediate variable related to the position error is introduced to tackle the problem of constructing a control method for a third-order system using the terminal sliding mode control. However, the aforementioned control schemes can only achieve finite time stability. It is noteworthy that the upper limit of the convergence time is unknown and dependent on the initial states of the control system. To overcome this problem, fixed-time stable control methods are proposed [10]. In reference [11], a new integral sliding mode-based control (ISMC) scheme was developed and applied on the dynamic model of the WMR to enable the WMR to track the desired trajectory in a fixed time. However, there exists the singularity problem, making the WMR unable to track the arbitrary trajectories and limiting its practical application when the desired angular velocity is zero.
In the practical motion environment, there are external disturbances and uncertainties that can deteriorate the performance of the control system. To cope with the problem, an observer-based control scheme is an efficient method with disturbance-rejection performance [12]. The traditional observers can only achieve asymptotic stability of the observation errors, whereas the finite time disturbance observers were designed to improve the performance of the observer [13]. On this basis, the fault-tolerant attitude control problem of spacecraft under external disturbances was solved by the introduction of a continuous finite-time observer [14], which also restrains the chattering phenomenon. Zhang et al. put forward a novel continuous practical fixed-time disturbance observer and applied it on a WMR, which can not only avoid the chattering problem but also improve the ability to attenuate disturbance [15]. Different from the work of Zhang, the Gaussian error function, which is sometimes called probability integral [16], can also be used to develop a control scheme that improves the chattering problem [17].
Motivated by the above discussions, an integral sliding mode-based fixed-time trajectory tracking control scheme is proposed by combining the kinematic model with the dynamic model of a WMR in this paper. (1) A continuous fixed-time disturbance observer using the Gaussian error function is proposed, which avoids the chattering problem and estimates the external disturbance of a WMR accurately. (2) An auxiliary variable incorporating variable exponential coefficients is introduced to simplify the design process of the controller for the third-order subsystem and avoid the singularity problem simultaneously. (3) The reliability and effectiveness of the designed control scheme are verified by a comparative experiment conducted on a wheeled mobile experimental platform.
If there exists a positive definite Lyapunov function , which satisfies , where , and are all positive constants. are real numbers. Then the origin of the system (2) is fixed-time stable, and the settling time is bounded by with .
Lemma 2[16] The Gaussian error function is defined as follows:
where is the natural constant. If , then the Gaussian error function will satisfy .
Lemma 3[19] For and , one gets the following chain of inequalities: .
Lemma 4[20] The following inequality will hold for any and for any , where . Then, can be obtained.
2.2. Dynamic model of WMR
A nonholonomic WMR system is shown in Figure 1. It consists of two balance wheels and two driving wheels, and the line between the balance wheels is perpendicular to the line between the driving wheels. The distance between the driving wheel and the barycentric coordinate is , and is the radius of the driving wheel. The position and attitude control is achieved by independent direct current motors, which provide the appropriate torques to the driving wheels. One assumes that the center of mass of the WMR coincides with the geometric center. Then, the dynamic model of the WMR is expressed in the form of [21]
Figure 1. Physical model of a WMR. WMR: wheeled mobile robot.
with , and . and present the control torques. and are the linear and angular velocities of the WMR, respectively. denotes the mass, and the moment of inertia. is the actual coordinates. is the orientation of the vehicle counterclockwise from the positive direction of the axis. denotes the motion of the WMR. and represent the external disturbances.
The reference trajectory is defined as
where , , and denote the position and attitude states of the virtual WMR, respectively.
Assumption 1: Suppose , , , and are satisfied with , , , And , where , , , and are positive constants.
Assumption 2: Suppose the , , and their derivatives exist with bounds, which is given by , where and are all positive constants.
Then, the tracking errors of the WMR are expressed as
Furthermore, the error dynamics system could be transformed in the form of
To simplify the whole design process, the system (6) can be divided into two subsystems, which contain a second-order subsystem:
and a third-order subsystem:
3. FIXED-TIME TRAJECTORY CONTROL
In this section, a fixed-time sliding mode control scheme is developed to realize the fast and high-accuracy trajectory tracking control of a WMR under external disturbances. Firstly, a fixed-time disturbance observer and a new fixed-time sliding mode surface are proposed for the second-order subsystem (7). On this basis, a fixed-time controller is constructed to make the error variables, and , converge into a small region around the origin. Then, a fixed-time controller is developed for the third-order subsystem (8), which guarantees that the system state variables, and , are all uniformly ultimately bounded, and the tracking errors, and , can converge into a small region around the origin in a fixed time.
3.1. Tracking control laws design for the second-order subsystem
Fixed-time disturbance observer
Firstly, for the attitude error subsystem (7), define an auxiliary variable as
where satisfies
The parameters and are positive constants with . Let variable exponential coefficient with and satisfying and .
Theorem 1For the second-order subsystem (7), if the disturbance observer is constructed as
then it can estimate accurately in a fixed time. That is to say, the observation error can converge into a small region within a fixed time.
Proof of Theorem 1 Select a Lyapunov function as , differentiating it, one has
where is a positive constant.
Case 1 When and , one has and . Then (12) can be rewritten as
As and , then all the solutions of will reach the set within a fixed time .
Case 2 In the converse case , one has
As and , it can be obtained that . Considering the Lemma Lemma3, then (14) is converted into the following form
with , and . When , and , (15) can be simplified as . Then, the solution of will reach a small set , which is defined as within a settling time .
In view of the above two cases, the auxiliary variable will converge into a small set within settling time .
Then, the disturbance observation error
The disturbance is bounded according to Assumption 1. Thus, the disturbance observer (11) can estimate accurately, and the observation error can remain in a small set
after a fixed time, where .
3.1.2. Fixed-time sliding mode controller
For the subsystem (7), define . A fixed-time integral sliding mode surface is introduced as follows [22]
with , , and . For any , , the notation is defined as . Based on the sliding mode surface as (17), the fixed-time controller is designed as follows:
where are positive constants, satisfies . In addition, are all positive odd integers with .
Theorem 2For the second-order system (7), if the fixed-time controller is constructed in the form of (18), then the real sliding mode variable will converge into a small set within a fixed time.
Proof of Theorem 2 Choose a Lyapunov function as and refer to Lemma 2 to Lemma 4, the time derivative of is
where with being a positive constant. By using Lemma Lemma4, the second-order system (7) is fixed-time stable. The sliding mode surface will converge into a small region around the origin in a fixed time , which is determined by . Then, one can obtain that variables and converge to zero along the real sliding mode in a fixed time[23].
3.2. Tracking control laws design for the third-order subsystem
After the angular error converges to zero according to Theorem 2, one can obtain that equals zero, and equals 1. The system (8) can be simplified as
3.2.1. Fixed-time disturbance observer
Introduce the following auxiliary variable for the simplified third-order subsystem (20)
where satisfies
where , and and are integers satisfying the constraints: , . The parameters and are positive constants with and .
Theorem 3For the simplified third-order subsystem (20), a fixed-time disturbance observer is developed in the form of
then it can estimate in a fixed time, and the observation error can converge into a small region around the origin within a fixed time .
Proof of Theorem 3 Similar to the proof of Theorem 1.
3.2.2. Fixed-time sliding mode controller
For the third-order subsystem (20), introduce the following auxiliary variable:
where , , and are positive constants, . Let , with and being integers and , .
Select a fixed-time sliding mode surface as:
where and are positive constants, and , are positive odd integers.
Theorem 4For the third-order subsystem (20), if the fixed-time sliding mode surface is chosen as (25) and the fixed-time controller is designed as (26),
then the sliding mode surface is fixed-time stable, which will converge into a small region of origin within settling time .
, in which are positive constants, and are positive odd integers satisfying , .
Proof of Theorem 4 The proof process will be conducted in 3 steps: (1) After the angular error converges to zero according to Theorem 2, and the auxiliary variable can converge into a small region around the origin within a fixed time; (2) The error variables can converge into a small region around the origin within a fixed time; (3) It should be proved that and do not escape to infinity before the angular error converges to zero.
Step 1 Select a positive Lyapunov function , differentiating it and substituting (24)-(26) yields to
where , with being a positive constant. Using the Lemma Lemma4, the third-order subsystem (14) is fixed-time stable, and will converge into a small set around zero in the fixed time , which is determined by
Then, will hold in a small region of origin, which guarantees a real sliding mode surface [23]. Therefore, the auxiliary variable and its derivative will also converge into the origin along the sliding mode surface [24].
Step 2 According to (25), when the auxiliary , one has
Choose a Lyapunov function as , the time derivative of is
where is a positive constant. The rest of the proof is similar to the proof of Theorem 2. There exists a constant such that the variable will reach and keep in a small region around the origin within a fixed time :
Then, it can be obtained that the is a uniformly continuous form (29). Employ Barbalat Lemma [25] to prove as , then is bounded after the variable converges. Hence, there exists a small region around the origin that can converge into .
Step 3 Before the angular error converges to zero, , such that subsystem (13) cannot be simplified as (19). It should be proved that system state variables and are bounded before the angular error converges to zero.
Consider the following bounded function:
The time derivative of is
Let , then one has the following inequalities: . Furthermore, there exist positive constants , which satisfy , , , , , , , . According to Theorem 3, the state variable will converge into the origin within a fixed time , then one has , , . Further can be obtained. Then, (33) can be simplified as
where and satisfy the following constraints:
On the contrary, if , there exists a positive constant , which satisfies . One has for the state variable . Further, before the angular error converges to zero, one can obtain
Remark 1 The auxiliary variable in (24) can reduce the order of the third-order subsystem, which simplifies the process of the controller design. In addition, the controller developed in this paper can guarantee that the system state variables converge in a fixed time and the chattering problem is solved by using the error function erf(). Furthermore, utilizing the variable exponent coefficient in (24) avoids the common singularity problem.
4. EXPERIMENT RESULTS
To verify the effectiveness of the proposed control scheme, the trajectory tracking experiment is implemented on a Quanser QBot 2e mobile robot platform composed of a QBot 2e mobile robot, an OptiTrack system with 12 infrared cameras, and a computer. The experimental platform is presented in Figure 2. The whole closed-loop experiment structure is as follows: The simulation diagram is compiled on the host computer equipped with MATLAB/Simulink to transform the simulation into an executable file. And the control scheme is written to the Gumstix computer embedded in the QBot 2e through wireless communication protocol. The real-time position information of the QBot 2e is obtained by the OptiTrack positioning system. Then the host computer calculates the information and transmits them to the embedded computer of a WMR for the input of real-time calculation of executable files. So as to complete the trajectory experiment of the mobile robot.
Figure 2. The Quanser QBot 2e Mobile Robot Platform.
In the experiment, the physical parameters of the QBot 2e are chosen as follows: , . The desired reference trajectory is set as . The initial values of the reference and practical trajectories are , , respectively. The main relevant parameters of the proposed control scheme are as follows: , , , , . Choose the parameters , , for the sliding mode surface in (17) and in (25), respectively.
It is obvious that the WMR trajectory tracking mission can be achieved by the designed control method as plotted in the red track in Figure 3. The time response curves of the sliding mode surfaces, and , are shown in Figure 4, which converge very quickly. To illustrate the excellence of the proposed control method, a comparative experiment on the trajectory tracking of WMRs is conducted between this work and reference [26]. The control inputs of the designed control scheme and reference are shown in Figure 5, which are nonsingular and continuous. Figure 6 illustrates the tracking errors in this experiment, which have a big fluctuation due to the influence of external disturbances. In the experiment, the external disturbance is from the experimental environment, such as uneven ground. The observed disturbance values are shown in Figure 7, which indicates the effectiveness of the proposed disturbance observer in this work. From the experimental results, it can be concluded that the designed control scheme has the robustness against the external disturbance and high tracking accuracy.
Figure 7. Disturbance estimation and in the experiment.
5. DISCUSSION
In this paper, a universal control scheme for fixed-time trajectory tracking based on ISMC is put forward. The dynamic model of the WMR has been transformed into two error subsystems. Then utilizing the fixed-time technology and ISMC, a new fixed-time disturbance observer has been proposed and applied on the two error subsystems. Furthermore, an observer-based tracking control method has been proposed to achieve a trajectory tracking mission for the WMR, and guarantee the tracking error converges within a fixed time. Finally, the proposed control approach has been verified by a mobile robotic platform, and the experimental results show fine control performances. Our future work will focus on how to realize the formation tracking control of multi-wheeled mobile robots in both theory and experiment.
DECLARATIONS
Acknowledgments
The authors would like to thank the editors and reviewers for their valuable comments dedicated to this article.
Authors' contributions
Made significant contributions in writing, methodology, review: Li B
Executed writing-original draft, experiment verification: Ma L
Methodology validation: Wang C
Data result analysis: Ge C
Supervision and modification: Liu H
Availability of data and materials
Not applicable.
Financial support and sponsorship
This work was supported in part by the National Natural Science Foundation of China (62073212), Natural Science Foundation of Shanghai (23ZR1426600), and Innovation Fund of Chinese Universities Industry-University-Research (2021ZYB05004).
Conflicts of interest
All authors declared that there are no conflicts of interest.
1. Panahandeh P, Alipour K, Tarvirdizadeh B, Hadi A. A kinematic Lyapunov-based controller to posture stabilization of wheeled mobile robots. Mech Syst Signal Pr 2019;134:1-19.
2. Huang H, Li Y, Bai Q. An improved a star algorithm for wheeled robots path planning with jump points search and pruning method. Complex Eng Syst 2022;2:11.
3. Kanayama Y, Kimura Y, Miyazaki F, Noguchi T. A stable tracking control method for an autonomous mobile robot. In: Proceedings., IEEE International Conference on Robotics and Automation; 1990;1. pp. 384-89.
4. Fierro R, Lewis F. Control of a nonholonomic mobile robot: backstepping kinematics into dynamics. In: Proceedings of 1995 34th IEEE Conference on Decision and Control; 1995;4. pp. 3805-10.
5. Bloch A. Nonholonomic mechanics and control. Interdisciplinary Applied Mathematics New York, NY: Springer; 2003.
6. Murray R, Sastry S. Nonholonomic motion planning: steering using sinusoids. IEEE Trans Automat Contr 1993;38:700-16.
7. Tayebi A, Tadjine M, Rachid A. Invariant manifold approach for the stabilization of nonholonomic chained systems: Application to a mobile robot. Nonlinear Dynam 2001;24:167-81.
8. Wang X, Zhang G, Neri F, et al. Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr Comput-Aid E 2016;23:15-30.
9. Zhai J, Song Z. Adaptive sliding mode trajectory tracking control for wheeled mobile robots. Int J Control 2019;92:2255-62.
10. Ou M, Sun H, Zhang Z, Li L. Fixed-time trajectory tracking control for multiple nonholonomic mobile robots. T I Meas Control 2021;43:1596-608.
11. Li B, Zhang H, Xiao B, Wang C, Yang Y. Fixed-time integral sliding mode control of a high-order nonlinear system. Nonlinear Dynam 2022;107:909-20.
12. Liu Q, Cai Z, Chen J, Jiang B. Observer-based integral sliding mode control of nonlinear systems with application to single-link flexible joint robotics. Complex Eng Syst 2021;1:8.
13. Zhang Z, Leibold M, Wollherr D. Integral sliding-mode observer-based disturbance estimation for euler–lagrangian systems. IEEE Trans Contr Syst T 2020;28:2377-89.
14. Li B, Hu Q, Yang Y. Continuous finite-time extended state observer based fault tolerant control for attitude stabilization. Aerosp Sci Technol 2019;84:204-13.
15. Zhang H, Li B, Xiao B, Yang Y, Ling J. Nonsingular recursive-structure sliding mode control for high-order nonlinear systems and an application in a wheeled mobile robot. ISA T 2022;130:553-64.
16. Chevillard S. The functions erf and erfc computed with arbitrary precision and explicit error bounds. Inform Comput 2012;216:72-95.
17. Eltayeb A, Rahmat M, Basri MAM, Mahmoud MS. An improved design of integral sliding mode controller for chattering attenuation and trajectory tracking of the quadrotor UAV. Arab J Sci Eng 2020;45:6949-61.
18. Ba D, Li Y, Tong S. Fixed-time adaptive neural tracking control for a class of uncertain nonstrict nonlinear systems. Neurocomputing 2019;363:273-80.
19. Bagul Y, Chesneau C. Sigmoid functions for the smooth approximation to the absolute value function. MJPAA 2021;7:12-19.
20. Polycarpou M, Ioannou P. A robust adaptive nonlinear control design. Automatica 1996;32:423-27.
21. Jiang Z, Nijmeijer H. Tracking control of mobile robots: A case study in backstepping. Automatica 1997;33:1393-99.
22. Wang C, Wen G, Peng Z, Zhang X. Integral sliding-mode fixed-time consensus tracking for second-order non-linear and time delay multi-agent systems. J Franklin I 2019;356:3692-710.
23. Plestan F, Shtessel Y, Brégeault V, Poznyak A. New methodologies for adaptive sliding mode control. Int J Control 2010;83:1907-19.
24. Song T, Fang L, Wang H. Model‐free finite‐time terminal sliding mode control with a novel adaptive sliding mode observer of uncertain robot systems. Asian J of Control 2022;24:1437-51.
25. Li B, Gong W, Yang Y, Xiao B, Ran D. Appointed fixed time observer-based sliding mode control for a quadrotor UAV under external disturbances. IEEE Trans Aero Elec Sys 2022;58:290-303.
26. Tian B, Liu L, Lu H, et al. Multivariable finite time attitude control for quadrotor UAV: Theory and experimentation. IEEE Trans Ind Electron 2018;65:2567-77.
Cite This Article
Research Article
Open Access
Fixed-time integral sliding mode tracking control of a wheeled mobile robot
Ling Ma, ... Bo Li
How to Cite
Ma, L.; Wang, C.; Ge, C.; Liu, H.; Li, B. Fixed-time integral sliding mode tracking control of a wheeled mobile robot. Complex Eng. Syst.2023, 3, 10. http://dx.doi.org/10.20517/ces.2023.14
Download Citation
If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click on download.
Export Citation File:
Type of Import
Tips on Downloading Citation
This feature enables you to download the bibliographic information (also called citation data, header data, or metadata) for the articles on our site.
Citation Manager File Format
Use the radio buttons to choose how to format the bibliographic data you're harvesting. Several citation manager formats are available, including EndNote and BibTex.
Type of Import
If you have citation management software installed on your computer your Web browser should be able to import metadata directly into your reference database.
Direct Import: When the Direct Import option is selected (the default state), a dialogue box will give you the option to Save or Open the downloaded citation data. Choosing Open will either launch your citation manager or give you a choice of applications with which to use the metadata. The Save option saves the file locally for later use.
Indirect Import: When the Indirect Import option is selected, the metadata is displayed and may be copied and pasted as needed.
Comments must be written in English. Spam, offensive content, impersonation, and private information will not be permitted. If any
comment is reported and identified as inappropriate content by OAE staff, the comment will be removed without notice. If you have any
queries or need any help, please contact us at
support@oaepublish.com.
Comments
Comments must be written in English. Spam, offensive content, impersonation, and private information will not be permitted. If any comment is reported and identified as inappropriate content by OAE staff, the comment will be removed without notice. If you have any queries or need any help, please contact us at support@oaepublish.com.