2. Literature Review
Dynamical reaching method is still the most favorite topic in different engineering applications. They mostly mention the equations of the dynamic system under private form. In the identical format, a kinematic model of a mobile robot can be obtained firstly by system state and input transformation [
6]. The saturated state feedback control guaranteed that the special chained form system tended to zero in a finite time. The asymptotic stability was proven by applying the Lyapunov theorem combined with the finite-time control theory. The results have shown that the effectiveness and validity are not only for the chained system, but also for traditional mobile vehicles. Based on the same switching topologies, a multiagent system with second-order separated dynamics addressed the finite-time consensus problem [
7]. A distributed protocol was designed to guarantee a finite-time solution for homogeneous agents without predetermined leaders in continuous time domain. The agents asymptotically converged to an average consensus during finite time even though the communication platform among them was varying. In [
8,
9], with switching topologies, the distributed fixed-time tracking control for high-order uncertain nonlinear multiagent systems was investigated. Under unknown parameters and mismatched disturbances, one follower was assumed to be in serious feedback form. Because of backstepping method and dynamic surface control, this protocol and appropriate adaptive laws were designed lacking information of upper bounds of disturbances.
The important note of the finite-time control technique is that the system state in dynamic features converges to the equilibrium points in a finite time and they remain there. Some benefits of this method are fast rise, short transient time, and high-accuracy performance. To extend their usages, many developers combine the finite-time control with fuzzy control. In [
10], the difficulties of adaptive finite-time control for a class of single-input and single-output system were addressed when the nonlinear functions were assumed to be unknown. To overcome these challenges, a backstepping-based adaptive fuzzy finite-time control scheme was proposed. The fuzzy technique was employed to recognize the nonlinear uncertainties. The stable system state was verified by Lyapunov stability theory in finite time. Therefore, most of closed signals are semiglobally practical finite-time stable whilst the tracking error tends to a small neighborhood of stable points. Inspired by prescribed performance control, a novel performance function named finite-time performance function was defined [
11]. The integration of neural networks and backstepping technology ensured that tracking error converged to an arbitrarily local region at any settling time. The signals in closed-loop systems are semiglobally practical finite-time stable. With nonstrict feedback structure, a class of nonlinear systems was confirmed to show superior performance.
The autonomous grounded robot (AGR) is a type of electromechanical device which is favored for operating in complex spaces. The AGR is equipped by automating operation, decision making, and adapting capabilities. In order to upgrade the tracking control performance of the AGR, the nonlinear dynamic techniques are adopted for linearization [
12], sliding mode control [
13], or smart decision [
14]. Recently, an improved linear extended state observer with error compensating term has been mentioned [
15]. In reality, the uncertain nonlinear kinematic model still exists. It is hard to compute exactly the nonlinear components to enhance the tracking control. Hence, the total uncertainties of the robot are estimated by switching gains to adapt to parameter variations and external disturbances. The tracking errors converge to the desired values by reason of Lyapunov stability theory. To avoid singularity and retain the benefits of sliding mode control, an adaptive sliding control is done [
16]. Dealing with external disturbances and inertia uncertainties, the system state is maintained on sliding surfaces without any constraints. Using Lyapunov theorem, a novel fast nonsingular sliding technique could be validated. In another target control, investigators in [
17,
18] have implemented an adaptive sliding mode control for offshore container cranes that bring containers from a massive ship to a smaller boat. After decoupling the actuated and unactuated joint variables, a sliding surface that integrated with the decoupled dynamics was designed. The vibration suppression is effective in the presence of ship motion, large swings, unknown parameters, and sudden disturbances.
4. Theoretical Works
The specified prototype of the wheeled vehicle is depicted in
Figure 3. It belongs to the Differential-Driving-Wheel (DDW) type which is actively driven by two side wheels and set free for two front and back ones. Consider that
,
,
, and
are the length between two wheels, diameter of wheel, differences between actual, desired heading angle and
, respectively. When the mobile vehicle moves on planar ground, there is no variation in
. Perfectly, the distribution of the robot’s weight is uniform and its central mass is located in the middle of the active driven wheels. We assume that the vector of system state
represents location and driving angle,
defines the kinematic information.
The relationship amongst linear velocity and angular velocity with full rank matrix
is expressed as
A nonholonomic mobile vehicle system having an n-dimensional configuration space C with generalized coordinates (
q1, …,
qn) can be described by:
where
: Lagrange multiplier constraint
: friction factors
: symmetric and positive-definite inertia matrix
: matrix associated with the constraints
: input transformation matrix
: disturbances torque
: driving torques of two wheels,
The Euler–Lagrange equations of motion are used to derive the dynamics of the mobile vehicle systems. The dynamical equations of the mobile vehicle system can be expressed as:
where
: inertia moment
: total weight of system
Assumption 1: The vehicle system has three-dimensional configuration space with generalized coordinate vector
, subject to nonslipping and pure rolling.
Assumption 2: is a full rank matrix satisfying
Assumption 3: It is assumed that the disturbance vector is unknown but bounded.
Remember that the constraint imposed on is to ensure that the level of uncertain factors is not so large that the stable state of system can be reversed.
Taking derivative of Equation (1), we have
Substituting Equation (6) into Equation (2)
Multiplied by
in both right and left side
From Assumption 2, it can be
The dynamic of mobile system becomes
with
As a result, the system state variables are rewritten as
The relationship among interacting forces can be performed
where
For physical meaning, denotes external noises or uncertain factors. implies the control signal for two wheels.
To address the tracking control troubles, the reference signal is firstly determined so that system errors converge to zero values in finite time.
,
. Then, the tracking error vector is defined as
In the real world, some constraints related to hardware platform or physical phenomenon still exist inside the system. With no loss of generality, we give the following assumptions.
Assumption 4: The existing positive gains which are tuned could be the upper bound and lower bound of linear velocity and angular velocity.
Although the external disturbances or uncertainties are unknown, its positive upper limitation is always remaining so that
Obviously, the entire design idea is to categorize into angular control problem and positioning control problem as following. Even though the Multi-Input-Multi-Output (MIMO) controller design can be employed in this situation, a separated solution for second-order subsystem and third-order subsystem assists to lessen a burden computation.
The establishment of second-order scheme is primarily proposed with some positive parameters
,
. (
Appendix A).
where
The unknown factor
can be limited as
are some positive values,
. Consider that we can write
,
, and
are the estimators of
, correspondingly. We obtain the related quantity among estimators as
Thus, the controller for second-order structure is investigated as
are constants and non-negative. The adaptive laws should be selected as
From here, it yields that
where
Theorem 1. With the dynamic expression (35),andare uniformly and ultimately bounded with the adaptive control law (33–34).
Proof: Select the Lyapunov candidate as
where
The first derivative of
where
,
,
,
,
,
. Using theorem in [
5], whole signals in mobile system (35) are uniformly and ultimately bounded. Consequently, it is proven that
is bounded, meaning
,
. □
Remark 1. To attain the stable state when time reaches any finite instant, the control law should be modified as:with.
Substituting Equation (38) into Equation (35) As the proposed control law (38) guarantees that the tracking angular error converges to the small region in finite time, we could obtain
and
. Later, the subsystem (21) can be simplified to
Now, we can elect the transitional variable as
and
. Then, a sliding mode surface is constructed as
Following, we consider the below subsystem with coordinate mapping.
with
With the above assumptions, the nonlinear factor
in system (44) can be bounded by
where
and
are positive values,
Lastly, a sliding mode control law is suggested as
where
are positively tuning gains. Consider that
,
.
are the estimators of
, respectively, thus the relationship among estimators is
The adaptive laws are designed as follows.
,
are positive gains. Substituting the sliding mode control law (48) into system (44) yields
where
Theorem 2. Considering the system in (57),, , are uniformly and ultimately bounded with the adaptive control law (50–51).
Proof: Select the Lyapunov function as
where
and
.
Computing the first derivative of
, we obtain
where
,
, with
,
,
,
,
,
. Using the theorem in [
5], whole signals in mobile system (52) are uniformly and ultimately bounded. Consequently, it is proven that
is bounded, meaning
,
. □
Remark 2. The control law is written under compact expressionwith. Substituting (55) into (52)
As the proposed control law (55) guarantees that the tracking angular velocity error converges to the small region in finite time, we could obtainand.
5. Results of Research
Generally, to certify the correctness and fitness of our approach, a series of numerical simulation tests, such as tracking circular reference path, linear trajectory under varying loads, and S-curve shape of working space, has been completed in this section. According to previous research, our model has been built with physical parameters as in
Table 1. In the computer’s environment, the design was modified so that each computational time did not have much cost and step sizes were all set to 0,1. We considered that the initial reference location of the AGR was
. In addition, the reference linear velocity and angular velocity were
. At the beginning, the AGR stayed at
.
To handle the numerical simulations, the parameters of the designed controllers were chosen as in
Table 2. The adaptive laws were expected to drive the system state to counteract the nonlinear actions. Also, the conditions of asymptotic stability could be achieved when these parameters were respected to guarantee. To visualize the adaptation, two circumstances were suggested such that the mass of the vehicle was 23 kg with respect to a nonloading case and the total mass of the vehicle was 73 kg corresponding to a full-load case. The tracking performance of circular trajectory and velocities are shown in
Figure 4 and
Figure 5, respectively. The circular reference path was assumed for the AGR to follow and there was no extreme variation in system state when loads changed. Although the speeds differed basically in the initial stage, it tended to the desired value in a short time.
Figure 6 indicates the following errors in
and
for tracking circular path. Regarding the effect of the proposed controller, it is clear that the tracking errors including
,
,
converged to a small region nearly equal to zero in finite time. In this case, convergence time was 1.5 s, which depended on the initial position and orientation of the mobile robot and the parameters.
In the effort to reveal the advantages of our approach, the tracking performance in a linear reference path under load variations is shown in
Figure 7. Additionally, the test information including linear velocity and circular velocity is noticed in
Figure 8. In a straight line trajectory, the autonomous robot seemed, with no trouble, to track the desired velocity in any situation. The output tracking resulted in errors under various loads as depicted in
Figure 9. In a short time, the adaptation of the proposed scheme impacted on system state to drive to reduce the differences in the two axes
and
. It is admitted that the output results were reasonable while the convergence time was still ensured.
More specifically, the real S-curve of the working map as in
Figure 10a is suggested for the AGR to confirm the robustness and correctness of the proposed algorithm. For continuous trajectories as in
Figure 10b, the robot must follow the alterations of the reference path and decide to drive the whole system immediately. In this test, the tracking performance in the circle path was not as good as the one in the line path. It can be explained that the AGR changed both linear and angular velocity as in
Figure 11 to adapt with the unexpected fluctuations in trajectory when it entered a corner.
In detail, the tracking errors in linear direction and angular movement for the S-curve reference path are demonstrated in
Figure 12. The errors still existed in tracking the desired map when the robot executed its task in the warehouse. Under the effective driving of the proposed controller, the existing errors tended to zero in finite time.
Competitive performance of tracking trajectory for the autonomous robot should be required. Typical robust nonlinear control (TRNC) [
23] was chosen since it is popular and proper for industrial applications. In the same context, both robust nonlinear controller and proposed controller must drive the robot model to trace the desired path as in
Figure 13. It can be seen clearly that the robust nonlinear scheme early tracked the reference line by tuning the appropriate gains. Our controller needed a finite moment to follow for the reason of the complicated process of the mathematical algorithm. Reversely, the proposed scheme reveals the strong effect to stabilize the autonomous system and reduce the tracking error significantly. With robust nonlinear control, larger uncertainties and small velocity/acceleration could cause the unstable system state. As a result, the tracking errors in this case were still enormous.
Thereafter, the comparative parameters between TRNC and proposed control are linear velocity and angular velocity individually as in
Figure 14. During the whole process, the variations in load affected the velocity performance of TRNC. Although it suffered the unknown uncertainties, the proposed control strategy for grounded robot carried out the driving command perfectly. In a short period, the velocity performance of our controller did not possess the changes suddenly and continuously. It is also important to note that the terms of tracking errors are always the crucial factors in order to discover the superior response. Obviously, in
Figure 15, the considerable oscillations in both linear and angular velocity are reminders that there exist several disadvantages of TRNC. The adaptive rule might enhance our controller to overcome the varying loads.
Table 3 describes the different results of the proposed scheme and TRNC in tracking errors. To provide all views of system performance, three kinds of values (maximum, minimum, and root mean square) are listed. From these results, it could be concluded that TRNC could not reach the stability along the overall trajectory while our approach did well.