Abstract

Path planning is one of the hotspots in the research of automotive engineering. Aiming at the issue of robot path planning with the goal of finding a collision-free optimal motion path in an environment with barriers, this study proposes an adaptive parallel arithmetic optimization algorithm (APAOA) with a novel parallel communication strategy. Comparisons with other popular algorithms on 18 benchmark functions are committed. Experimental results show that the proposed algorithm performs better in terms of solution accuracy and convergence speed, and the proposed strategy can prevent the algorithm from falling into a local optimal solution. Finally, we apply APAOA to solve the problem of robot path planning.

1. Introduction

In recent years, automotive engineering has been an emerging area. Among it, the automotive robots have been widely employed in industry and social life and played an important role, especially during the pandemic of COVID-19. The existing literatures have explored issues on robot path planning. For example, Sarabu et al. [1] proposed the method of using dual robotic arms to collaboratively pick apples in an unstructured orchard environment. Sehestedt et al. [2] utilized a path planning algorithm based on probabilistic routes to sample Hidden Markov models through robots learning human motion patterns. Tiseni et al. [3]conducted an evaluation about measuring the energy dose delivered by a robot-based moving source of Ultraviolet type-C irradiation (UV-C) radiation at different locations in an indoor environment with genetic algorithm (GA).

In summary, robot path planning has become one of the key problems in the domain of robot automatic control. At present, there are three kinds of popular algorithms employed in path planning:(1)Based on searching: Dijkstra algorithm [4] and A algorithm [5](2)Based on probability: rapidly exploring Random Trees (RRT) [6] and rapidly exploring Random Trees (RRT) [7](3)Based on metaheuristic algorithm: particle swarm optimization (PSO) [8]

In this study, a metaheuristic algorithm is employed to optimize the robot path planning. Compared with other algorithms, a metaheuristic algorithm can achieve a stable convergence and avoid trapping into a local optimal solution, especially when facing a complex environment.

In the past few decades, metaheuristic algorithms have been regarded as an effective way to address optimization issues in various fields and have been widely used to improve the performance of real-world problems. Some popular metaheuristic algorithms are ant colony optimization algorithm (ACO) [9], ant lion optimizer (ALO) [10], moth-flame optimization algorithm (MFO) [11], multiverse optimizer (MVO) [12], sine cosine algorithm (SCA) [13], whale optimization algorithm (WOA) [14], dragonfly algorithm (DA) [15], cat swarm optimization (CSO) [16], and so on. These algorithms have been successfully applied to different fields of medical industry [17], image processing [18], transportation [19], and the like. However, according to the No Free Lunch Theorem (NFL) [20], there is no metaheuristic algorithm suitable for handling all types of optimization problems. Therefore, researchers have continuously proposed new metaheuristic algorithms in recent years and have continuously improved them to deal with increasing complexities in the real world.

Currently, there are existing researches using metaheuristic algorithm for path planning. Zhang et al. [21] proposed a new improved artificial fish swarm algorithm (IAFSA) to process the mobile robot path planning problem in a real environment. Qin et al. [22] proposed an improved PSO with mutation operator to get the optimal path. Li et al. [23] proposed an improved GA, which integrated a fuzzy logic control algorithm to self-adaptively adjust the probabilities of crossover and mutation in GA. Wang et al. [24] presented a new weighted adjacency matrix to determine the walking direction, and the best ant and the worst ant are introduced for the adjustment of pheromone to facilitate the searching process. The proposed algorithm guarantees that robots are able to find an optimal path. Zhang et al. [25] proposed hybrid method with simulated annealing algorithm and ant colony algorithm to apply to robot path planning. Huang and Tsai [26] combined GA with PSO in evolving new solutions by applying crossover and mutation operators on solutions constructed by particles, which avoids the premature convergence and time complexity. Aiming at the problems of slow response speed, long planning path, unsafe factors, and a large number of turns in the traditional path planning algorithm, Dao et al. [27] proposed a novel multiobjective method for optimal mobile robot path planning based on WOA.

Usually, the original algorithm is improved and then applied to path planning. The types of algorithm improvement are roughly divided into three categories: improvements on parameters, hybrid algorithm, and multiobjective algorithms.

The arithmetic optimization algorithm (AOA) [28] is proposed in 2021, with the characteristics of simplicity, fewer control parameters, and stronger output performance. It has been proved that AOA performs well on welded beam design problem, tension/compression spring design problem, pressure vessel design problem, and the like. However, there is still seldom research on the improvement of AOA and its application on robot path planning. The algorithm is relatively new; therefore, there are relatively few improvements on it [29, 30], which deserves further improvement in certain areas. Parallel strategy is an effective algorithm optimization method, which can communicate and exchange information among groups. Some parallel algorithms are parallel SCA [31], parallel GA [32], parallel MVO [18], parallel WOA [33], parallel SCO [34], and parallel GWO [35]. However, there is still a lack of improvements on parallel strategies for AOA. Although AOA has superiority in some aspects over some other algorithms, there are still defects of converging slowly in complex environments or high-dimensional problems and is prone to fall into local optimal. Aiming at the algorithm defects, we propose an adaptive parallel AOA. Adaptive parameters can balance the capabilities of exploration and exploitation. Parallel strategy refers to strengthening the communication among groups and reducing the defects of the original AOA, such as premature convergence, search stagnation, and easy to fall into the local optimal search space. The main contributions of this article are summarized as follows:(1)We propose a novel parameter adaptive equation to control the AOA sensitive parameter α, which can balance the capabilities of exploration and exploitation(2)We propose a novel parallel communication strategy and apply it to AOA, which can strengthen the communication and information exchange among groups and avoid falling into the local optimal solution(3)The improved AOA is applied to an optimization problem of 2D robot path planning

The rest of the article is organized as follows. Section 2 describes the principle of the original AOA and robot path planning. Section 3 introduces the improved AOA about self-adaption and parallel strategy. The performance of the proposed algorithm is tested, and the results of different algorithms are shown and analysed in Section 4. Section 5 introduces the application of the proposed algorithm in robot path planning. Finally, conclusions are delivered in Section 6.

2.1. Original AOA

The AOA is inspired by the application of arithmetic operators in solving arithmetic problems [28], using simple arithmetic operators, such as addition, subtraction, multiplication, and division as mathematical optimization, to search for the optimal solution that meets the standards from a set of candidate solutions. Like MVO [12], AOA is also divided into the phrases of exploration and exploitation. Exploration refers to finding a range of promising optimal solutions in a broad search space, and exploitation refers to quickly finding the optimal solution within the range of promising solutions and converging.

Before running, the search phase of AOA should be confirmed. Therefore, a coefficient calculated by equation (1) is employed for choosing the phrase of exploration or exploitation, which is Math Optimizer Accelerated (MOA) function. Another coefficient defined by equation (2) is Math Optimizer Probability (MOP), which is employed for controlling the range of candidate solutions in the phase of exploring or exploiting.where and are values at th iteration, and and represent the current iteration and the maximum iteration, respectively. and represent, respectively, the maximum and minimum values of the accelerated function, and is a sensitive parameter and represents the accuracy of exploitation in the whole iterative process.

In the stage of exploration, the division (D) and the multiplication (M) have high dispersion that probably leads to divergence. However, the communication between operators is increased to support the search in the exploration phase after several iterations. The position updates in the exploring phase are defined aswhere represents the jth position of the ith solution at current iteration, is the best-obtained solution in the jth position so far, is a small integer number, and represent the upper value and lower bound value, respectively, in the jth position, is a control parameter to adjust search process and is set equal to 0.499, and is a random number between 0 and 1.

In the stage of exploiting, the subtraction (S) or addition (A) has low dispersion, which helps them approach the optimal solution. The position updating equations are proposed for the exploitation parts aswhere is a random number between 0 and 1 and other parameters are set as in equation (3).

2.2. Robot Path Planning

Autonomous navigation is one of the most important issues of intelligence. Robot path planning is designed for the target of avoiding barriers in the procedure of navigation. The navigation consists of four essential requirements known as perception, localization, cognition, and planning. Motion control in path planning is the most important part [36]. Normally, there are many feasible paths for a robot to reach the target from the starting position. However, in actual situations, the best feasible path is selected based on the shortest distance, path smoothness, minimum energy consumption, and the like [37] The path planning strategy of mobile robots can be categorised as classical methods and heuristic methods. However, classical methods do not always find the optimal path and are often locked in some local optimum. In addition, in the presence of multiple barriers or dynamic environments, some of them may not provide suitable solutions. To avoid the limitations of classical methods, heuristic methods is employed [38].

In this article, the improved AOA is applied to the robot path planning based on the position of static barriers. The mathematical model of robot path planning will be introduced in Section 5.1.

3. Improved AOA

3.1. Adaptive AOA

There are two hyperparameters in AOA: α and μ, where μ controls the absolute step size of the algorithm position update. Under a given objective function, it is a fixed value and will not change with the number of iterations. However, α is used to calculate MOP, and MOP is used to control the magnitude of the change of AOA in the iterative process. Experiments have shown that different α values will affect MOP and thus the performance of the algorithm [28]. Through experimental comparison, the results show that when α < 1, MOP is a convex function, which is conducive to the full exploration of the algorithm in the early stage, rather than quickly converging to a local area. Based on these findings, we propose an adaptive change of α. A small value of α may cause the algorithm falling into a local optimum, and a large value of α may lead to insufficient search and even cannot find the optimal solution, which will affect the algorithm’s efficiency. Therefore, it is useful to introduce an adaptively changed α to improve the balance between the exploration phase and exploitation phase’s search capabilities of the algorithm. In this article, we change the size of α according to the fitness value and proposes a formula such as equations (5) and (6).where is the value of at the tth iteration, and are the minimum value and the maximum value of according to the experience value, respectively; are the fitness value, the minimum fitness value, the maximum fitness value, and the average fitness value, at the current iteration, respectively; and is a very small positive integer. The value of is related to the value of , which is inversely proportional, and the values of and are proportional to . It is better for the values of and be closer to 1. Therefore, we replace with and in equations (5) and (6).

3.2. Parallel Strategy

In order to improve computing speed and solve large and complex problems, parallel strategy is widely used, such as Data Mining [39] and Deep Learning [40]. In the field of intelligent algorithms, GA is one of the earliest algorithms employed parallel strategy [32]. Experiments have proved that adding a parallel strategy can implement multipoint parallel search in space, which increases the communication between populations. Due to the use of multiple CPUs, the search speed is accelerated. Therefore, the algorithm with the parallel strategy performs better than the original algorithm [3135]. With the increment of data, a single communication strategy is usually not adequate. Therefore, Roddick [41] expanded the single communication strategy into three communication strategies and applied them to PSO. Experiments proved that the three communication strategies successfully increased the efficiency of PSO. Then, many researchers improve the parallel method based on Chang’s theory. For example, Yang et al. [31] and Zhu et al. [19] proposed a parallel strategy of multiple groups and multiple strategies. Each population will update according to its own communication strategy. When a certain number of iterations are reached, the populations communicate with each other and exchange information. Their final update methods are the same, which use the optimal value of one group instead of the worst value of another group. Nasrabadi et al. [35] adopted the parallel strategy of multiple groups of the same strategy. At the beginning, each group used the same strategy to evolve independently. The populations reach a certain number of iterations and began to exchange information.

In this article, we add randomness to the communication strategy and use different strategies in local search and global search, which can help groups fully communicate, as shown in Figure 1. Specifically, for the local: two groups are arbitrarily selected, and one group of particles with the best fitness is substituted for the other group of particles with the worst fitness every T iteration. For the global, the global best particle replaces the worst particle in the group every 2T iterations. The purpose of using these two strategies is to enhance the randomness of the algorithm, strengthen the communication between populations, and avoid premature convergence of the algorithm, thereby improving the robustness of the algorithm.

Following to the above introduction, Figure 2 shows the model of adaptive parallel AOA (APAOA) search process. It can be seen that the optimal solution of the algorithm is first updated by the multiplication and division operator in the exploration stage, then updated by the addition and subtraction operator in the exploitation stage and finally find the global optimal solution. The pseudocode of the APAOA algorithm is shown in Algorithm 1.

Initialize the AOA parameters ;
Initialize the candidate solutions randomly (candidate solutions: i = 1, …, N);
while (t < T)
 Calculate the fitness function for the given solutions;
 Find the best solution so far;
for = 1: groups
  if rand <0.5
   Perform parallel communication strategy 1 every T iteration;
  else
   Perform parallel communication strategy 2 every 2T iteration;
  end if
  Update the value using equations (5) and (6);
  Update the MOA value using equation (1);
  Update the MOP value using equation (2);
  for i = 1: N
   for j = 1: dimensions
    Generate random values between [0, 1];
    if r1 < MOA//enter in exploration phase
     Update the solutions by equation (3);
    else//enter in exploiting phase
     Update the solutions by equation (4);
    end if
   end for
  end for
 end for
t = t + 1;
end while
Return the best solution.

4. Experimental Analysis of the Algorithm

In this section, the experimental research will be committed. Section 4.1 introduces 18 benchmark functions provided by [42], including unimodal functions, multimodal function, and fixed-dimensional multimodal functions. Section 4.2 tests APAOA and original AOA in 30 dimensions (30D). Section 4.3 compares APAOA with other popular intelligent algorithms on 100 dimensions (100D).

The algorithms are compared using mean, standard deviation, and Friedman ranking (Rank) test. These are popular evaluation indexes in algorithm comparisons.

4.1. Benchmark Functions

In this article, 18 benchmark functions are employed as one of the main methods to test the performance of intelligent algorithms. Benchmark functions are shown in Tables 13.

4.2. Comparison with the Original AOA and APAOA with 30D

To verify the performance of the APAOA algorithm, it is compared with the original AOA on unimodal functions, multimodal functions, and fixed-dimensional multimodal function. AOA is proved to perform the best on 30D in the study by Abualigah et al. [28]. The dimensions in this experiment are set to 30, the number of populations is set to 40, the maximum number of iterations is 500, and populations in APAOA with parallel strategy are divided into four groups, and each algorithm is run independently for 30 times. In Tables 46, the Ave represents the mean value, the Std indicates the standard deviation, and the Best represents the optimal value. The bold part of the tables indicate victory.

According to the results in Table 4, compared with AOA, APAOA has advantages in 5 of the 7 unimodal functions. Among them, APAOA is not as good as AOA in terms of mean value or optimal value in test functions F5 and F6, but the gap between the two algorithms is close, and APAOA is better than AOA in standard deviation in test function F5. This shows that the dispersion degree of solution accuracy of APAOA on F5 tends to be stable.

Figure 3 shows the convergence speed and accuracy of the two algorithms on the test function F1–F7. APAOA is better than AOA on the whole, except for the poor optimization ability of F5 and F6. In the unimodal test function of AOA, only F4 and F7 can converge. However, APAOA can converge quickly and find better values than AOA on the other six test functions except test function F5.

On the six multimodal test functions, APAOA is better than AOA on F8, F9, F10, and F12, and the solution accuracy is 10 times higher than the original, such as F9 and F10. APAOA is only worse than AOA on F11. On the test function F13, the two algorithms are almost the same in mean, standard deviation, and optimal value; the value of AOA is more stable than that of APAOA, and APAOA can find a better solution than AOA. The test results are shown in Table 5.

According to Figure 4 and Table 5, on F13, neither algorithm can converge. On the other five test functions, APAOA can converge quickly and find the better solution. However, APAOA is not as good as AOA in all aspects on F11. This shows that APAOA still has the problem of insufficient accuracy of solution.

The benchmark functions F14–F18 are fixed-dimensional multimodal functions and low dimensional. It can be found that the performance of the two algorithms is close according to the results in Table 6. APAOA has superior performance on F14 and F18, whereas the performance on F15 and F17 is not as good as AOA. On F16, the performance of the two algorithms is almost the same. From Figure 5, both algorithms can converge, but the convergence speed of APAOA is still faster than that of AOA on the whole, except for F15.

To sum up, the APAOA we proposed, which adaptively changes the parameter , can make algorithm jump out of the local optimal solution such as F5 and F13, and the advantage of parallel strategy is that the algorithm can quickly converge and find the better solution in the face of complex and high-dimensional environment, such as F1–F4. However, it also performs not good in some functions such as F11 and F15.

4.3. Comparisons with Popular Algorithm

In Section 4.2, APAOA has been compared with AOA in unimodal function, multimodal function, and fixed-dimensional multimodal function. Because the dimension of test function F14–F18 is fixed, the dimension of F1–F13 can be expanded. In this section, in order to further evaluate the ability of APAOA to solve high-dimensional problems, the APAOA was compared with popular optimization algorithms on F1–F13. Table 7 shows popular algorithms and their parameter settings. To achieve a fair comparison, all algorithms are tested on 100D, and the common parameters settings are the same as those in section 4.2.

The experimental results in Table 8 show that the APAOA has achieved good results on the test functions F1–F13, in which the dimension is set to 100, and it is in the first place in the Friedman ranking test. On F1–F13, APAOA achieved the best performance except that F6 and F11 did not perform as expected. The performance of APAOA on F6 is second only to SSA, but there is a large gap between them. APAOA only performed not good in F11. In the whole, APAOA outperforms other popular algorithm on most functions.

Next, the convergence and search ability of different algorithms are evaluated, and the results are shown in Figure 6. According to Table 8, it is found that there is a big gap between the search ability of other popular algorithms and APAOA. If all convergence curves are drawn on one graph, the convergence curve of APAOA will be seen like a straight line. Therefore, the convergence curve of APAOA is drawn separately (right of Figure 6) in this article. Among the 13 test functions, APAOA has poor convergence ability only on F8, F11 and F13, but its ability to search the optimal solution is stronger than other algorithms. On F2 and F4, APAOA converges extremely well and can find better solutions than other algorithms. On F2, the search capabilities of all algorithms differ greatly, causing the algorithm’s convergence curve to become a straight line.

5. Application in Robot Path Planning

5.1. Robot Path Planning Mathematical Model

The robot path planning problem generally include three aspects: environment modelling, path searching, and path smoothing.

5.1.1. Environment Modelling

In an actual working environment, a robot has to face the complexity and quick change. To regularize the experimental environment, we use a grid-like method for modelling. Figure 7 shows the robot workplace model. The robot path planning problem is transformed into the use of algorithms to make the robot walk from the source to target, avoiding collisions with barriers during the procedure and finding an optimal collision-free path.

5.1.2. Path Searching

On the basis of environmental modelling, the issue of finding an optimal path is transferred into the issue of an objective function obtaining the optimal value. Assuming that in an ideal state, the robot is a straight collision-free path from the source to the target, and the objective function is shown aswhere D represents the distance between the source and the target, represents the source, and represents the target. However, in the actual working environment, the robot will encounter barriers to prevent it from moving forward. Firstly, for the robot workplace model, a Cartesian coordinate system is constructed, and the horizontal axis and vertical axis of the two-dimensional plane are equidistantly divided to form a set of intersections , the sum of the distances between the particles randomly generated by the algorithm is L and is given as:

Secondly, we use equation (9) to search for points in the barriers on the working path of the robot. If any point on the path is within the barrier, the penalty function equation (10) is added to the objective function.where is the coordinate of the centre point of the obstacle b, is the radius of the obstacle, and .where Penal is the penalty function.

In summary, the objective function of path planning is shown as equation (11), and the purpose is to use the penalty function to avoid barriers and achieve the shortest path, which is the optimal value.where ω is a penalty factor, which is verified by experiments that 10 is a suitable value. Therefore, it is set to 10 in this article.

5.1.3. Path Smoothing

Finally, because the connection between points is a straight line, and the path that the algorithm planned is not a feasible path, so we use Spline interpolation to smooth the solution to achieve a better accuracy.

5.2. Simulation Research

For the robot path planning mentioned in Section 5.1, we have meshed the environment and modelled the barriers. We set the two-dimensional space to be . The source coordinates and target coordinates of the two scenes are the same, which are (0, 0) and (4, 6).

To further verify the performance of the APAOA, we choose the classical algorithms, such as PSO, ACO, and GA to compare with APAOA and AOA. During the simulation, the algorithm parameters are shown in Table 7, and each algorithm runs independently 30 times. To compare the performances of the algorithms in different environments, two test environments are committed, with the number of barriers being 4 and 7. The experimental results are shown in Figures 8 and 9 and Tables 9 and 10. Tables 9 and 10 show that the APAOA can find a shorter path than other algorithms, and the APAOA execution effect is more stable. Compared with AOA, the improved effect of APAOA is significant.

From the two path planning diagrams (Figures 8 and 9), it can be seen intuitively that the APAOA can always find the best path, while the other algorithms are not, and the convergence graph proves that the APAOA can find the optimal path, and the convergence speed is fast. In summary, we propose the APAOA, which can better deal with the problem of robot path planning. However, there is still some problems such as insufficient accuracy and so on, which needs to be improved in the future to obtain better performance.

6. Conclusions

In this article, an adaptive parallel AOA is proposed and applied to solve the problem of robot path planning. First of all, the adaptive equation proposed is established based on the fitness value of the particles. The benefits of the adaptive equation can enable the algorithm to better balance the search capabilities of the development and exploration phases and effectively avoid falling into local optimal solutions. The steps for the algorithm to enter the exploration and exploitation stage are adjusted. Experiments have shown that the algorithm performs better after the adjustment, and the solution accuracy is improved. Then, we also introduce a novel parallel strategy into the AOA algorithm to strengthen the communication among particles. By adopting the rule of “survival of the fittest,” leaving elite individuals, it increases the robustness of the algorithm and achieves a significant improvement compared with the original algorithm. Finally, the robot path planning problem proposed in this article is used to further evaluate the performance of the algorithm. Compared with other algorithms, APAOA achieved better performance.

Data Availability

The data used to support this study are included within the article and are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this article.