Introduction

The intricate nature of chemical and petrochemical facilities necessitates substantial efforts to prevent the unintended release of hazardous substances and to safeguard personnel, workers, and the environment from accidents. Both designers and operators must pay greater attention to developing innovative solutions to ensure enhanced safety levels. Otherwise, failures or containment losses from process equipment could result in severe accidental scenarios1. The equipment of chemical enterprises operates in complex environments, which contain many potential risk points. Each risk point needs to be inspected at regular intervals to prevent major safety accidents from occurring2. The continuous advancement of artificial intelligence and robotic technologies has enabled inspection robots, through the integration of advanced sensors and algorithms, to replace manual detection of hazardous factors in chemical equipment such as gas leaks, liquid spillage, droplet formation, fluid leakage, and abnormal temperature fluctuations3. The diversity of hazardous factors in chemical enterprises necessitates robotic systems to be equipped with multiple types of sensing devices. In order to control the budget and manage the payload limitations of robots, chemical companies often deploy different types of robots and customize different sensor configurations according to specific inspection requirements. The different terrain environments in chemical plants, including flat surfaces, stairs, and pipelines, impose specific mobility requirements on robots to effectively navigate different operating areas. Therefore, large chemical plants often require heterogeneous robot systems such as wheeled robots, quadruped robots, Unmanned Aerial Vehicles, etc. for collaborative inspection.

Multi-heterogeneous robot chemical inspection task allocation is one of the key technologies for robot application in chemical inspection. The task allocation significantly affects the inspection efficiency of robots, and is crucial for timely inspection of hazardous factors in chemical enterprises and elimination of production risks and hidden dangers. Nevertheless, the issue of task assignment for multiple inspection robots is inherently an NP Hard problem. Considering the applicability of the terrain of the inspection task location to the robot’s ability to pass through, as well as the constraints of different inspection tasks on the robot’s ability to carry sensors, it brings new challenges to the design of related solving algorithms4,5. It is challenging for accurate algorithms to solve NP-hard problems within polynomial time. When tackling complex combinatorial optimization problems, Metaheuristic algorithms are characterized by their rapid convergence, low algorithmic complexity, and high solution accuracy. However, they also have the challenge of designing efficient encoding schemes to map encoding to solution space, and how to avoid falling into local optimal problems6,7. Therefore, it is crucial to study the task allocation of multi heterogeneous robot chemical inspection and design efficient metaheuristic algorithms to promote the improvement of robot inspection efficiency and timely eliminate chemical production risks and hidden dangers.

This paper studies an application scenario in which multiple heterogeneous robots perform inspection tasks in a chemical industrial park, and considers the constraints of the location and terrain of the inspection tasks on the robot’s ability to pass through, as well as whether the sensors equipped on the robots are suitable for inspection tasks. In the chemical industrial park environment, each robot is fitted with a particular sensor designed to measure and record data from inspection tasks that are spread across various locations. There are heterogeneous robot systems such as wheeled mobile robots, quadruped robots, and drones in the chemical industrial park, and each robot carries different sensors for performing inspection tasks such as sound anomaly inspection, temperature anomaly inspection, and toxic gas inspection. Combining the comprehensive challenges of collaborative optimization of robot inspection task allocation and inspection Hamiltonian routing, the multiple heterogeneous inspection robot task allocation (MHRTA) problem has multidimensional complexity and is essentially a combinatorial optimization problem. When the quantities of robots and tasks rise, the number of solutions will grow exponentially, leading to the problem becoming NP-hard. This challenge considers the complexity of the application of multi heterogeneous robot systems in practical scenarios and proposes a solution for task allocation and inspection Hamiltonian routing collaborative optimization in heterogeneous robot systems.

In recent years, numerous scholars have introduced solution methods tailored to the multiple-robot task planning problem. Generally, these algorithms can be categorized into three groups: exact methods, market-based algorithms, and metaheuristics inspired by biological theories. Exact methods are widely employed to address combinatorial optimization problems. For example, Miloradović et al.8 proposed a mathematical model for the extended colored traveling salesman problem and demonstrated its superiority compared to existing models. Yin et al.9 introduced a two-stage stochastic programming framework to characterize the electric vehicle battery recycling problem, which was subsequently reformulated as an equivalent mixed-integer linear programming model. To mitigate the computational challenges associated with a large sample size, the authors proposed a sample-based decomposition algorithm that efficiently computes both the upper and lower bounds of the problem, ensuring high solution quality and computational efficiency. Wen et al.10 designed a unified optimization model for representing multi-mission task allocation problems, enabling the application of various solvers to different problem instances. The exact methods works well for scenarios involving a limited number of robots, simple tasks. However, when there is an increase in the number of robots, added task complexity, and more constraints, exact methods face significant challenges due to higher computational demands and extended processing times. Market-based cooperative algorithms also show significant potential11,12. Quinton et al.13 investigated the impact of communication degradation on market-driven task assignment in dynamic surveillance environments and introduced an innovative connectivity factor within the bidding evaluation formula. Bai et al.14 developed a multi-level system to address the task scheduling challenge for multiple robots under temporal constraints, facilitating continuous refinement of operational strategies through inter-agent communication. The market mechanism relies on continuous communication among robots to maintain consistent bidding information. Additionally, since auctions typically involve straightforward task types that naturally match one robot to one task, traditional market-based approaches prove inadequate for assigning the more complex tasks encountered in chemical inspection. Metaheuristic algorithms, known for their strong adaptability and low computational complexity, are extensively applied in solving complex combinatorial optimization problems in multi-robot task planning15. For instance, Yan et al.16 developed an intelligent ocean task allocation and path planning approach based on an enhanced genetic algorithm. Hua et al.17 addressed the multi-task assignment challenge for large-scale UAVs by integrating Particle Swarm Optimization with evolutionary algorithms.

Due to the advantages of metaheuristic algorithm in convergence speed, algorithm complexity, and solution accuracy compared to exact algorithms and market methods in solving MHRTA problems, this paper chooses it as the algorithm for solving this problem. Various metaheuristic algorithms, including Differential Evolution (DE)18, Chimpanzee Optimization Algorithm (ChOA)19, Dung Beetle Optimizer (DBO)20, Northern Goshawk Optimization (NGO)21, Energy Valley Optimizer (EVO)22, Dream Optimization Algorithm (DOA)23, and Artemisinin Algorithm (AO)24 has been effectively utilized in solving combinatorial optimization problems as well as diverse engineering optimization challenges. According to the theory of no free lunch, it is meaningful to continuously improve existing optimization algorithms to surpass current ones25. Hussien et al.26 proposed a white whale optimization approach that combines transformation factor strategy and Gaussian local mutation improvement. Khalid et al.27 developed an improved Emperor Penguin algorithm that integrates multiple parameter adaptation strategies with selection probability. AO is a novel metaheuristic algorithm that has recently attracted significant attention. Compared with traditional metaheuristic algorithms such as particle swarm optimization (PSO)28 and genetic algorithm (GA)29, the AO algorithm is characterized by its strong global search capability, which allows it to efficiently explore the solution space and avoid local optima–a common challenge in complex optimization tasks like MHRTA. Additionally, the AO algorithm has fewer parameters and a simpler structure, reducing the need for extensive manual parameter tuning. The AO has achieved successful applications across diverse fields, including indoor positioning30, prediction of interpersonal relationship sensitivity31, and cost optimization of wind energy collection systems32.In these fields, the AO algorithm has shown an excellent ability to balance global exploration and local search, which is crucial for achieving high-quality solutions in complex environments. Given these advantages, According to the theory of no free lunch25. We improved the traditional AO algorithm and designed corresponding encoding schemes to apply it to solve the MHRTA problem.

The primary contributions of this study can be summarized as follows:

(1) For the MHRTA problem, we have formulated an integer programming (IP) model that incorporates constraints on the operational capabilities of heterogeneous robots across diverse terrain environments, as well as constraints on the applicability of sensors mounted on the robots for different tasks. The correctness of the model was verified using the CPLEX solver.

(2) A two-layer encoding scheme has been adopted to establish a connection between the encoding space and the solution space, specifically addressing the challenges of multi-robot task allocation and inspection Hamiltonian routing. This approach effectively decouples the robot task allocation from the inspection Hamiltonian routing.

(3) An improved artemisinin algorithm (IAO), incorporating three enhanced strategies, has been developed to boost the optimization accuracy of the artemisinin optimizer. The effectiveness of the IAO algorithm was validated through comparisons with other algorithms using both benchmark test functions and CEC2014 test functions.

(4) Considering the NP-hard nature of the MHRTA problem, we propose an algorithm that integrates a variable neighborhood search strategy into the IAO algorithm (IAO-v) to enhance local search capability when solving the MHRTA problem.

The paper is structured as follows. Section 2 outlines a survey of existing research on multi-robot task allocation. Section 3 details the problem model under consideration, including the underlying assumptions, and establishes the corresponding Integer Programming (IP) formulation. Section 4 introduces the AO algorithm and the Improved Artemisinin Optimization (IAO) algorithm, which integrates three enhanced strategies. Section 5 presents a two-layer encoding scheme, explains its approach to handling constraints, and outlines the IAO-v algorithm along with the solution process for the MHRTA problem addressed in this study. Section 6 is dedicated to experimental analyses, featuring optimization comparisons using benchmark functions and CEC2014 test functions, as well as simulation experiments and comparative analyses on inspection case studies. Finally, Section 7 concludes the paper by summarizing the research contributions.

Related work

Many researchers have obtained significant results in the applications of multi-robot systems. To address the challenge of decoupling task allocation and path planning for multiple inspection robots, scholars have partitioned the process into two frameworks. First, inspection tasks are divided into several sub-areas using clustering algorithms or specific rules, after which tasks in each sub-area are assigned to individual robots. Subsequently, the operational task sequence for each robot within its sub-area is planned, followed by the generation of inspection routes for each robot. For instance, Zhu et al.33 utilized the k-means algorithm to cluster inspection nodes and assigned the resulting clusters to robots for inspection; they also proposed a boundary deployment strategy to optimize the positioning of boundary nodes. In an innovative enhancement to the K-means++ clustering process, Yuan et al.34 introduced a maximum cluster size constraint. This crucial modification ensures that the clustering results are well-matched with the actual carrying capacity of the robots. It effectively resolves the issue of task overload on a single robot to make multiple trips–thereby significantly improving the solution’s practicality. In terms of specific rules, Huang et al.35 developed a decoupled Traveling Salesman Problem (TSP)-based algorithm to manage task allocation and path planning for multiple unmanned aerial vehicles conducting pesticide spraying in densely forested hilly terrain, effectively decomposing the multi-UAV task allocation and path planning into several TSPs. Le et al.36introduced an algorithm that integrates routing and scheduling based on defined time-frames, aiming to address the limitations of traditional methods which treat these tasks separately in multi-AGV systems, which restrict flexibility in path selection and collision avoidance. This algorithm integrates routing and scheduling within a single framework, thereby eliminating the constraints associated with independent execution. Additionally, Guo et al.37 introduced a multi-robot task scheduling method that employs a discrete encoding approach to decouple task allocation from path planning.

Researchers worldwide have developed a variety of optimization objectives and constraints that address the practical requirements of multi-robot industrial inspection, task allocation, and path planning, and establishing corresponding mathematical models. For instance, lu et al.38 conceptualized agricultural plots as task nodes, incorporating workload attributes into each node to account for the limited workload capacity associated with each inspection task. They introduced a reinforcement learning-driven attention mechanism for policy optimization that aims to balance robot workload, ensuring they are neither overloaded nor underutilized; however, this network did not account for inter-robot collisions. In contrast, nguyen et al.39 achieved improved estimation of travel times and sequential arrival times in multi-AGV systems by incorporating the robots load status and adaptive acceleration of arrival time sequences, thereby enabling a more precise prediction of inter-robot collisions. Zhang et al.40 examined the problem of assigning tasks to multiple robots while considering both time window and precedence constraints. They proposed a graph-based batch processing framework (BMRTA), which effectively solves the multi-robot task allocation problem under the combined constraints of time windows and task precedence. In practical industrial applications, enhancing inspection efficiency, ensuring safety, and balancing workloads often necessitates the simultaneous optimization of multiple objectives. Consequently, researchers in the multi-robot inspection domain have proposed multi-objective optimization models and algorithms. For instance, Majumder et al.41 developed a novel multi-objective algorithm that optimizes both robot task completion time and fuel consumption to address challenges in path planning and task allocation, ultimately yielding more efficient and energy-saving multi-robot inspection systems. Wei et al.42 reformulated the collaborative multi-robot task allocation challenge as a multi-objective variant of the multiple traveling salesman problem. Their approach seeks to reduce both the cumulative distance traveled by all robots and the maximum workload borne by any single robot. Similarly, Luo et al.43 introduced a multi-objective optimization model for chemical safety inspections that incorporates robotic gas detection sensitivity, thereby reducing travel distances while enhancing the detection capabilities for hazardous gas leaks.

In large-scale, complex, and high-risk industrial environments, the necessity for multiple heterogeneous robots to achieve functional complementarity, collaborative perception, and parallel operation during inspection processes is increasingly evident. In response, researchers have begun to investigate scenarios in which heterogeneous robot systems perform inspection tasks and have developed corresponding algorithms. For example, Bai et al.14 addressed tasks with temporal logic constraints by considering scenarios that involve cooperative tasks requiring the collaboration of two robots. Similarly, Ye et al.44 devised a two-phase strategy that categorizes construction tasks into distinct types. Their task allocation method considered not only the capabilities of individual robots but also the aggregated potential of robot teams, thereby ensuring that each task group was assigned the most suitable team. Additionally, Chakraa et al.45 established a mathematical model that accounts for the sensor limitations present in robots during inspection tasks . Chakra et al.46 examined the collision issue in multi-robot systems involving heterogeneous robots and tasks, and they proposed a clustering-based task allocation strategy for addressing large-scale homogeneous tasks and isomorphic robot allocation challenges.

Table 1 summarizes and compares the characteristics of relevant papers in the literature, including the types of problems considered, the types of algorithms used. The full names of the relevant abbreviations are shown in Supplementary Table S1 in the Appendix. Figure 1 summarizes recent accomplishments in the field of multi-robot task allocation, highlighting the significant contributions of researchers over the past few years. Usually the focus of research is on homogeneous robots, and there is relatively little research on the collaborative optimization problem of task allocation and inspection Hamiltonian routing for multi heterogeneous inspection robots. In addition, the design form of operators is usually discrete, and the accuracy and convergence speed of solving algorithms still need to be improved.

Table 1 Introduction to related work.
Fig. 1
Fig. 1
Full size image

Recent accomplishments in the field of multi-robot task allocation.

Description of the MHRTA problem

Description and assumptions

The robot chemical inspection task allocation problem, which takes the robot inspection travel cost as the optimization objective and considers the constraints of terrain pass ability for robots at the inspection task locations and the applicability of sensors carried by robots for the inspection tasks, is represented as: In a chemical industrial park, there are m heterogeneous robots and n inspection tasks, where \(m,n\in Q=\{1,2,3,\ldots \}\), and \(m<n\). An oriented graph G(TE) is defined, where \(T=\{0,1,2,\ldots ,n\}\) is the set of inspection tasks and the robot warehouse, Here, 0 represents the robot warehouse. Each edge in the directed graph must satisfy \(i,j\in E\) with \(i \ne j\) The set E is associated with the weights \(d_{ij}\) where \(d_{ij}\) denotes the travel cost between two inspection tasks i and j, since each inspection can only be executed by a robot that satisfies the relevant conditions, the set of inspection tasks is divided into m non-empty subsets, The inspection task set \(T_{k}\) is used to represent the inspection tasks that each robot is capable of performing. where k warehouse the index of the robot, \(\forall k\in Z=\{1,2,3\ldots ,n\}\). The robot’s route matrix is warehouse as \(X=[x_{i,j}]\), All robots need to depart from the robot warehouse to carry out inspection tasks and eventually return to the robot warehouse. Each inspection task needs to be assigned to one robot for execution. Fig. 2 illustrates an example of a robot chemical inspection simulation environment. In the example, the chemical enterprise has two wheeled robots equipped with different sensors and a quadruped robot. The types of inspection tasks are divided into two categories: inspection of oil storage tanks and inspection of distillation towers. Among them, the inspection of distillation towers, which requires climbing stairs, can only be carried out by the quadruped robot. The objective is to allocate appropriate inspection tasks to each robot and to plan a Hamiltonian routing for the robots that begins and ends at the warehouse, with the goal of reducing the robots’ travel cost. The study operates under the following assumptions:

(1) The battery level of the robot in this article is sufficient to complete one inspection task (i.e., the battery level is sufficient).

(2) The priority of each inspection task is the same, and there is no time window constraint for individual tasks.

Fig. 2
Fig. 2
Full size image

Example of a robotic chemical plant inspection simulation environment.

Mathematical model

The symbols employed in this section are detailed in Appendix Supplemental Table S2. In this study, we present an integer linear programming model designed to minimize robot inspection travel costs while accounting for the constraints associated with terrain passability at various task locations and the suitability of sensors for different inspection tasks in chemical plants. The resulting model is formulated as follows:

$$\begin{aligned} \text {MIN} \left\{ \sum _{i,j \in T} x_{ijk} \times d_{ij} \mid i \ne j, k \in \mathbb {Z} \right\} \end{aligned}$$
(1)

Subject to constraints.

$$\begin{aligned}&\sum _{i=1}^{n} x_{0ik} = \sum _{i=1}^{n} x_{i0k} = 1 \quad \forall k \in \mathbb {Z} \end{aligned}$$
(2)
$$\begin{aligned}&\sum _{i} \sum _{j} x_{ijk} = 0 \quad&\quad i \in T_k, j \in T \setminus (0 \cup T_k), k \in \mathbb {Z} \end{aligned}$$
(3)
$$\begin{aligned}&\sum _{i} \sum _{j} x_{ijk} = 0 \quad&\quad i \in T \setminus (0 \cup T_k), \, j \in T_k, \, k \in \mathbb {Z} \end{aligned}$$
(4)
$$\begin{aligned}&\sum _{j=0}^{n} \sum _{k=1}^{m} x_{ijk} = 1 \quad \quad i \in T \setminus \{0\}, j \in T, i \ne j, k \in \mathbb {Z} \end{aligned}$$
(5)
$$\begin{aligned}&\sum _{j=0}^{n} \sum _{k=1}^{m} x_{ijk} = \sum _{j=0}^{n} \sum _{k=1}^{m} x_{jik} = 1 \quad&\quad i \in T, k \in \mathbb {Z}, i \in T, i \ne j \end{aligned}$$
(6)
$$\begin{aligned}&u_{ik} - u_{jk} + (n-1) \cdot x_{ijk} \le n \quad \forall i, j \in T_k, k \in \mathbb {Z} \end{aligned}$$
(7)

The optimization objective in Eq. (1) seeks to minimize the travel cost incurred by the robots during inspection tasks. Constraint (2) ensures that each robot commences its route from the robot warehouse and returns there upon completing its assigned inspection task. Constraints (3) and (4) guarantee that the robots do not engage in inspection tasks beyond their capacity limits. Constraint (5) mandates that each inspection task, except for the robot warehouse, is performed only once. Constraint (6) requires that after a robot arrives at an inspection point and completes the corresponding task, it must depart from that point and proceed to the next designated inspection site. Finally, Constraint (7) prohibits the formation of sub-inspection routes, thereby ensuring that each robot’s itinerary constitutes a single loop starting and ending at the robot warehouse.

Improved AO

Traditional AO

The Artemisinin Algorithm24 is a novel metaheuristic optimization method inspired by the distribution and function of artemisinin in the human body. By emulating the natural mechanisms for detecting and combating the malaria pathogen, the algorithm seeks to determine the optimal solution to a given problem. In this framework, each candidate solution is conceptualized as the “position of an artemisinin molecule,” and the search space is analogous to the environment occupied by the malaria pathogen. This process is mathematically represented by the following equations:

(1) Comprehensive Elimination Phase of AO: Simulating the initial stage of artemisinin molecules in malaria treatment, In this phase, a probability factor \(r_{1}\) is introduced. When \(r_{1}<K\) , it enters the comprehensive elimination phase. Eq.(8) represents the update method for the position of artemisinin molecules in this phase:

$$\begin{aligned} {\left\{ \begin{array}{ll} a_{i,j}^{t+1} = a_{i,j}^t + c \cdot a_{i,j}^t (-1)^t & \text {if } r_1< 0.5 \text { and } r_2< K \\ a_{i,j}^{t+1} = a_{i,j}^t + c \cdot a_{\text {best},j}^t (-1)^t & \text {if } r_1< 0.5 \text { and } r_2 < K \end{array}\right. } \end{aligned}$$
(8)
$$\begin{aligned} K = 1 - \frac{t^{1/6}}{t_{\max }^{1/6}} \end{aligned}$$
(9)
$$\begin{aligned} c = 1 \cdot e^{-(4t/t_{\max })} \end{aligned}$$
(10)

In the Eqs.(8)-(10), \(a_{i,j}^t\) and \(a_{i,j}^t+1\) represent the positions of the artemisinin molecules before and after the update, respectively. \(a_{best,j}^t\) denotes the current optimal position of the artemisinin molecule; \(t_{max}\), t decibels represent the maximum and current iteration times. c represents the drug concentration factor. The random variables \(r_{1}\) and \(r_{2}\) follow a uniform distribution over the interval [0, 1].

(2) Local Elimination Phase: In the local elimination phase, the patient continues to receive a low dose of artemisinin medication to make sure that all malaria parasites are completely eliminated. Eq.(11) represents the update method for the position of artemisinin molecules in this phase:

$$\begin{aligned}&a_{i,j}^{t+1} = a_{b3,j}^t + d \cdot (a_{b1,j}^t - a_{b2,j}^t), \quad \text {if } r_3 < f_{\text {norm}}(i) \end{aligned}$$
(11)
$$\begin{aligned}&f_{\text {norm}}(i) = \frac{[f(i) - \min (f)]}{[\max (f)] - \min (f)} \end{aligned}$$
(12)
$$\begin{aligned}&b_1, b_2, b_3 \sim U(1, N), \quad b_1 \ne b_2 \ne b_3 \end{aligned}$$
(13)

In the Eqs.(11)-(13), \(f_{norm}(i)\) represents the normalized fitness, min(f) indicates the minimum fitness, \((f_{i})\) represents the fitness value of the artemisinin molecule vector at the current iteration, max(f) denotes the maximum fitness. d is a random coefficient within the interval [0.1, 0.6], The random variable \((r_{3})\) follow a uniform distribution over the interval [0, 1].

(3) Later Consolidation Phase: In this phase, it is assumed that parasites still exist within the human body, and there is still a possibility of malaria relapse. In this phase, the method for updating the position of artemisinin molecules is represented by Eq.(14).

$$\begin{aligned} {\left\{ \begin{array}{ll} a_{i,j}^{t+1} = a_{i,j}^t & \text {if } r_4< 0.05 \\ a_{i,j}^{t+1} = a_{\text {best},j}^t & \text {if } r_5 < 0.2 \end{array}\right. } \end{aligned}$$
(14)

In which \((r_{4})\) and \((r_{5})\) are random numbers ranging between [0, 1].

Due to space limitations, a detailed introduction to the AO algorithm can be found in reference24.

Improved strategy

This study proposes an Improved Artemisinin optimizer (IAO) that integrates three strategies. Improving the position update strategy of artemisinin molecules in the comprehensive elimination phase of the AO algorithm by incorporating concepts from the slime mold algorithm(SMA). and designing a nonlinear curve as the probability factor in the later consolidation phase to balance the AO’s search capability. Additionally, self-adaptive t distribution mutation is incorporated to decrease the likelihood of the AO getting stuck in local optima.

The SMA’s idea for updating positions

Because comprehensive clearing phase of the AO algorithm relies on random symbols t for updating the positions of artemisinin molecules, this perturbation method lacks directionality and may lead to low search efficiency. And the update step size is completely controlled by the attenuation factor c. In the later stage of iteration, if the disturbance is too small, it is easy to fall into local optima (see the introduction of AO algorithm for specific formulas). In 2020, Li et al.47 proposed the slime mold algorithm by simulating the behavior changes of slime molds in nature. This new meta heuristic algorithm has the advantages of strong robustness, fast optimization speed, and simple parameter tuning. In the slime mold algorithm, the weight W is inversely proportional to the fitness t, achieving elite guided search and allowing the algorithm to search towards the elite region. The oscillation amplitude t is randomly selected within the range of -a to a (a variable related to the number of iterations), which can enhance the ability of artemisinin molecules to expand into new search regions. We solve the problem of low search efficiency in the comprehensive clearance stage of the AO algorithm by introducing adaptive weights and oscillation behavior of the slime mold algorithm. The improved position update formula for the comprehensive elimination phase of AO, incorporating concepts from the slime mould algorithm, is presented as follows:

$$\begin{aligned} a_{i,j}^{t+1} = {\left\{ \begin{array}{ll} X_b(t) + V_b \cdot (W \cdot X_A(t)) - X_B(t) & \text {if } r< p, r_6< K \\ V_C \cdot X(t) & \text {if } r \ge p, r_6 < K \end{array}\right. } \end{aligned}$$
(15)
$$\begin{aligned} K = 1 - \left( \frac{t^{1/6}}{T_{\max }}\right) ^{1/6} \end{aligned}$$
(16)
$$\begin{aligned} a = \arctan \left( -\left( \frac{t}{T_{\max }}\right) + 1\right) \end{aligned}$$
(17)
$$\begin{aligned} p = \tanh \left| S(i) - DF \right| \end{aligned}$$
(18)

In the Eqs.(15)-(18), Eq.(15) describes the slime mould’s foraging process, which represents the position update strategy in this phase; \(a_{i,j}^t+1\) denotes the newly generated position of the slime mould ; The parameter \(v_{b}\) takes random values within the interval [-a, a]. The random variables \(r_{6}\) follow a uniform distribution over the interval [0,1]; parameter \(V_{c}\) decreases linearly during the foraging process; \(X_{b}\) represents the individual position where the odor concentration is the highest. t denotes the current iteration count; X indicates the current position; \(X_{A}\) and \(X_{B}\) represent any two arbitrary positions of the slime mould; W indicates the current mass of the slime mould individual; \(T_{max}\) denotes the maximum iteration number; Eq.(18), \(S_{i}\) denotes the fitness value of the slime mould, where i signifies the population index, while \(D_{F}\) corresponds to the optimal fitness value. Moreover, the mathematical expression for the slime mould’s mass parameter W under varying food concentration conditions is formulated as follows:

$$\begin{aligned} W(S_r) = {\left\{ \begin{array}{ll} 1 + r \cdot \log \left( \frac{bF - S(i)}{bF - wF} + 1\right) & \text {if } i \le N/2 \\ 1 - r \cdot \log \left( \frac{bF - S(i)}{bF - wF} + 1\right) & \text {else} \end{array}\right. } \end{aligned}$$
(19)
$$\begin{aligned} s_r = \text {sort}(S) \end{aligned}$$
(20)

In the Eqs.(19)-(20), N/2 represents half of the total number of slime molds; \(b_{F}\) and \(w_{F}\) are used to represent the best and worst fitness, respectively; \(s_{r}\) represents the sorted fitness sequence. sort denotes the ascending order of the swarm’s fitness.

Design a nonlinear probability factor

In the later consolidation stage, the original AO algorithm used fixed probabilities (0.05 and 0.2) to determine whether to update the position of artemisinin molecules. 0.05 and 0.2 are empirical values that cannot adapt to the characteristics of different problems, lack adaptability, and limit the search ability of the AO algorithm. By simulating the phenomenon of decreasing recurrence probability over time in malaria treatment, the AO algorithm has a relatively high mutation probability in the early stages of iteration, ensuring that the algorithm has a certain exploration ability in the early stages. A nonlinear curve D is designed as the probability factor, due to the non-linear probability factor of the design decreasing with the increase of iteration times, the algorithm also has a certain local search ability in the later stages of iteration. Eqs.(21) and (22) represent the movement methods of artemisinin molecules in the later consolidation phase of the improved AO algorithm.

$$\begin{aligned} & D = a \times \sqrt{\left( 1 - \frac{t}{t_{\text {max}}}\right) ^{\frac{1}{10}}} \end{aligned}$$
(21)
$$\begin{aligned} & a_{i,j}^{t+1} = a_{\text {best},j}^t, \text { if } \text {rand} < D \end{aligned}$$
(22)

In the Eqs.(21)-(22), D represents the probability factor determining whether to execute the consolidation phase. \(a_{i,j}^t+1\) denotes the updated position of the artemisinin molecule, \(a_{best,j}^t\) is the current best position of the artemisinin molecule, and \(a \in [0,1]\) serves as the coefficient of the probability factor, which controls both the decay magnitude and initial probability. The nonlinear convergence curves with coefficients a=0.2, 0.8, and 0.5 are shown in Fig. 3.

Fig. 3
Fig. 3
Full size image

The curve of the probability factor D varying with the number of iterations.

Introducing a self-adaptive t distribution

In the later stage of AO algorithm iteration, artemisinin molecules quickly gather near the current optimal position, greatly reducing the search ability of the population and making it easy to fall into the local optimal solution. Many scholars have chosen to introduce mutation operators for perturbation. Among the many mutation operators, t-distribution is widely used due to its advantages of Gaussian mutation and Cauchy mutation. Although AO itself performs well in global exploration and convergence speed, its local development ability needs to be strengthened when dealing with complex multimodal problems. For the t-distribution, when \(t(m \rightarrow \infty ) \rightarrow N(0,1), \quad N(0,1)\) is a Gaussian distribution, and \(t(m = 1) = C(0,1) \text {, } C(0,1)\) is a Cauchy distribution. The relationship between the t-value and the Gaussian and Cauchy distributions is shown in Fig. 3. Therefore, adaptive t-distribution mutation can dynamically adjust the intensity of mutation according to the iteration process during algorithm operation. Early iteration mutation, similar to Cauchy mutation, exhibits heavy tailed characteristics, and its random sampling values are relatively easier to obtain larger values, enhancing the ability to global exploration and escape from local optima. During the iteration process, the algorithm’s mutation strategy tends towards a transitional form that balances exploration and exploitation capabilities. As the number of iterations increases, the degrees of freedom of the t-distribution increase. Similar to the Gaussian distribution, its random sampling values are then more likely to obtain smaller values. Therefore, introducing an adaptive t-distribution enhances the local exploration capability of the AO algorithm. The t-distribution48 has the following probability density function:

$$\begin{aligned} p_t(x) = \frac{\Gamma \left( \frac{n+1}{2}\right) }{\sqrt{n\pi }\cdot \Gamma \left( \frac{m}{2}\right) } \cdot \left( 1 + \frac{x^2}{n}\right) ^{-\frac{n+1}{2}}, -\infty< x < \infty \end{aligned}$$
(23)

In the Eq.(23), \(\Gamma \left( \frac{n+1}{2}\right) = \int _{0}^{+\infty } x^{\left( \frac{n+1}{2}-1\right) } e^{-x} \,dx\) signifies the second kind of the Euler integral.

The number of iterations plays a role in tuning the degrees of freedom in the t-distribution, which helps to balance local search and global exploration. For the t-distribution, when \(t(m \rightarrow \infty ) \rightarrow N(0,1), \quad N(0,1)\) is the Gaussian distribution, \(t(m = 1) = C(0,1) \text {, } C(0,1)\) is the Cauchy distribution. The distribution of the Cauchy distributions and both the t and Gaussian distribution is shown in Fig. 4.

Fig. 4
Fig. 4
Full size image

The t-distribution, Gaussian distribution and Cauchy distribution curves.

An self-adaptive t distribution-based mutation strategy is applied to individually perturb the positions of each Artemisinin molecule, with the specific formulations detailed as follows:

$$\begin{aligned} a_i^{t+1} = a_i^t + a_i^t \cdot t(\text {(iter}) \end{aligned}$$
(24)

In the Eq.(24), \(a_{i}^t+1\) represents the perturbed artemisinin molecule position, \(a_{i}^t\) the original position, and t(iter) is a parameter of the same size as the number of iterations.

While the self-adaptive t distribution perturbs the current position of the artemisinin molecule, it does not ensure that the fitness value of the perturbed position is superior to that of the original position. Consequently, a greedy strategy is incorporated, with the selection formula given as follows:

$$\begin{aligned} newa_i^{t+1} = {\left\{ \begin{array}{ll} a_i^{t+1} & \text { if } f(a_i^{t+1}) < f(a_i^t) \\ a_i^t & \text { if } f(a_i^{t+1}) \ge f(a_i^t) \end{array}\right. } \end{aligned}$$
(25)

In the Eq.(25), \(f(a_i^{t})\) denotes the original fitness, \(f(a_i^{t+1})\) represents the fitness of the perturbed molecule, and \(newa_i^{t+1}\) indicates the new position information of the artemisinin molecule following the greedy selection.

The pseudocode of the improved Artemis Optimization (IAO) algorithm, which integrates three strategies, is shown in Algorithm 1.

Algorithm 1
Algorithm 1
Full size image

IAO algorithm.

The IAO-v algorithm for solving the MHRTA problem

The AO algorithm is only suitable for continuous optimization problems, whereas the MHRTA is a discrete combinatorial optimization problem. Therefore, setting up an appropriate encoding scheme to discretize the artemisinin molecules of the AO algorithm is the primary issue. Considering the applicability of heterogeneous robots to perform different inspection tasks, a two-level encoding scheme is adopted to establish a mapping between the encoding and the solution space. To confront the NP-hard challenge of the cooperative optimization problem for task allocation and Hamiltonian routing-based inspection in heterogeneous multi-robot systems, a variable neighborhood search strategy49 is integrated into the IAO algorithm to boost its local search capability in the later stages when solving the MHRTA problem.

Encoding scheme

Reference50 introduces a transformation mechanism that maps continuous algorithms onto the solution space of the discrete flexible workshop scheduling problem to assign workpieces to machines. In this study, we employ this conversion mechanism to establish a mapping between the encoding scheme and the inspection tasks allocated to the robot. Additionally, the LPV (Large Position Value) rule51 is applied to project the encoding into the solution space of the robot inspection Hamiltonian circuit. The overall problem is divided into two subproblems: (1) assigning pending inspection tasks to robots and (2) determining the sequence in which these tasks are executed, thereby establishing a Hamiltonian routing for robotic inspection paths. Each artemisinin molecule is represented using a randomized two-level encoding scheme with both levels of equal length. The encoding format is detailed in Equation (26).

$$\begin{aligned} X = \left\{ \begin{array}{@{}ll@{}} x_{11} & x_{12} \cdots x_{1l} \\ x_{21} & x_{22} \cdots x_{2l} \end{array} \right\} \end{aligned}$$
(26)

In which, each element in X takes any value within the range \([\varepsilon ,\varepsilon ]\). The value of \(\varepsilon\) can be any appropriate integer, l represents the number of inspection tasks in the chemical plant. Assuming there are 12 inspection tasks in the chemical park, the length of the vector of the artemisinin molecule is 12, and Assuming that the value of \(\varepsilon\) is 10, then each element in X takes any value within the interval [10,10] and is stored in a certain order. Fig. 5 demonstrates an example of the encoding scheme. In which, \(A_{i}\) A denotes the pending inspection task numbered i. Specifically, the first layer of the artemisinin molecule vector X indicates which robot is assigned to each inspection task, while the second layer specifies the order in which the assigned robot performs the tasks.

Fig. 5
Fig. 5
Full size image

An example of the two-layer encoding scheme.

According to Equation (27), the first layer of the artemisinin molecular vector is transformed into an index representing the available robots for the inspection task, thereby determining the identification numbers of the robots assigned to execute the task.

$$\begin{aligned} z_i = floor (\frac{x_{1i} + \varepsilon }{2 \varepsilon }(s_i) ) + 1 \end{aligned}$$
(27)

In the Eq.(27), floor represents the down rounding operation, i denotes the number of the inspection task, \(\varepsilon\) can be any appropriate integer value, \(S_{i}\) represents the number of robots suitable for inspection task i. \(z_i \in [1, s_i]\) indicates the index of the robot assigned to inspection task i from the set of available robots for that task. In other words, the robot at position \(z_i\) in the robot set is designated to perform inspection task i. Fig. 6 illustrates an example of decoding the first-layer encoding.

Fig. 6
Fig. 6
Full size image

The decoding example of the first-layer encoding.

We employ the Large Position Value (LPV) rule51 to map the encoding into the solution space corresponding to the Hamiltonian loop for robot inspection. Based on Eq. (27), which assigns each inspection task to a specific robot, the second layer of the encoding–representing the artemisinin molecule–is sorted in ascending order by size. This ordering reflects the sequence in which the robot executes the inspection tasks, thereby establishing the Hamiltonian routing for the robotic inspection paths. Assuming all inspection tasks are allocated to a single robot, Fig. 7 illustrates the decoding of the second encoding layer. Algorithm 2 presents the pseudo-code for decoding using the two-layer encoding approach.

Fig. 7
Fig. 7
Full size image

The decoding example of the second-layer encoding.

Algorithm 2
Algorithm 2
Full size image

Two layer encoding algorithm.

A description of constraint handling

In Section 3 of this paper, dedicated to the MHRTA problem formulation, we provide a detailed description of the optimization objectives and constraints. The following exposition comprehensively explains how these constraints are addressed during the decoding process.

1) Constraint Handling for Eq.(2): Constraint Eq.(2) ensures that the beginning point of each robot is the warehouse and returns to the warehouse after completing the inspection task. A detailed example of constraint handling is illustrated in Fig. 8. Assuming that inspection tasks \([A_1, A_2, \ldots , A_{A_{14}}]\) are assigned to robot number 1, the order in which robot number 1 performs the inspection tasks can be obtained by decoding according to the encoding scheme. To enforce the constraint that each robot departs and returns to the robot warehouse after completing all assigned inspection tasks, the visit order of the robot warehouse (\(A_{0}\)) is set to the first and last positions, while the execution order of other tasks is incrementally assigned sequential indices starting from 2. This ensures that the solution meets the specified constraints.

Fig. 8
Fig. 8
Full size image

Equation (2) Constraint handling example.

2) Handling of constraints Eq.(3) and Eq.(4): Constraints (3) and (4) ensure that robots do not perform tasks beyond their capability limits, According to Eq.(24), \(s_{i}\) represents the number of robots available for inspection task i, and j indicates the index of the robot assigned to inspection task i within the set of available robots for that task, and \(z_i \in [1, s_i]\) indicates the index of the robot assigned to inspection task i within the set of available robots for that task. Therefore, the robot assigned to each inspection task is selected from the set of robots capable of performing the task, thus avoiding the generation of infeasible solutions under this constraint.

3) Handling of constraints Eqs.(5)-(7): Eq.(5) ensures that each inspection task, except for the warehouse, is performed only once, and guarantees that after completing an inspection task, the robot must leave and proceed to the next inspection point. Eq.(6) ensures that after each robot arrives at an inspection point and completes the task, it must leave that point and move to the next inspection point. Eq.(7) prohibits the formation of sub-inspection routing, ensuring that the path of each robot forms a unique routing starting from and returning to the warehouse. Fig. 9 further elaborates on how the encoding scheme handles the constraints specified in Eqs.(5)-(7). As shown in Fig. 9, 12 inspection tasks are allocated to 3 robots. Since each inspection task is uniquely assigned to a robot via the first-layer encoding, and the second-layer encoding ensures a unique execution order for each robot’s assigned tasks during decoding, the inspection route of each robot forms a Hamiltonian routing that starts from the robot warehouse, visits all designated inspection points, and finally returns to the warehouse. Thus, the constraints in Eqs.(5)-(7) are satisfied.

Fig. 9
Fig. 9
Full size image

Overall Encoding Scheme Decoding.

Introducing variable neighborhood search

The IAO algorithm introduced in this study incorporates several parameters during its search process, including the search step size and the drug concentration attenuation index. These parameters affect the algorithm’s performance, and their optimal values vary with the scale of the solution space. Consequently, there is an increased risk of the algorithm becoming trapped in a local optimum when addressing the MHRTA problem. To mitigate this issue, we propose an enhanced version of the IAO algorithm, termed IAO-V, which integrates a variable neighborhood search strategy. In each iteration of the IAO algorithm, elite individuals–constituting the top 10% by fitness value–are selected, and a variable neighborhood search is executed on these elite individuals to refine the solutions. Three distinct neighborhood structures are applied to the decoded vector.

1) Neighborhood Structure \(N_1\): Inversion Operation, for the parent individual, randomly generate two distinct integers \(k_1\) and \(k_2\) within the range \([1, A_n]\) as inversion points, where \(A_n\) denotes the total number of inspection tasks. An illustration of this inversion operation is provided in Fig. 10.

Fig. 10
Fig. 10
Full size image

Example of the inversion process.

2) Neighborhood Structure \(N_2\): Swap Operation, for the parent individual, randomly generate two distinct integers\(k_1\) and \(k_2\) within the range \([1, A_n]\) as swap points, The elements at these two swap points are then exchanged. Fig.11 illustrates an example workflow of this operation.

Fig. 11
Fig. 11
Full size image

Example of the inversion process.

3) Neighborhood Structure \(N_3\): Mutation operation. For the parent individual, randomly generate an integer \(k_1\) within the range \([1, A_n]\), The element in the first-layer encoding is then randomly reassigned to a feasible solution, i.e., altering the robot assigned to task \(k_1\). Fig. 12 shows an example of the mutation operation.

Fig. 12
Fig. 12
Full size image

Example of the Mutation process.

The Variable Neighborhood Search is embedded into the IAO algorithm, as detailed in Algorithm 3. Assuming the population size of IAO is N, the dimension of the algorithm, i.e. the number of tasks, is n, and the number of robots is m, then according to Algorithm 2, the time complexity for calculating the population fitness value can be obtained as \(T_{1}=O (N (m+n))\). Assuming the maximum iteration number is MaxF, the time complexity of the main loop of IAO algorithm is \(T_{2}=O (MaxF \cdot N \cdot (m+n))\), so the time complexity of IAO can be obtained as \(T=T_{1}+T_{2}=O (MaxF \cdot N \cdot (m+n))\). It can be seen that the IAO algorithm has the same time complexity as traditional AO.

Due to the fact that the variable neighborhood search extracts the top 10% of elite solutions from the IAO algorithm, its population size is \(N \cdot 10\%\). The time complexity of the variable neighborhood search is \(T_{3}=O (N \cdot 10\% \cdot \lambda _{\textrm{max}} \cdot q_{max} \cdot (m+n))\). Since \(q_{max}\) and \(\lambda _{\textrm{max}}\) are generally small constants of 10 and 3, the time complexity of the variable neighborhood strategy is \(T3=O (N \cdot (m+n))\). Since IAO-v embeds a variable neighborhood search strategy in the IAO algorithm, the time complexity of IAO-v is \(T^{'}=T\cdot T_{3}= O(MaxF(N^{2}+n^{2}+m^{2})= O(N^{2})+n^{2}+m^{2})\).

Algorithm 3
Algorithm 3
Full size image

Variable neighborhood search algorithm.

The process of solving the MHRTA problem using the IAO-v algorithm

Figure 13 illustrates the process of addressing the multi-robot chemical inspection task allocation and Hamiltonian routing optimization problem using the IAO-v algorithm. Following the method architecture proposed in45, the solution process is divided into three phases: the preprocessing phase, the IAO-v algorithm phase, and the return phase. In the preprocessing phase, operational data from the chemical plant’s robotic inspection environment is utilized as input. This includes the quantities of various robot types and inspection tasks, as well as the locations of charging stations and task points. The facility map is loaded and represented as a grid graph, and the A* algorithm52 is employed to compute the shortest path costs for all inspection task pairs, with the results organized into an adjacency matrix. In the IAO-v algorithm phase, the computed adjacency matrix, together with information regarding the numbers of different robots and tasks, is used as input with the objective of minimizing the total travel cost for the robots. In this phase, the IAO-v algorithm is applied to enhance the fitness value. Finally, in the return phase, the task allocation and Hamiltonian routing solution derived from the improved AO algorithm, along with the path planning results from the A* algorithm, are integrated to compute the movement trajectory for each robot.

Fig. 13
Fig. 13
Full size image

Overall Flowchart of the Algorithm.

Experimental analysis

Numerical example experimental comparison

Experimental setup

Experimental Setup: The population size N was established at 30, and the maximum number of iterations \(Max_iter\) was set to 1000. All experiments were executed on the MATLAB R202a platform using a computer equipped with an Intel Core i7-13700H CPU operating at 2.4 GHz and 16.0 GB of RAM. Each algorithm was independently executed 30 times under identical environmental conditions.

Performance comparison of different improvement strategies

To evaluate the effect of different strategies on the Artemisinin optimizer, the AO algorithm, IAO algorithm, AO algorithm that introduced slime mold algorithm to change the method of updating artemisinin molecules (SAO), the AO algorithm with non-linear probability factor (NAO), and the AO algorithm with self-adaptive t distribution (AAO) are compared on the CEC2014 test functions53 for optimization performance analysis. In particular, the probability factor coefficient a is set to 0.2 for both IAO and NAO. The selected benchmark functions are listed in Table Table 2, where CEC01 and CEC02 are unimodal functions, CEC06 and CEC10 are multimodal functions, CEC17 and CEC18 are hybrid functions, and CEC27 and CEC30 are composition functions, all with a dimension \(d=30\).

Table 2 Introduction to selected CEC2014 functions.

Table 3 demonstrates that, among the eight benchmark functions, the SAO algorithm yields results that are closer to the theoretical optimum than those produced by the AO algorithm. With the exception of the unimodal function CEC01, the NAO algorithm exhibits superior optimization capability compared with the AO algorithm across all tested functions. Similarly, the AAO algorithm outperforms the AO algorithm on all test functions, except for the multimodal function CEC10. Notably, the IAO algorithm consistently provides enhanced optimization performance relative to the AO algorithm across all eight benchmark functions, thereby indicating the effectiveness of the integrated multi-strategy enhancements applied to the AO algorithm. The convergence curves of AO algorithm improved by different strategies are shown in Fig. 14.

Table 3 Performance comparison of improvement strategies.
Fig. 14
Fig. 14
Full size image

Comparative plot of convergence curves for various improvement strategies.

Comparison of the IAO algorithm with other algorithms

To further evaluate the optimization capability of the IAO algorithm, we selected IAO for comparison with the AO Algorithm , Rime Optimization Algorithm (RIME)54, Grey Wolf Optimization Algorithm (GWO)55, and Enterprise Development Algorithm (ED)56. Parameter configurations were set as follows: the soft frost parameter w of RIME was assigned its default value of 5, set the number of associated individuals in ED to 3, and the probability factor coefficient a of IAO was fixed at 0.2. Twenty-three benchmark functions from reference57 were employed to evaluate the optimization capabilities. Specifically, functions \(f_1-f_7\) represent unimodal functions, \(f_8-f_{13}\) represent complex multimodal functions, and \(f_{14}-f_{23}\) represent fixed-dimension multimodal functions.

Table 4 Comparison of optimization capabilities for Benchmark functions.

As shown in Table 4, the IAO algorithm performs well on functions \(f_1-f_7\). It is important to highlight that the IAO reaches the theoretical best value for functions \(f_1-f_4\). For functions \(f_5-f_7\), although IAO does not achieve the theoretical optimum in terms of average convergence accuracy, it demonstrates closer proximity to the theoretical optimum in both average accuracy and best-found solutions compared to other algorithms, along with the lowest standard deviation. This indicates the algorithm’s strong local exploitation capability, validating the optimization speed and effectiveness of the IAO algorithm. For functions \(f_8-f_{13}\), the IAO algorithm achieves smaller mean values and standard deviations in its 30 independent runs compared to other algorithms, except for function \(f_{13}\). Notably, it attains the theoretical optimum in terms of average convergence accuracy for function \(f_9\), which validates the IAO algorithm’s global search capability and stability. For functions \(f_{14}-f_{23}\), although IAO does not match the stability and optimization capability of RIME, GWO, or ED in some test functions, it generally outperforms the original AO algorithm across most cases.

The Wilcoxon rank-sum test is a nonparametric statistical method that is effective in detecting complex data distribution patterns. To comprehensively demonstrate the superiority of IAO, statistical analysis methods are employed to analyze each simulation result. Perform the Wilcoxon rank-sum test comparing IAO against the ED, GWO, ED, and RIME algorithms on benchmark test functions, and calculate the corresponding p-values. As indicated by Table 5, The symbols \(``+''\) , \(``=''\) , and \(``-''\) represent that the optimization performance of IAO is better than, equal to, and worse than other algorithms, respectively ,the p-values of the Wilcoxon rank-sum test for IAO are mostly less than 5%. This statistically indicates the advantage of IAO in optimizing benchmark test functions.

Table 5 Wilcoxon rank sum test results.

Simulation of inspection cases and algorithm comparison

Simulation of inspection cases

To evaluate the effectiveness of the proposed approach for addressing the Multi-Heterogeneous Robot Task Allocation (MHRTA) challenge, simulations were conducted within a robotic inspection environment, as depicted in Fig. 1. Considering the constraints imposed by terrain passability at inspection locations and the availability of heterogeneous robot types, we formulated an optimization objective aimed at minimizing the total travel costs for the robot fleet. Implemented in MATLAB, the proposed method optimally assigns inspection tasks to individual robots and determines the corresponding Hamiltonian routes for their inspection paths. The resulting multi-heterogeneous robot inspection routes are illustrated in Fig. 15. In the chemical plant, three robots \(R_{1}\), \(R_{2}\), and \(R_{3}\) are required to perform 21 inspection tasks. \(R_{1}\) and \(R_{2}\) are wheeled robots, while \(R_{3}\) is a quadruped robot. The inspection route for robot \(R_{1}\) and \(R_{2}\) are represented by a dashed line and a dotted line, respectively, whereas the routes for robots \(R_{3}\) is depicted with a solid line, inspection points are indicated by circles and triangles, with triangles denoting distillation columns. Due to their particular environmental constraints, tasks at distillation columns can exclusively be executed by the more robust \(R_{3}\) robot. In contrast, circles, which represent oil storage tanks, indicate tasks that may be performed by any of the three robots. Additionally, black areas denote obstacles, and the pentagram at the bottom of the figure represents the warehouse, serving as both the starting and ending point for all robots. The total travel cost computed using the proposed method is 262.99 meters. ?

Fig. 15
Fig. 15
Full size image

Multi-Heterogeneous robot inspection route map.

Comparative analysis of inspection test cases

Due to the confidentiality of the layout information of the chemical plant, we have synthesized eight sets of test cases based on our understanding and knowledge of the chemical plant layout to assess the performance of the IAO-v when addressing the MHRTA problem. With the parameters detailed configurations shown in Table 6. In the test cases, where \(M_{T}\) represents the number of tasks, \(M_{R}\) the number of robots. \(N_{T}\) represents the number of different task types, and each \(N_{T}\) is an array of 1 row and 8 columns, with each column representing a task type. Therefore, a total of 8 task types are considered. Reference45 considers 5 task types, including fire detection, specific area photography, etc. This paper also adds three task types: voiceprint detection, required robot passing ability, and valve opening and closing operation. Take Case 1 in Table 6: \(N_{T}\) indicates that Case 1 contains 0 tasks of the first type, 3 tasks each of the second and third task types, 5 tasks of the fourth type, and so on for the remaining task types. \(N_{R}\) represents the number of different robot types, and each \(N_{R}\) is an array of 1 row and 5 columns, with each column representing a robot type. Taking Case 1 in Table 6 as an example, \(N_{R}\) indicates that there is 1 robot in the first category, 1 robot each in the second and third categories, and so on for the remaining categories. The applicability of different types of robots to various types of tasks is shown in Table 7, The symbol \(\checkmark\) indicates that this type of robot is suitable for the corresponding task type, while the opposite symbol \(\times\) indicates that it is not suitable.

Table 6 Test case parameters.
Table 7 Suitability of robots for task execution.

To evaluate the impact of population size, iteration times on solving the MHRTA problem. Sensitivity analysis is conducted by setting the population size and iteration times to different values. With all other parameters held constant, Case 6 was executed. As illustrated in Fig. 16, the figure delineates how the interplay between population size and iteration count influences the performance of both AO and ED algorithms when addressing MHRTA problems. It can be intuitively seen from Fig. 16 that as the population size and iteration times increase, The average value becomes better and eventually tends to stabilize. The reason is that the increase in population size improves search efficiency, while the increase in iteration times leads to an increase in search frequency and subsequent search accuracy.

Fig. 16
Fig. 16
Full size image

The influence of populations and iterations.

To investigate the impact of varying \(\varepsilon\) values on solving MHRTA problems, \(\varepsilon\) was selected from the set [5, 8, 15, 18, 20]. Sensitivity analysis was performed using test cases 6 and 7 to evaluate the results obtained by various algorithms under different \(\varepsilon\) values. With a population size of 100 and an iteration limit of 1000, Tables 8 and 9 present the computational outcomes for test cases 6 and 7, respectively, corresponding to different values of \(\varepsilon\). Analysis of these tables, together with the box plots of different \(\varepsilon\) values shown in Fig. 17, indicates that \(\varepsilon\) has little effect on algorithm performance. This is attributed to the fact that each element in the encoding is confined to the interval [–\(\varepsilon\),\(\varepsilon\)]. Upon initializing the population, the encoding elements are uniformly distributed within this range, and new individuals are generated by performing addition and multiplication operations that remain within [–\(\varepsilon\), \(\varepsilon\)]. Therefore, the magnitude of the new individuals is determined by comparative evaluation rather than direct mapping to the solution space.

Fig. 17
Fig. 17
Full size image

The influence of parameter \(\varepsilon\) on the algorithm.

Table 8 Analysis of the effect of \(\varepsilon\) Value on Algorithm performance in case 6.
Table 9 Analysis of the Effect of \(\varepsilon\) Value on Algorithm Performance in Case 7.

To assess the effect of the number of relevant individuals incorporated in the ED algorithm for addressing the MHRTA problem, we conducted a sensitivity analysis by varying this number across the set [1, 2, 3, 4, 5, 6]. In these experiments, the iteration count was fixed at 1000 and the population size at 100. Under otherwise identical conditions, tests were performed in both Case 6 and Case 7, with the results presented in Table 10. As shown in the table, increasing the number of associated individuals leads to a deterioration in solution quality. Consequently, for subsequent comparative experiments, we set the number of associated individuals to 1 and compared its performance with the algorithm proposed in this study.

Table 10 The impact of ED parameter values.

The improved artemisinin optimizer proposed in this paper is compared with other novel and classical metaheuristic algorithms as well as the CPLEX exact algorithm solver. GA and PSO adopted discrete encoding methods from the literature45, And other algorithms use the encoding scheme in this paper and set \(\varepsilon\) to 10. The population size is 100 and the number of iterations is 1000. Each algorithm was independently executed 10 times for comparison, with the results presented in Table 11, GA represents genetic algorithm, and PSO represents particle swarm optimization algorithm. AO represents the basic artemisinin optimization algorithm without any improvement mechanism, IAO denotes the improved AO algorithm with three strategies integrated, IAO-v indicates the IAO algorithm with the variable neighborhood search strategy embedded. Unit specifies the measurement units in the table, where m represents meters (length units), s represents seconds (time units), Bold indicates the optimal result for the same example, and only one algorithm has achieved this optimal result. After conducting sensitivity analysis on the relevant parameters of each algorithm, a basis is provided for setting the algorithm parameters in the experiment. The number of associated individuals in the ED algorithm is taken as 1. The crossover probability and mutation probability of GA are equal to 0.08. The individual learning factor and social learning factor of PSO are both 0.15, and the inertia weight is 0.5.

According to the data presented in Table 11, the improved Artemisinin Optimizer (IAO) algorithm exhibits superior mean values and lower standard deviations over 10 independent runs when compared to the AO, ED, and GWO algorithms, as well as the classical GA and PSO algorithms across all eight cases. This result highlights the enhanced effectiveness of the IAO integrated with three strategies in addressing the MHRTA problem. Although the CPLEX solver is capable of obtaining optimal solutions for cases 1, 2, and 4 within a relatively short time, it requires more time for case 2 relative to the metaheuristic algorithms. Moreover, owing to the NP-hard characteristics of the MHRTA challenge in the remaining test cases, the CPLEX solver struggles to compute solutions within polynomial time, with its computation time being capped at 540 seconds. Comparative results between CPLEX and the IAO-V algorithm indicate that IAO-V outperforms CPLEX in both computational time and solution accuracy. Furthermore, IAO-V achieves higher precision than other metaheuristic algorithms across all eight test cases analyzed in this study. These findings demonstrate that integrating a Variable Neighborhood Search strategy within the Artemisinin Optimization framework effectively enhances local search capabilities and overall performance in solving the MHRTA problem. Nevertheless, due to the inclusion of this strategy, the IAO-V algorithm requires more computational time compared to the original IAO algorithm.

Table 11 Comparison results of test case.

A box plot is a statistical chart that depicts the dispersion of a dataset, and it can reflect the stability of optimization outcomes. To validate the robustness of the IAO-V algorithm, we analyze box plots that compare the results of seven algorithms across eight test cases. Figure 18 presents the performance of each algorithm over varying test case sizes. In small-scale test cases, the IAO-V algorithm exhibits a substantially smaller interquartile range and lower average values compared to the other algorithms, with its median positioned closer to the lower quartile. In test case 7, although the interquartile range of the IAO-V algorithm is larger than that of the others, both its median and average values remain lower. These results indicate that the IAO-V algorithm demonstrates high stability and enhanced search capability in solving the MHRTA problem.

Fig. 18
Fig. 18
Full size image

Distribution of results from 10 independent runs.

To comprehensively demonstrate the superiority of IAO-V. The Wilcoxon rank-sum test is conducted on the results of IAO-V for eight different cases, comparing them with the results of ED, GWO, AO, and IAO algorithms, and the corresponding p-values are calculated. As indicated by Table 12, The symbols \(``+''\) , \(``=''\) , and \(``-''\) represent that the optimization performance of IAO-V is better than, equal to, and worse than other algorithms, respectively. ,the p-values of the Wilcoxon rank-sum test for IAO-V are mostly less than 5%. This statistically demonstrates the advantage of IAO-V in optimizing MHRTA problems, further demonstrating its robustness.

Table 12 Compared with the IAO-v Wilcoxon signed-rank test.

Conclusions

This paper introduces a method for the coordinated optimization of task allocation and Hamiltonian path planning for multiple heterogeneous robots using an improved Artemisinin optimizer. While the traditional AO algorithm is designed for continuous optimization, the Multiple Heterogeneous Robot Task Allocation (MHRTA) problem presents a discrete combinatorial optimization challenge. To address this, we adopt a two-layer encoding scheme that links the encoding space with the solution space, specifically targeting multiple-robot task allocation and Hamiltonian routing. Moreover, to mitigate the risk of the conventional AO algorithm becoming trapped in local optima, we propose an enhanced version that integrates three key strategies: incorporating concepts from the slime mold algorithm to modify the position update method of artemisinin molecules during the comprehensive elimination phase, introducing a self-adaptive t-distribution to boost global search capabilities, and employing a variable neighborhood search strategy to improve local search performance in the later stages of optimization, thereby addressing the NP-hard nature of the MHRTA problem.

Experiments conducted using several CEC2014 functions along with 23 benchmark functions demonstrate that the IAO algorithm outperforms alternative methods in terms of both performance and consistency. Additionally, in studies involving eight heterogeneous robot inspection scenarios, evaluations against other metaheuristic algorithms and the CPLEX solver reveal that the IAO-v algorithm exhibits superior optimization capabilities and stability in addressing the MHRTA problem. Future research will focus on the following key areas:

(1)We further emphasize the practical application requirements of chemical industrial parks by considering the domino effects of initial accidents and quantifying risk values across different zones. To address these challenges, we develop multi-objective optimization models and corresponding algorithms designed to minimize losses arising from accidents in these facilities.

(2) Incorporating a variable neighborhood search strategy into the IAO algorithm enhances the accuracy in solving MHRTA problems; however, it also moderately increases the algorithm’s time complexity. Future research will focus on developing new algorithms that improve accuracy without incurring additional computational costs.

(3) This study does not capture dynamic production changes, particularly uncertainty factors such as the random arrival of inspection tasks and robot malfunctions. Future research will incorporate stochastic elements into the task assignment process to enhance responsiveness in dynamic settings.