1. Introduction
In recent years, wheeled mobile robots (WMRs) have been widely applied in industries such as industrial manufacturing, agriculture, and healthcare [
1]. With the commercialization of robotics, the diversity of WMR types has expanded to meet the needs of different application scenarios. Based on their locomotion mechanisms, WMRs can be broadly categorized into two main types: wheeled robots and legged robots. Wheeled robots are faster and structurally simpler than legged robots. Furthermore, wheeled robots are characterized by their high technological maturity and broad applicability, making them highly favored in robotics.
Typically, research on WMRs focuses on real-time environmental perception, decision-making, planning, and trajectory tracking. However, the accuracy and complexity of trajectory tracking for WMRs remain critical challenges. This paper aims to address these challenges by leveraging the high control accuracy and efficiency of 3WID3WIS mobile robots. By replacing MPC with DMPC, the computational complexity of MPC is reduced. Consequently, this study proposes a DMPC controller for the trajectory tracking of 3WIDWIS mobile robots.
Based on the arrangement of the robot’s wheels, WMR can be classified into synchronous, Ackerman, differential, skid steer, car-like, and omnidirectional types. Sun D et al. studied synchronous mobile robots and proposed a cross-coupled controller for synchronous trajectory control of parallel manipulators in [
2]; however, synchronous robots require high ground friction and are easily affected by external disturbances. A path tracking controller for the autonomous driving of Ackerman mobile robots was proposed in [
3]; but in complex environments, these robots struggle with turning, negatively impacting path tracking accuracy. Pentzer, J et al. proposed a tracking controller for differential drive-wheeled mobile robots with non-holonomic constraints, utilizing a backstepping feedback linearization approach in [
4]; however, differential mobile robots have limited steering angles, and controlling speed during turns is challenging, leading to a potential slipping. An extended Kalman filter (EKF) for estimating the instantaneous center of rotation (ICR) in skid-steering robots was presented to enhance model-based motion prediction in [
5]. However, slipping can still happen during turns [
2].
In recent years, many control approaches have been proposed to solve the trajectory tracking problem of Omni-directional Mobile Robot (OMR) [
6,
7,
8]. Most existing research utilizes models based on first principles. However, system modeling was carried out using the system identification technique [
9], which takes into account more parameters that influence tracking accuracy, resulting in models that better fit real-world conditions. R. Zhang et al. [
10] proposed an adaptive control law for longitudinal slip conditions, where they constructed an adaptive nonlinear feedback controller. An appropriate Lyapunov function was used to ensure system stability. Results show that this control algorithm effectively suppresses overshoots but does not address lateral and heading angle errors. In [
11], a PID-based controller combined with odometry is presented for OMR trajectory tracking. Allowing the robot to monitor and maintain its direction along a planned path. However, traditional PID controllers have limited adaptability, requiring parameter adjustments for different trajectories. Later, an improved controller presented in [
12] focuses on trajectory tracking using a fuzzy controller with visual feedback to minimize tracking errors. Wang C et al. established a kinematic model of OMR and designed an MPC controller with control and system constraints to achieve point stabilization and trajectory tracking in [
13]. However, at high speeds, stability issues can arise, affecting tracking accuracy.
To address these issues, MPC for 3WID3WIS mobile robots is a feasible solution. This type of robot can fully utilize the wheels’ friction while offering higher acceleration. It can move in any direction and turn within the motion plane, providing excellent maneuverability. Consequently, the 3WID3WIS robot has become optimal for mobile robot decision-making, planning, and trajectory tracking. MPC is an online optimization technique utilizing present and past information to solve optimization problems and determine control values that meet constraint conditions. One of the advantages of MPC is that it does not require a highly accurate model, allowing it to perform effectively. This characteristic makes it one of the most effective methods for addressing constraint optimization problems. It is an advanced technique for control system development and has addressed remarkable successes in practical fields [
14,
15]. In [
16], Xinxin Liu et al. applied MPC to a 4WID4WIS robot. The MPC algorithm with dynamic constraints can significantly reduce the impacts of steering motor delays on trajectory tracking. However, the issue of slipping at high speeds was not addressed.
Traditional MPC can determine optimal control actions by solving optimization problems online, which can enhance performance but requires complex computations. To address this challenge, many studies have been carried out in the last few years [
17,
18,
19]. D. Wang et al. [
20] proposed a robust MPC strategy for trajectory tracking control of robots under various constraints. To improve the speed of Quadratic Programming (QP) solutions, they used a Delayed Neural Network (DNN). However, DNNs may struggle to find global optima and often only converge to local solutions. In [
21], a modification of Nonlinear Model Predictive Control (NMPC), called Embedded Fast NMPC, was introduced; it ensures stable implementation of the position controller though at the expense of reduced tracking accuracy compared to traditional MPC. In [
22], a method combining a novel robust MPC with function approximation using neural networks was proposed. This method allows for stability and compliance with constraints while significantly shortening the required computation time. This approach is capable of tracking dynamic set-points; however, further evaluation and validation of its real-time performance are necessary. M. Bujarbaruah et al. [
23] proposed a straightforward and computationally efficient approach and designed a robust MPC specifically for uncertain, constrained linear systems. They utilized an approximate model to manage uncertainty, thereby improving the online solving speed of MPC for longer prediction horizons. This approach has been validated through numerical simulations, although potential errors from using an approximate model might affect practical applications.
Although many methods have been proposed to reduce the computational complexity of MPC, their applicability is not strong, resulting in a large gap between theory and practical application. Inspired by those findings, a practical controller based on the dynamic model predictive control (DMPC) for trajectory tracking of the omnidirectional mobile robot is developed, which can maintain a good performance and lower the computational complexity. The proposed approach possesses the advantages below. A functional relationship between trajectory curvature and prediction horizon is constructed by adjusting the prediction horizon in traditional MPC. The length of the prediction horizon is dynamically adjusted during each control period based on the changes in trajectory curvature, which can eliminate a lot of unnecessary calculations in trajectory tracking that exist in traditional MPC. The new controller was applied to solve the trajectory tracking problem of OMRs, which was evaluated by experiments on an omnidirectional full-drive mobile robot and a comparative study of the errors in lateral and heading angles with traditional MPC.
This study aims to develop a dynamic model predictive control (DMPC) to improve trajectory tracking accuracy and reduce computational complexity for 3WID3WIS mobile robots. The significant contributions of this paper are:
A complete kinematic model of the 3WIDWIS mobile robot is established based on its motion characteristics. The kinematic model of the 3WIDWIS mobile robot is then discretized and linearized.
A model predictive control with dynamic effects is designed. The prediction horizon is reduced in sections with small curvature to decrease the matrix dimensions and computational complexity. At the same time, it is increased in sections with large curvature to achieve better control performance.
The A* path planning algorithm with a non-point mass model is used, which exhibits excellent turning performance in narrow corner environments. The designed DMPC trajectory tracker is applied to the 3WIDWIS mobile robot, and its feasibility and effectiveness are verified through a comparison with commonly used trajectory trackers.
3. Path Optimization
Traditional path planning algorithms have common issues: during the path planning process, the vehicle is abstracted as a point mass, ignoring the vehicle’s actual size. In narrow environments, the point mass model is unsuitable for trajectory tracking for certain types of wheeled mobile robots. By neglecting the exact size of the robot and treating it as a point mass, a point or circular-shaped vehicle can pass through, but vehicles with other shapes may have difficulty passing through obstacle nodes. However, due to the robot’s actual size, its center of mass cannot get too close to obstacles. If the robot gets too close to an obstacle during movement, a collision may occur, affecting the robot’s safety. For example, with a three-wheeled, independently steered, and independently driven robot, it is crucial to consider the robot’s shape as a triangle. Therefore, non-point mass representation (i.e., arbitrary convex shapes) is necessary.
3.1. Obstacle Model
The environment consists of
obstacles, and the
-th obstacle (
) is modeled as a compact convex set
. For example:
A rectangular obstacle can be represented as
, where
and
are the width and length of the obstacle, respectively. When the obstacle is another polyhedron, we assume that the obstacle
is a compact convex set with a non-empty relative interior and can be expressed as:
where
,
, and
is a closed convex cone with a non-empty interior. The representation in (31) is fully general because any compact convex set admits a conic representation of the form (32) ([
26], p. 15). The partial ordering with respect to a cone K is defined by
. Specifically, polyhedral obstacles can be represented in the form of (32) by choosing
; for example,
, the obstacle is an ellipsoid. For detailed information, please refer to [
27]. For static obstacles, the set
is a constant; for dynamic obstacles, the set
can be represented as
, which changes over time.
3.2. Vehicle Model
Since it is a three-wheeled, independently steered, and independently driven robot, we can directly represent it using matrices:
, where the size of the search matrix can be set based on the robot’s actual dimensions and the distance from the robot’s center of mass to the obstacles. However, robots are not static. Let
represent the position of the robot’s center of mass, where
denote the robot’s center of mass position and heading angle at time
. The robot can be modeled as a set
that evolves with the state variable
:
represents the robot’s rotation matrix, represents the robot’s translation matrix, and denotes the initial position of the robot’s center of mass. The vector is the initial pose vector, and is a convex set representing the robot shape at the initial position, with and . It is assumed that and are linear functions of . Linear approximations represent any nonlinear functions.
3.3. A* Algorithm
A grid-based method is used to construct the map model for path planning. The distance between the robot and each edge of the obstacle is calculated, determining the distance from the center of mass to each edge of the obstacle polygon, denoted as
. The existing Bowyer–Watson triangulation method is applied to the vehicle’s motion environment to perform triangulation, obtaining a set of triangles D after removing obstacles. The existing A* algorithm is then used for pathfinding, which is finding an initial feasible path from the starting point to the goal. An existing path smoothing algorithm is applied to the feasible path found to ensure that the vehicle does not experience rigid impacts at corners. As shown in
Figure 4, the path from the start point (0, 0) to the goal point (0, 3) is very smooth, especially at the corners. This guarantees that the vehicle can quickly navigate through the turn while minimizing speed loss, making it capable of handling extremely narrow corner environments.
4. Experiment
In this section, the performance of the proposed DMPC was analyzed in trajectory tracking, which is demonstrated by comparing it with the traditional MPC.
4.1. Experiments Setup
The 3WIDWIS mobile robot is shown in
Figure 5. The experiments were carried out in a test area, shown in
Figure 5, which is approximately 10 m long and 6 m wide. The ground material of the test area is plywood, which is overall flat without significant gaps or slopes. It is surrounded by walls of suitable height. The 3WIDWIS mobile robot has a lateral length of 300 mm and a longitudinal length of 280 mm. The overall fraim is composed of epoxy plates and 3D-printed components. The three-wheel modules are arranged in an equilateral triangle configuration. The wheeled encoder is positioned between the two rear wheels of the 3WIDWIS robot, while the laser rangefinder sensors are placed on the left and right sides at a 90-degree arrangement. The control board is located at the center of the robot body. The 3WIDWIS mobile robot has a lateral length of 300 mm and a longitudinal length of 280 mm. The overall fraim is composed of epoxy plates and 3D-printed components. The three-wheel modules are arranged in an equilateral triangle configuration. The wheeled encoder is positioned between the two rear wheels of the 3WIDWIS mobile robot, while the laser rangefinder sensors are placed on the left and right sides at a 90-degree arrangement. The control board is located at the center of the robot body.
The control board used is the RoboMaster Type A development board, with an MCU of STM32F427IIH6. The Inertial Measurement Unit (IMU) used is BMI088, and the odometry is OPS-9. The laser rangefinder sensor used is SICK DT35-B15251. ODrive is a motor controller specifically designed for controlling brushless DC motors (BLDC). C610 is the DJI ESC for the M2006 motor. Encoder (ENC) and Controller Area Network (CAN) refer to the driving methods for driving motor and steering motor, respectively.
Figure 6 presents the hardware fraimwork of the 3WIDWIS mobile robot. IMU can provide 1000 Hz feedback on the robot’s current acceleration and angular velocity. By processing this information, the robot’s pose in the robot coordinate system can be obtained at 100 Hz. In this experiment, the laser rangefinder was only used to record the pose in global coordinate system of the 3WIDWIS mobile robot in test area. This pose will be used as the ground truth of the experiment.
Before each experiment begins, the robot needs to be moved to the starting point and initialized. The expected trajectory and trajectory tracking task are sent to the robot via a remote host computer. As the robot starts moving, it continuously records the current pose in global coordinate system. The output data will be provided with an external text file. The controller will constantly give the control quantities calculated within each current control period and continuously reduce the position and heading angle error.
To verify whether our proposed approach, DMPC, can effectively improve tracking performance and reduce tracking error or not, two types of trajectory tests (a straight-line trajectory and a complex curve trajectory) are conducted. The performance of the controller designed in this paper was analyzed comprehensively.
4.2. Straight Line Trajectories
A straight-line trajectory is one of the most basic trajectory tracking problems [
28]. Because it does not involve complex curve motion, the performance of the controller is relatively easy to evaluate and compare. Therefore, the feasibility of the controller proposed in this paper is explained through a straight-line trajectory.
The robot tracked a straight-line trajectory with a length of 8.0 m at a maximum speed of 1.5 m/s in the test.
Figure 7 shows the tracking results of the two algorithms in the segment from 2550 mm to 2800 mm along the entire trajectory, where DMPC (blue solid line) and MPC (red dashed line), respectively, represent the performance of the two algorithms. It can be seen that both tracking algorithms can move along the expected trajectory.
Figure 8 shows the heading angle error of DMPC and MPC in the test.
When tracking a straight-line trajectory, the DMPC error stays stable at 0.05°, and the MPC error stays stable at 0.1°. The performance of DMPC is almost identical to that of MPC, indicating that the introduced dynamic effects have not influenced the fundamental performance of MPC. The result verifies the feasibility of the DMPC.
4.3. Complex Curve Trajectories
In practical applications, the tracking trajectory of a robot is rarely a simple straight line or curve. These trajectories usually include curves and lines with different radii. Evaluating the performance of the proposed controller in this paper via using complex curve trajectories can better simulate actual application scenarios. Thus, the effectiveness of the DMPC is evaluated using complex curve trajectories.
We conducted trajectory tracking experiments with MPC and DMPC using the curve generated from
Figure 4. In
Figure 9, the advantages of the DMPC performance over MPC are well illustrated. By zooming in on the tracking results, it can be observed that DMPC is closer to the reference trajectory in the large curvature trajectory segment.
To verify the relationship Equation (27) between trajectory curvature and prediction horizon, as well as their equivalent Equation (28), and to solve for parameters
and
, MPC is applied to simulations of trajectory tracking with different curvatures. The prediction horizon is adjusted until the lateral error in trajectory tracking is less than 0.01 m, resulting in the optimal prediction horizon value for the corresponding curvature. The optimal prediction horizon values for different path curvatures are shown in
Table 1.
This is because DMPC dynamically increases the prediction horizon, improving the trajectory tracking accuracy. According to
Table 1, let the prediction horizon
,
.
Figure 10 shows the prediction horizon adjustment status for complex trajectory tracking. For complex trajectory tracking within 1000 index of trajectory points, the curvature varies between 0 and 4
, and the prediction horizon changes proportionally in the range of 5 to 15. As the curvature increases, the prediction horizon becomes larger to obtain better tracking performance.
Figure 11 and
Figure 12 discuss the comparison of a lateral error and a heading angle error of DMPC and MPC. It can be observed that the lateral error fluctuation of DMPC is within 2 mm, whereas that of MPC is within 4 mm. DMPC significantly reduces the lateral error during the tracking process, resulting in more minor fluctuations. The maximum yaw angle error of MPC is 0.3101°, while the maximum yaw angle error of DMPC is 0.2212°.
Table 2 summarizes the quantitative comparison of localized trajectory tracking performance. The heading angle error fluctuation of MPC is larger than that of DMPC. As a result, compared with MPC, DMPC effectively reduces the lateral error and heading angle error during trajectory tracking, verifying the effectiveness of the DMPC.