A Fuzzy Gain-Based Dynamic Ant Colony Optimization for Path Planning in Dynamic Environments

: Path planning can be perceived as a combination of searching and executing the optimal path between the start and destination locations. Deliberative planning capabilities are essential for the motion of autonomous unmanned vehicles in real-world scenarios. There is a challenge in handling the uncertainty concerning the obstacles in a dynamic scenario, thus requiring an intelligent, robust algorithm, with the minimum computational overhead. In this work, a fuzzy gain-based dynamic ant colony optimization (FGDACO) for dynamic path planning is proposed to effectively plan collision-free and smooth paths, with feasible path length and the minimum time. The ant colony system’s pheromone update mechanism was enhanced with a sigmoid gain function for effective exploitation during path planning. Collision avoidance was achieved through the proposed fuzzy logic control. The results were validated using occupancy grids of variable size, and the results were compared against existing methods concerning performance metrics, namely, time and length. The consistency of the algorithm was also analyzed, and the results were statistically veriﬁed. determine the current best path was adopted from [33] and combined with fuzzy logic for safe path planning. There are many ant colony optimization (ACO) variants, like the ant colony system, elitist ants, ant density model, and so on [34]. In this work, the ant system was used because of its simplicity and robustness.


Introduction
Modern technical and scientific advancements have propelled the proliferation of autonomous vehicle systems. Our everyday life has become almost inseparable from the need for autonomous vehicle systems. Such autonomous systems require four capabilities, namely: (1) world perception, (2) cognitive learning, (3) map building, and pathfinding (4) navigation. Pathfinding is a vital component for the robust working of autonomous vehicle systems. On the other hand, handling the complexity and uncertainty of real-time scenarios is a significant challenge to be addressed by the algorithms. Path planning can be conventionally classified, based on the environment's nature, as static or dynamic path planning. Static path planning scenarios are those where the obstacles are static and not moving. In the case of dynamic scenarios, there are moving obstacles at different speeds within a scenario. There will be no prior knowledge of the environment and position of obstacles. Real-time scenarios are dynamic. The class of algorithms for solving real-time scenarios are broadly classified as exact and approximate approaches. Exact algorithms may fail to produce good quality solutions because of the uncertainty in the scenario. Over the years, there has been tremendous research on the use of approximate algorithms for path planning in dynamic and real-time scenarios [1]. Metaheuristics belong to the approximate approaches, and are widely used in various optimization problems because of their ability to produce good quality quasi-optimal solutions [2]. A proper tradeoff between their exploration and exploitation would result in good quality solutions after a thorough iterative search of the solution space. There are many words in the existing literature on dynamic path planning. Some of the prominent investigations from the literature are given in Table 1. A new mutation operator was proposed for dynamic path planning by Adem Tuncer and Mehmet Yildirim [3] to enable faster convergence. They validated their approach by applying it to simulated scenarios and comparing it with the literature. Table 1. Investigations from the existing literature.

Ref # Method Dataset
Optimality Achieved [4] Rule-based sequence planning algorithm with fuzzy optimization Simulated scenarios Flexibility and adaptability [5] Genetic algorithm and adaptive fuzzy logic control RobuTER robot Smooth collision-free path [6] Fuzzy wind-driven optimization Real-time navigation using Khepera III mobile robot Collision free path [7] Dynamic path planner Simulated single and multi-lane roads Static and dynamic safety, comfortability, appropriate acceleration and speed for the vehicle [8] Personalized path planner with fuzzy c-means clustering Simulated grids, road simulation model in Changsha Improved personalization of existing path planning [9] Improved rapidly exploring random tree (RRT) algorithm Simulated and real-time implementation using MATLAB and robot operating system(ROS) Correctness, effectiveness, and practicability [10] Fuzzy logic Real-time navigation using mobile robot on long u shape, large concave, cluttered, maze-like dynamic environments Minimum risk and global convergence [11] Hybrid heuristic optimization algorithm (Beetle antennae search) Virtual map and the real map Accelerated convergence speed [12] Dynamic Fuzzy logic based path planning Wireless sensor networks in MATLAB Localization ratio and localization accuracy [13] Dynamic fuzzy-logic-ant colony system Regions of London, United Kingdom Efficient route selection [14] Ant colony and fuzzy logic Simulated maps in MATLAB Shortest path in minimum time [15] Fuzzy logic ant colony optimization Simulated road networks Shortest path length [16] Cuckoo optimization algorithm Simulated scenarios of size 20 × 20, 100 × 100 and 200 × 200 Safe, smooth, and collision-free path [17] A visual-inertial navigation system Urban areas of Hong Kong Effective mitigation of dynamic objects and improved accuracy [18] Fuzzy-genetic algorithm (GA) with three path concept Simulated maps Computationally efficient [19] Improved gravitational search Real-time navigation using Khepera III mobile robot The safe and shortest path [20] Genetic algorithm Web based virtual mobile robot laboratory Usability of remote controlled robot laboratory [21] Trapezoid fuzzy 2 DOF algorithm Simulated proportional integral derivative (PID) control system Faster response with low position tracking error [22] Extreme Zhang et al. [25] made an extensive survey on path planning approaches for mobile robots. In their work, they emphasized the advantages of using a genetic algorithm, particle swarm optimization, ant colony optimization, and artificial potential fields in path planning with future directions. Mac et al. [26] developed a multi-objective approach based on particle swarm optimization for path planning. They proposed a new accelerated update methodology and tested it in cluttered environments. Jun-Hao Liang and Ching-Hung Lee [27] proposed a nature-inspired optimization-based algorithm for collision-free path planning of multiple mobile robots. They developed an efficient artificial bee colony algorithm, and applied it to cluttered simulated scenarios. A Markov decision process-based path planning algorithm for humanoid robots was developed by Mahdi Fakoor et al. [28]. Das et al. [29] hybridized an improved particle swarm optimization and a gravitational search algorithm to develop a path planning algorithm for multiple robots. Simulations were performed in the Khepera environment [19] to test the efficiency.
From the above literature analysis, the following challenges were identified: 1.
In the case of dynamic scenarios, there tends to be more uncertainty. Meta-heuristic approaches tend to converge more slowly to avoid a collision. Faster convergence of approximate algorithms while handling dynamic scenarios is a significant challenge.

2.
Maintaining the consistency of the algorithm when dealing with dynamic scenarios is another challenge to be addressed. The algorithms must be robust and stable in the unknown scenario.

3.
Though there are many algorithms in the literature for finding the collision-free shortest path, there is still a need for more intelligent algorithms with clear approximate and syllogistic reasoning.
Motivated by the challenges in the literature, and to address them, the following contribution is made in this work to efficiently plan a safe and smooth path in dynamic scenarios:

1.
A fuzzy gain based dynamic ant colony optimization (FGDACO) for collision-free path planning in dynamic scenarios is proposed. The improved pheromone enhancement in the ant system will curtail unwanted traversals during the search.

2.
A fuzzy logic-based collision avoidance strategy based on approximate reasoning is proposed, in addition to the pheromone enhancement. This collision avoidance strategy is combined with gain enhanced ant colony optimization for safe path planning. 3.
The proposed algorithm was observed to converge faster with the improved pheromone enhancement and no local optima trap. 4.
The proposed algorithm was observed to be stable in all the scenarios with a lower deviation among the independent runs.

Fuzzy Logic and Definitions
The concept of fuzziness was introduced by Zadeh et al. [30] in 1965 as a derivation from a common set. Fuzzy sets, unlike common sets, are those whose elements have certain degrees of membership. Membership refers to the probability of an element belonging to the set. In this work, the triangular membership function was used for path planning.
Definition 1 [30]: The triangular membership function for a fuzzy set A on the universe of discourse X:[0,1], is defined by three parameters, a, b, c; where a is the lower limit, c is the upper limit, and b is a value such that a ≤ b ≤ c. a and c form the base of triangle whereas b is the peak of the triangle. The triangular membership function is thus defined by Equation (1) Symmetry 2021, 13, 280 where x is the crisp value that needs to be fuzzified, and a, b, c are the triangular membership function values with a ≤ b ≤ c. Figure 1 shows a pictorial representation of Equation (1). In Figure 1, the x-axis is the universe of discourse, and the y-axis is the corresponding membership values.
whereas b is the peak of the triangle. The triangular membership by Equation (1) where is the crisp value that needs to be fuzzified, and membership function values with ≤ ≤ . Figure 1 shows a pi Equation (1). In Figure 1, the x-axis is the universe of discourse, a responding membership values.  [31] proposed that complex processes could be controll ther than the conventional strict models. A fuzzy logic control u es, called inferences, to illustrate the logic characterized by mem ure 2 shows the fuzzy logic control system. Initially, the crisp va The three essential components of FIS are (i) fuzzification, (ii) and (iii) defuzzification. (i).
Fuzzification: the process of transforming a crisp value to fuzzification. This transformation is realized using the m shown in Figure 1, triangular membership functions are linguistic variable will have its fuzzy variable values de discourse. The fuzzy variables are characterized by the with their values in (0,1). In this work, the linguistic variab to the target, angle towards the target, and distance towa The fuzzy variable set for each linguistic variable is (low, m (ii).
Fuzzy Inference Engine: this is the critical unit of a fuzzy l of the fuzzy inference engine is to make decisions using th A fuzzy inference system (FIS) is a vital part of fuzzy logic control. Mamdani and Assilian [31] proposed that complex processes could be controlled using fuzzy logic rather than the conventional strict models. A fuzzy logic control uses conditional sentences, called inferences, to illustrate the logic characterized by membership functions. Figure 2 shows the fuzzy logic control system. Initially, the crisp values are taken as inputs. The three essential components of FIS are (i) fuzzification, (ii) fuzzy inference engine, and (iii) defuzzification.
(i). Fuzzification: the process of transforming a crisp value to a fuzzy value is called fuzzification. This transformation is realized using the membership function. As shown in Figure 1, triangular membership functions are used in this work. Each linguistic variable will have its fuzzy variable values defined in its universe of discourse. The fuzzy variables are characterized by the membership function, with their values in (0,1). In this work, the linguistic variables are relative distance to the target, angle towards the target, and distance towards the nearest obstacle. The fuzzy variable set for each linguistic variable is (low, medium, and high). (ii). Fuzzy Inference Engine: this is the critical unit of a fuzzy logic controller. The role of the fuzzy inference engine is to make decisions using the IF . . . THEN rules. The rules are represented as given below: RULE I : i f D is a 1 and E is b 1 , then F is c 1 RULE I I : i f D is a 2 and E is b 2 , then F is c 2 . . . Here D and E are conditional variables, F is the response variable, and a i , b i , c i are the fuzzy variables defined by triangular membership functions. Once the decisions are made, a fuzzy inference system is used to evaluate the decisions made with the rules. In this work, the Mamdani fuzzy inference system is used for rule evaluation, as given by . . .
(iii). Defuzzification: the fuzzy variables are converted to crisp outputs using the defuzzification phase. In this work, the centroid method is used for defuzzification. The defuzzified output x* obtained from the centroid method can be represented as the Equation (2) : , ℎ : , ℎ ⋮ : , ℎ here D and E are conditional variables, F is the response variable, and , , a the fuzzy variables defined by triangular membership functions. Once the decisions a made, a fuzzy inference system is used to evaluate the decisions made with the rules. this work, the Mamdani fuzzy inference system is used for rule evaluation, as given by Defuzzification: the fuzzy variables are converted to crisp outputs using the d fuzzification phase. In this work, the centroid method is used for defuzzificatio The defuzzified output x* obtained from the centroid method can be represente as the Equation (2) * = ( ) ( ) (

Ant Colony Algorithm
The ant colony optimization proposed by Marco Dorigo et al. [32] is a n ture-inspired population-based swarm intelligence algorithm, inspired by the foragin behavior of ants in obtaining their food. Ants' natural tendency is to search out an op mal path between the food source and the ant nest. Ants deposit a chemical, name pheromone, as they move in search of food. A frequently used path will have mo pheromone on it, while the amount of pheromone on a less frequently used path will b less. Figure 3 shows the foraging behavior of ants. Ants exhibit stigmergy by depositin pheromone on their trails. The process of adding up the amount of pheromone on a tra is called pheromone reinforcement. This reinforcement is the positive feedback indica ing to the other ants to follow the trail. Artificial ants are the counterparts of natural an Unlike natural ants, artificial ants possess memory. In addition, to mimic natural ant stigmergy, pheromone on the less frequently used trails decreases using the pheromon evaporation process. This evaporation is the negative feedback of the system preventin the other ants from following the trial. Similar to other meta-heuristics, ant colony op mization exhibits both exploration and exploitation. Pheromone evaporation realizes th exploration process, thus avoiding convergence to local optima. Without evaporation, a ants will follow the path left by the first ant without exploring the solution space. Pe forming a local search of the ants' current neighborhood window will lead to exploit

Ant Colony Algorithm
The ant colony optimization proposed by Marco Dorigo et al. [32] is a nature-inspired population-based swarm intelligence algorithm, inspired by the foraging behavior of ants in obtaining their food. Ants' natural tendency is to search out an optimal path between the food source and the ant nest. Ants deposit a chemical, named pheromone, as they move in search of food. A frequently used path will have more pheromone on it, while the amount of pheromone on a less frequently used path will be less. Figure 3 shows the foraging behavior of ants. Ants exhibit stigmergy by depositing pheromone on their trails. The process of adding up the amount of pheromone on a trail is called pheromone reinforcement. This reinforcement is the positive feedback indicating to the other ants to follow the trail. Artificial ants are the counterparts of natural ants. Unlike natural ants, artificial ants possess memory. In addition, to mimic natural ants' stigmergy, pheromone on the less frequently used trails decreases using the pheromone evaporation process. This evaporation is the negative feedback of the system preventing the other ants from following the trial. Similar to other meta-heuristics, ant colony optimization exhibits both exploration and exploitation. Pheromone evaporation realizes the exploration process, thus avoiding convergence to local optima. Without evaporation, all ants will follow the path left by the first ant without exploring the solution space. Performing a local search of the ants' current neighborhood window will lead to exploitation, thus working on a current solution to exploit the goodness. In this work, a pheromone enhancement mechanism to Symmetry 2021, 13, 280 6 of 22 determine the current best path was adopted from [33] and combined with fuzzy logic for safe path planning. There are many ant colony optimization (ACO) variants, like the ant colony system, elitist ants, ant density model, and so on [34]. In this work, the ant system was used because of its simplicity and robustness.
Symmetry 2021, 13, x FOR PEER REVIEW mone enhancement mechanism to determine the current best path was adopted f and combined with fuzzy logic for safe path planning. There are many ant colo mization (ACO) variants, like the ant colony system, elitist ants, ant density mo so on [34]. In this work, the ant system was used because of its simplicity and rob The notations and parameters used in ant colony optimization are as given 2. Table 2. Parameters of the ant colony algorithm.

Parameter
Description N Number of ants Initial pheromone Quantity of pheromone deposited while traversing from i to Heuristic function indicating the visibility of route between i a Cost of the route (i,j) obtained by kth ant α Impact of pheromone on the choice of next node β Impact of heuristic function on the selection of next node Rate of pheromone evaporation; 0 < < 1 A table containing nodes that are feasible to be visited by kth Q Constant related to the pheromone increment

Problem Definition and Formulation
Given a start, S, and destination, D, the problem of path planning in dyna narios can be formulated as a minimization problem given by Equation (3) as The notations and parameters used in ant colony optimization are as given in Table 2.

Problem Definition and Formulation
Given a start, S, and destination, D, the problem of path planning in dynamic scenarios can be formulated as a minimization problem given by Equation (3) as x ij = 1 f or a path between i and j 0 otherwise where r is the total size of the scenario, In the above formulation, Equation (4) indicates the minimization of the total distance to the target during the path search indicating the target seeking behavior. Equation (5) Symmetry 2021, 13, 280 7 of 22 indicates the maximization of distance concerning the obstacles indicating the obstacle avoidance behavior. Equation (6) indicates that at a time, only one node can be visited. Equation (7) indicates that a path can be included or discarded based on its existence. Equation (3) is obtained from Equations (4) and (5) with a weightage factor. Balancing the weighting between target seeking and obstacle avoidance can solve path planning. In this work, both Equations (4) and (5) are given equal weightage. The value of w is considered as 0.5.

Fuzzy Logic-Based Obstacle Avoidance
Designing a fuzzy logic control for obstacle avoidance includes creating a rule base for collision avoidance. Multiple rules can be fed into the rule base. In this work, three input parameters were considered: relative distance to the target, angle towards the target, and distance towards the nearest obstacle. The corresponding fuzzy values for the linguistic input variables were considered high, medium, and low, respectively, and characterized using a triangular membership function, with the range of [0,1]. Figure 4 shows the fuzzy variables characterized by the triangular membership function. In the above formulation, Equation (4) indicates the minimization of the total distance to the target during the path search indicating the target seeking behavior. Equation (5) indicates the maximization of distance concerning the obstacles indicating the obstacle avoidance behavior. Equation (6) indicates that at a time, only one node can be visited. Equation (7) indicates that a path can be included or discarded based on its existence. Equation (3) is obtained from Equations (4) and (5) with a weightage factor. Balancing the weighting between target seeking and obstacle avoidance can solve path planning. In this work, both Equations (4) and (5) are given equal weightage. The value of w is considered as 0.5.

Fuzzy Logic-Based Obstacle Avoidance
Designing a fuzzy logic control for obstacle avoidance includes creating a rule base for collision avoidance. Multiple rules can be fed into the rule base. In this work, three input parameters were considered: relative distance to the target, angle towards the target, and distance towards the nearest obstacle. The corresponding fuzzy values for the linguistic input variables were considered high, medium, and low, respectively, and characterized using a triangular membership function, with the range of [0,1]. Figure 4 shows the fuzzy variables characterized by the triangular membership function.  The values are normalized to [0, 1] to reduce the computational complexity, since the final defuzzified value is given priority to the forward phase of ant colony optimization. The priority to be given to the node during the next node selection in ant colony The values are normalized to [0, 1] to reduce the computational complexity, since the final defuzzified value is given priority to the forward phase of ant colony optimization. The priority to be given to the node during the next node selection in ant colony optimization is considered an output parameter. The universe of discourse for the fuzzy variables is provided in Table 3. The values were considered intuitively, with expert opinion. The centroid method, as given in Equation (2), is the defuzzification method. The IF-THEN rules' surface plots are shown in Figure 5a-c. Figure 5d shows the fuzzy rules characterized by the triangular membership function. Table 4 shows some of the rules considered for the fuzzy logic controller.
The fuzzy logic controller used in FGDACO for collision avoidance is given in Figure 6. This fuzzy logic controller was adopted during the process of path planning. variables is provided in Table 3. The values were considered intuitively, with expert opinion. The centroid method, as given in Equation (2), is the defuzzification method. The IF-THEN rules' surface plots are shown in Figure 5a-c. Figure 5d shows the fuzzy rules characterized by the triangular membership function. Table 4 shows some of the rules considered for the fuzzy logic controller.  The fuzzy logic controller used in FGDACO for collision avoidance is given in Figure 6. This fuzzy logic controller was adopted during the process of path planning.

Gain Based Path Planning
The pheromone trail, τ ij , and the heuristic, η ij , are two essential aspects that guide ant colony optimization. These two aspects are related to the exploration and exploitation of ant colony optimization. Heuristics are used to perform an extensive search of the solutions space to construct solutions. Upon construction of solutions, a pheromone update is performed on the most used trails to identify good quality solutions. In this work, the process of pheromone update was enhanced using a relative distance based gain function. Gain is a sigmoid function-based local heuristic designed, based on the neighbor's relative distance to target and distance to the nearest obstacle. This function will update the pheromone on the locally best trails, thus avoiding unnecessary traversal, and enabling faster convergence of the algorithm.

Gain Based Path Planning
The pheromone trail, , and the heuristic, , are two essential aspects that guide ant colony optimization. These two aspects are related to the exploration and exploitation of ant colony optimization. Heuristics are used to perform an extensive search of the solutions space to construct solutions. Upon construction of solutions, a pheromone update is performed on the most used trails to identify good quality solutions. In this work, the process of pheromone update was enhanced using a relative distance based gain function. Gain is a sigmoid function-based local heuristic designed, based on the neighbor's relative distance to target and distance to the nearest obstacle. This function will update the pheromone on the locally best trails, thus avoiding unnecessary traversal, and enabling faster convergence of the algorithm.

Calculating Gain
To enable quicker pathfinding, an amount of pheromone is added to the locally found best path. This enhancement is called pheromone gain. Thus the new quantity added will enable quicker pathfinding by eliminating unwanted traversals during the local search. Pheromone gain is given by (8).

Calculating Gain
To enable quicker pathfinding, an amount of pheromone is added to the locally found best path. This enhancement is called pheromone gain. Thus the new quantity added will enable quicker pathfinding by eliminating unwanted traversals during the local search. Pheromone gain is given by (8). Here where Dest = destination vertex, j = neighbor vertex V j , and i = current vertex (V i ). The values of learning parameter, λ, lie from 0 to 1; δ jDest = d jDest = euclidean distance between j and dest; for j = 1, 2, 3, . . . 8; d io is the distance between the current node and nearest obstacle. Sigmoidal function is used because of its natural smoothing character. Consider a configuration space of 20 × 20, as shown in Figure 7. The algorithm begins from S. To proceed further, the algorithm searches for the next node to be visited from V i (current position). According to the gain-based sigmoid function, the neighbor node with minimum δ jDest and maximum d io is marked as the next node to be visited. The corresponding pheromone trail is updated. The gain based local heuristic will enable pheromone enhancement on the local best path. During the pheromone update of ant colony optimization, Gain ij is added to τ new ij of V i,j3 ,(considering j3 has minimum Symmetry 2021, 13, 280 11 of 22 δ jDest ) and subtracted from the τ new ij of V i,j1 and V i,j2 . Mathematically the procedure can be written as given in Equation (9) Using Equation (9), τ new ij is calculated and used in Equation (10).
According to Equation (8), Gain k ij of kth ant is added to the node's trail with min δ jDest and subtracted from other trails. This subtraction will decrease the pheromone on other trails and increase pheromone on the current best path. This pheromone update will enable the ants to settle down in the current best trail with less latency, leading to faster convergence. The algorithm begins from S. To proceed further, the algorithm searches fo next node to be visited from (current position). According to the gain-based sig function, the neighbor node with minimum and maximum is marked a next node to be visited. The corresponding pheromone trail is updated. The gain local heuristic will enable pheromone enhancement on the local best path. Durin pheromone update of ant colony optimization, is added to , ,(considering j3 has minimum ) and subtracted from the of , and Mathematically the procedure can be written as given in Equation (9) = (1 − ) + ∑ Δ + and ( ) Using Equation (9), is calculated and used in Equation (10). According to Equation (8), of kth ant is added to the node's trail with and subtracted from other trails. This subtraction will decrease the pheromo other trails and increase pheromone on the current best path. This pheromone u will enable the ants to settle down in the current best trail with less latency, leadi faster convergence.

Environment Perception
The scenario for path planning is initially perceived and transformed into computationally suitable for the process. Occupancy grids were used in this wo perceive the environment for path planning. The grid resolution was one cell per m i.e., each cell was 1 m in size. Each grid has two probabilities, namely free space o

Environment Perception
The scenario for path planning is initially perceived and transformed into grids computationally suitable for the process. Occupancy grids were used in this work to perceive the environment for path planning. The grid resolution was one cell per meter, i.e., each cell was 1 m in size. Each grid has two probabilities, namely free space or obstacle space.

Ant Colony Parameters Initialization
Once the environment is perceived, the parameters of the ACO are initialized. Initially, τ o is set to 0. α, β, ρ, start node, and destination node are initialized subsequently.

Node Transition and Cost Calculation
After the parameter initialization, ants start moving around the search space. This search is the onward movement of map exploration. Using the node transition probability, the next node to be visited is chosen. Equation (10) was used for the forward move. Once ants reach a node, the tabu list visit k will be checked to see if the node is allowed to be visited.
In Equation (10), η ij f is the fuzzy cost of edge (i, j), and f is the set of parameters defined in fuzzy logic control for collision avoidance. τ ij is the pheromone intensity in (i, j) and is calculated by (9) through the backward movement. η ij f is defined by Equations (11)- (13).
The parameters, f, used in this work are target distance, distance to nearest obstacle, and angle to be turned.

1.
Distance to target Nearest obstacle distance 3.
Angle to be turned η ij f is the defuzzified output from the fuzzy logic control. During the calculation of τ k ij in Equation (9), the corresponding Gain k ij is calculated using Equation (14).
where progress k jdest = Here The sigmoid function is used here to determine the pheromone enhancement. Sigmoid functions have a natural 'S' shaped curve, with an interval from 0 to 1. From mechanical observations, it could be inferred that the sigmoid function curve was similar to that of a path with smooth turns [35]. An example of the sigmoid function is shown in Figure 8.

Path Selection
The path selection phase is the final phase. Once the forward phase is completed, the ants start retreating by tracing their path using their memory. In this stage, the pheromone update rule is used to find the current pheromone quantity. The intensity of pheromone is updated using (15). The usability of the path is either increased by pheromone reinforcement, or decreased through pheromone evaporation.
The quantity of ∆τ k ij is given by (15), By Equation (15), a pheromone update is made on the trail, which has a minimum distance to the next node, and maximum distance from the nearest obstacle.
The pseudo-code for FGDACO is given in Algorithm 1. for each k N do Update visit k ;
best_path cost ← path k The algorithm continues until either of the following conditions is achieved: the shortest path is obtained, or predetermined iterations have been completed. The framework for FGDACO is as given in Figure 9.
The sigmoid function is used here to determine the pheromone enhancement. S moid functions have a natural 'S' shaped curve, with an interval from 0 to 1. From m chanical observations, it could be inferred that the sigmoid function curve was similar that of a path with smooth turns [35]. An example of the sigmoid function is shown Figure 8.  The algorithm continues until either of the following conditions is achieved: the shortest path is obtained, or predetermined iterations have been completed. The framework for FGDACO is as given in Figure 9.

Experimental Setup and Dataset Description
Simulations of the proposed algorithms were implemented in MATLAB ® 2019b [36]. Three different occupancy grids of size 100 × 100, with moving and static obstacles were

Experimental Setup and Dataset Description
Simulations of the proposed algorithms were implemented in MATLAB ® 2019b [36]. Three different occupancy grids of size 100 × 100, with moving and static obstacles were used for the simulations. Obstacles of different shapes were also simulated. The details of the simulations are given in Table 5. The following assumptions were considered for the simulations:

•
The start and destinations were considered to be the same during the whole process of path planning, but they differed with each scenario.

•
The speed of the moving obstacles was considered as random between 0.5-1.5 m/s.

Performance Measures:
The performance of the proposed method was evaluated using the following performance measures. Each algorithm was run 30 times, and the analysis was made using the following metrics.

•
Standard Deviation: The consistency of the proposed method was verified using standard deviation. The method was stable when there was less variation in the performance between independent runs. • Median of path length and computation time: The median of the computational time and the length of path computed for 30 independent runs were compared and analyzed.

Parameter Setting:
The simulations were performed under different conditions like different iterations, varying α, β, and ρ. The values of parameters that were used for the simulations are given in Table 6. An optimal value for α, β, ρ was essential for the algorithm's adequate performance since pheromone enhancement is a significant part of FGDACO. The value of α, β, ρ was varied from 0.1 to 0.9, and the results are shown in Figure 10. Figure 10 shows that the variation in length values was the least when α = 0.5, β = 0.5, and ρ = 0.5. Thus, the algorithm is stable with less deviation among its independent runs, and no outliers, when α = 0.5, β = 0.5, and ρ = 0.5. From the parameter setting simulation in Figure 10a-c, it can be seen that the value of length was minimum when α = 0.5, β = 0.5, and ρ = 0.5. Thus α = 0.5, β = 0.5, and ρ = 0.5 were set for performance evaluation.

Performance Evaluation
The performance of the FGDACO was compared with existing methods, like the cuckoo optimization algorithm (COA), fuzzy-genetic algorithm (Fuzzy-GA), and fuzzy logic based ant colony optimization (FLACO), in three sample scenarios, with a varying number of obstacles. The performance results in terms of path length and computation time taken are summarized in Table 7. It is evident from Table 7 that, the proposed FGDACO computed the shortest path with minimum time when compared to the others Moreover, FGDACO was found to be stable, with a minimum standard deviation. In dynamic path planning, one of the essential objectives is to find a collision-free safe path The mechanism of collision avoidance is illustrated in Figure 11a-c, with sample scenar ios. The direction of the moving obstacle (orange color) is shown with the help of directed arrows. From the parameter setting simulation in Figure 10a-c, it can be seen that the value of length was minimum when α = 0.5, β = 0.5, and ρ = 0.5. Thus α = 0.5, β = 0.5, and ρ = 0.5 were set for performance evaluation.

Performance Evaluation
The performance of the FGDACO was compared with existing methods, like the cuckoo optimization algorithm (COA), fuzzy-genetic algorithm (Fuzzy-GA), and fuzzy logic based ant colony optimization (FLACO), in three sample scenarios, with a varying number of obstacles. The performance results in terms of path length and computation time taken are summarized in Table 7. It is evident from Table 7 that, the proposed FGDACO computed the shortest path with minimum time when compared to the others. Moreover, FGDACO was found to be stable, with a minimum standard deviation. In dynamic path planning, one of the essential objectives is to find a collision-free safe path. The mechanism of collision avoidance is illustrated in Figure 11a-c, with sample scenarios. The direction of the moving obstacle (orange color) is shown with the help of directed arrows.  From Figure 11a-c, the obstacle avoidance behavior of FGDACO can be inferred. In Figure 11a, the process of path planning begins from the start position. The search proceeds further after encountering the static obstacles. Upon encountering moving obstacles, the next node's priority is determined from the FIS engine's fuzzy rules. The next nodes' priorities are assigned based on the obstacles' distance and relative distance to the target. In Figure 11b, it can be seen that the path is planned such that it is farther from the From Figure 11a-c, the obstacle avoidance behavior of FGDACO can be inferred. In Figure 11a, the process of path planning begins from the start position. The search proceeds further after encountering the static obstacles. Upon encountering moving obstacles, the next node's priority is determined from the FIS engine's fuzzy rules. The next nodes' priorities are assigned based on the obstacles' distance and relative distance to the target. In Figure 11b, it can be seen that the path is planned such that it is farther from the oncoming obstacle. Once the moving obstacles are encountered and the search has passed through them, the rest of the static obstacles are encountered. Figure 11c shows the final path planned.
The paths planned by FGDACO and the existing algorithms are shown in Figure 12a-c. It could be inferred from the literature that paths with fewer sharp turns are favored for real-time traversal. From Figure 12a-c, it can be seen that in all scenarios, the path planned by FGDACO had a smaller number of sharp turns when compared with the paths planned by the other algorithms. The path planned by FGDACO was efficient in all three scenarios, irrespective of the number and shape of obstacles. Convergence plots of FGDACO and other existing methods are given in Figure 13ac. Figure 13a-c shows that the proposed FGDACO converged faster than COA, Fuzzy-GA, and FLACO with regard to length. FGDACO was also less likely to get trapped in local optima because of the enhanced pheromone update. The gain based sigmoid function improved the current best path, thereby leading to better exploitation. Convergence plots of FGDACO and other existing methods are given in Figure 13a-c. Figure 13a-c shows that the proposed FGDACO converged faster than COA, Fuzzy-GA, and FLACO with regard to length. FGDACO was also less likely to get trapped in local optima because of the enhanced pheromone update. The gain based sigmoid function improved the current best path, thereby leading to better exploitation.
(c) Convergence plots of FGDACO and other existing methods are given in Figure 13ac. Figure 13a-c shows that the proposed FGDACO converged faster than COA, Fuzzy-GA, and FLACO with regard to length. FGDACO was also less likely to get trapped in local optima because of the enhanced pheromone update. The gain based sigmoid function improved the current best path, thereby leading to better exploitation. Box plots are the standard graphical representation of the distribution of values in a range. The consistency of the proposed FGDACO was analyzed using standard deviation. The standard deviation of the proposed FGDACO and existing algorithms could be graphically analyzed using a box plot. Figure 14a-c shows the box plots of FGDACO and existing algorithms for all three scenarios. It can be seen that FGDACO exhibited the least variation in the converged length values among the independent runs. It can also be seen that in all three scenarios, the box plots of FGDACO are almost symmetric, without outliers. Box plots are the standard graphical representation of the distribution of values in a range. The consistency of the proposed FGDACO was analyzed using standard deviation. The standard deviation of the proposed FGDACO and existing algorithms could be graphically analyzed using a box plot. Figure 14a-c shows the box plots of FGDACO and existing algorithms for all three scenarios. It can be seen that FGDACO exhibited the least variation in the converged length values among the independent runs. It can also be seen that in all three scenarios, the box plots of FGDACO are almost symmetric, without outliers.
A performance comparison of FGDACO with COA, Fuzzy-GA, and FLACO is summarized in Table 7.
tion. The standard deviation of the proposed FGDACO and existing algorithms could be graphically analyzed using a box plot. Figure 14a-c shows the box plots of FGDACO and existing algorithms for all three scenarios. It can be seen that FGDACO exhibited the least variation in the converged length values among the independent runs. It can also be seen that in all three scenarios, the box plots of FGDACO are almost symmetric, without outliers. A performance comparison of FGDACO with COA, Fuzzy-GA, and FLACO is summarized in Table 7.

Discussion
From the above performance evaluation and Table 7, the following summarization can be made:

4.
With regard to consistency, FGDACO exhibited higher consistency, with a deviation of 2% on average among its independent runs.
From the above discussion, it is evident that FGDACO effectively planned the shortest path in the least time in the tested scenarios. Furthermore, FGDACO was efficient, irrespective of the shape and number of obstacles in a real-time environment.

Conclusions
A fuzzy gain-based dynamic ant colony optimization was proposed for safe and smooth collision-free path planning. The pheromone update mechanism of ant colony optimization was improved with a relative distance based local heuristic. This improved mechanism helped in curtailing unwanted traversals during the search. To avoid collision with moving obstacles, fuzzy logic based collision avoidance was proposed. A rule base with syllogistic reasoning was created and evaluated using the Mamdani fuzzy inference system. The output of FIS was considered the node's priority during the next node selection in ant colony optimization. Simulations were performed on occupancy grids, and evaluated using path length and time taken metrics. From Table 7, it can be seen that the proposed FGDACO outperformed the existing methods, COA, Fuzzy-GA, and FLACO, in terms of length by 9.6%, 10.3%, and 3% in the tested scenarios. The proposed algorithm also converged more quickly (Figure 13a-c with high consistency with a deviation of 2% among its independent runs). There was less deviation among its independent runs ( Figure  14a-c). The results were also statistically significant at a 95% level of confidence. From the discussions and investigations, it is evident that the proposed FGDACO is robust, stable, reasonable, and safe, with faster convergence. In the future, the algorithm can be applied in real-time road networks and on variants of vehicle routing problems.
Author Contributions: The contributions and responsibilities of the authors were as follows. V.S. has contributed to conceptualization, formal analysis, literature analysis, coding, validation, and writing. R.K. has contributed to conceptualization, formal analysis, literature analysis, validation, writing. F.C., D.P., A.M., K.S.R. and S.K. have contributed to overall administration and curation, resources acquisition, conceptualization, formal analysis, reviewing, and editing. All authors have read and agreed to the published version of the manuscript.