From a broader perspective, multi-objective optimization strategies can generally be categorized into three classes: a priori methods (where decision-maker preferences are predefined before optimization), a posteriori methods (which seek Pareto-optimal solutions to reflect trade-offs among objectives), and decomposition-based methods (which break the problem into multiple single-objective subproblems for collaborative solving). The SW + SDG framework proposed in this paper falls into the category of a decomposition-based a priori method: we express a priori preference through sequential optimization—first maximizing coverage, then minimizing energy consumption—and further decompose the NP-hard problem of jointly optimizing coverage and energy consumption into two subproblems. For each subproblem, dedicated and efficient algorithms (SW and SDG) are designed, thereby circumventing the difficulties faced by traditional single-algorithm approaches in handling multi-objective trade-offs.
4.1. Formulation of the Target Coverage Optimization Problem for Multi-UAV Systems
Maximizing user coverage is framed as a set cover problem, where the objective is to cover the set of users with a subset of UAVs at minimal cost. Specifically, given the constraints on the number of UAVs and their limited range of movement, it is necessary to ensure that at least one UAV covers each user.
To ensure maximum coverage of nodes, it is necessary to find an optimal total set
that covers as many target nodes as possible. We employ the binary coverage model Equation (
6) to rigorously achieve maximal coverage while maintaining computational efficiency and theoretical tractability:
To achieve optimal coverage, it is necessary to minimize the total Euclidean distance to multiple points by leveraging the geometric median:
where
is the deployment location of the
and
is the spatial location of the
. A smaller sum of the relative distances between
and
within each UAV’s communication coverage indicates a larger number of users covered by the UAV. Since the UAV is closer to the user group, it can cover more users, meaning that the number of elements included in the coverage set
is larger.
To address this problem, we will use the improved SW algorithm from
Section 4.3 to obtain the optimal coverage set
for the UAVs. We use target coverage rate as the evaluation metric [
32]:
To further minimize energy consumption during UAV swarm deployment, the optimal coverage set
generated in
Section 4.2 will be utilized as terminal positions for swarm mobility, upon which the energy model will be optimized.
4.2. Formulation of the Energy Optimization Problem for Multi-UAV Systems
During task execution, UAVs experience EC, which includes distance loss
between the assigned users and the UAV, and information loss
due to lack of communication between UAVs. The loss function for UAVs is expressed as [
33]:
where
L represents the loss of the UAV,
D is the sum of the distances between the UAV and the assigned location points, and
N is the total number of UAV resources surrounding each user. The coefficients
and
are the weighting factors for balancing distance loss and information loss and are positive real numbers.
To minimize the impact between coverage and EC, after solving the problem proposed in
Section 4.1 and obtaining the optimal total set
for the UAV swarm, we further optimize EC constraints. To achieve this, we propose the following optimization model:
The model introduces two key performance indicators: and . represents the sum of the straight-line distances between all users and their corresponding UAVs when applying the optimal coverage set strategy. This indicator reflects the proximity of the UAVs to the ground targets and is a key factor in measuring coverage efficiency. represents the sum of the number of UAVs deployed around each user in the optimal coverage set. This indicator is used to evaluate the balance of resource allocation and its ability to support task execution.
To solve this optimization problem, it is first simplified to:
Here, is a continuously differentiable function, , and Z is a subset of , , where is an n-dimensional Euclidean space.
4.3. Maximizing UAV Coverage Using the Strong Weiszfeld (SW) Algorithm
The proposed SW algorithm addresses the UAV positioning optimization problem by leveraging the geometric median and Weiszfeld algorithm [
34], as detailed in Algorithm 1. The geometric median minimizes the total Euclidean distance to multiple points, which is crucial for maximizing UAV coverage and minimizing travel distance. The strength of the SW algorithm lies in its ability to handle non-convex optimization problems commonly encountered in UAV deployment, where factors such as dynamic user distributions complicate the solution space. The calculation of the geometric median in Equation (
7) employs the conventional Weiszfeld algorithm, an iterative numerical procedure that converges to the geometric median by successively minimizing the specified objective function.
To find the optimal deployment location for each UAV
, the Weiszfeld algorithm iteratively updates the UAV’s position
to minimize
:
where
represents the new position of the UAV in the
-th iteration. The Weiszfeld algorithm seeks to minimize
by iteratively updating
, enabling each UAV to cover as many users as possible. During the iterative computation in Equation (
13), when
becomes extremely small, the term
tends to infinity. This situation may cause severe numerical instability, potentially leading to computational overflow, failure of algorithm convergence, or erroneous iterative results, ultimately compromising the accurate solution of the geometric median. To address this stability issue, we implement a dynamic adjustment strategy. In the initial iteration phase where data points are relatively dispersed, the occurrence of extremely small
values is unlikely.
Thus, we employ the original Equation (
13) for computation during this stage. As iterations progress, we continuously monitor the magnitude of
. Specifically, when
(where
is a predefined threshold), the algorithm automatically switches to a regularized computation scheme:
.
Here, is an infinitesimal positive constant that prevents denominator vanishing while minimally affecting the original algorithm’s weight distribution. This dynamic adjustment strategy allows full utilization of the original algorithm’s advantages during early iterations while ensuring numerical stability when potential risks emerge, thereby guaranteeing robust algorithm performance.
The algorithm selects the optimal center of coverage during the iteration process as the new deployment location for the UAV, denoted as
. To avoid falling into local optima, we introduce multiple perturbations to improve the Weiszfeld algorithm, forming the SW algorithm:
where
represents the pre-set small perturbation range at the k-th iteration and
is a random vector drawn from a probability distribution (e.g., normal distribution). It is worth noting that
is not constant across all UAVs and during the iterative process. We adopt a dynamic adjustment mechanism, specifically an exponential decay strategy:
. In the initial stage of the iteration, a relatively large value of
helps the algorithm to extensively explore the search space, increasing the probability of escaping from local optimal solutions. As the iteration progresses, the gradually decreasing value of
enables the algorithm to converge stably and precisely.
Algorithm 1: Strong Weiszfeld Algorithm |
| Input: Set of targets O, maximum number of UAVs n |
| Output: Optimized UAV positions set |
1 | Initialize parameters; |
2 | Set maximum iterations ; |
3 |
while (length() and length(T) ) do
|
4 | for each target in O do |
5 | Find the target with maximum coverage density ; |
6 | Perform Weiszfeld algorithm to find new center by (13); |
7 | if new coverage is better than current best then |
8 | Update ; |
9 | end |
10 | Perform perturbation on the new circle within a defined range ; |
11 | if coverage increases after perturbation then |
12 | Update the circle position with perturbed position by (14); |
13 | Update ; |
14 | end |
15 | if all targets are covered or maximum UAVs reached then |
16 | Break |
17 | end |
18 | end |
19 | Update the set of targets T by (15); |
20 | Update the best solution if a better solution is found; |
21 | end |
22 | return |
If the number of users covered by the updated UAV location
after a previous perturbation, the algorithm will perform another position perturbation. This iterative process continues in search of the optimal deployment position for the UAV, denoted as
. After the perturbation ends, the algorithm uses the aforementioned optimization method to iteratively calculate the precise optimal deployment point for each UAV based on the total number of UAVs. The final result is a set of optimal deployment locations for the UAVs
:
After the initial iterative search is completed, the algorithm introduces strategic small-scale perturbations to fine-tune the solution, avoiding local optima during the optimization process and achieving precise optimization of UAV deployment.
4.4. Enhancing System Energy Efficiency Using the Steepest Descent with Goldstein (SDG) Algorithm
In
Section 4.2, the SDG algorithm is selected for its effectiveness in addressing unconstrained optimization problems, particularly in the context of complex multi-UAV energy optimization. By incorporating gradient-based optimization techniques, the SDG algorithm enhances the traditional Steepest Descent (SD) method, improving both convergence speed and accuracy. Transforming the original problem into an unconstrained form simplifies the solution space, enabling the SDG algorithm to achieve reliable convergence due to the smooth gradient structure of the problem. Furthermore, its capability to handle large-scale and dynamic variables makes it highly suitable for multi-UAV systems. The detailed procedure of the SDG algorithm is presented in Algorithm 2. The SDG algorithm is particularly suitable for multi-UAV systems due to its ability to manage large-scale and dynamic variables [
35].
To optimize the objective function defined in Equation (
12), we employ an iterative algorithm characterized by the update process:
where
represents the new position of the UAV after
iterations and
represents the current position after
k iterations. In each iteration of the algorithm,
represents the increment generated by the
k-th iteration. Here,
is a positive scalar that represents the step size, determining the magnitude of the increment in each iterative update;
is a vector that represents the direction of the descent increment.
To ensure the convergence of this process, a direction search method is usually used first to determine the descent direction, followed by a line search method to obtain the optimal step size. The direction search algorithm uses the vector to represent the descent direction of the objective function at , which is a crucial step in finding the optimal point. This can be demonstrated from a mathematical perspective:
First, calculate the gradient vector
of the objective function
at the current iteration point
:
The gradient vector
points in the direction of the fastest increase of the function, so its opposite direction is the descent direction. That is, if
, then
is the descent direction of
, where
represents the transpose of the gradient vector
. Then, the search direction
is calculated:
where
is the identity matrix, ensuring the unit property of the search direction. Therefore, the search direction can be more concisely expressed as
. Once the search direction is determined, the next step is to select an appropriate step size
. The step size
determines the distance moved along the search direction in each iteration.
The iterative Equation (
17) is used to find the optimal value
, which is known as exact search. If the goal is only to find an
such that
has a sufficient decrease relative to
, then this process is known as an inexact search. Because the problem this study faces is high-dimensional and large-scale and requires high computational efficiency, an inexact search method based on the improved Goldstein rule is adopted. The improved Goldstein line search condition is defined to ensure sufficient function decrease:
where
is the objective function and
represents the unmanned terminal route point.
is the gradient of the objective function at
,
is the search direction, and
is the step size at step
k. Parameters
and
are used to control the selection of the step size, satisfying
. The right-hand inequality is the Armijo condition, ensuring that
is not too large, thus avoiding stepping out of the neighborhood of the optimal solution. The left-hand inequality prevents
from being too small, which would slow down the algorithm’s computational speed. Specifically, if
, it indicates that the step size
is excessively large. In this case, we reduce
by a factor of
(i.e.,
). Notably, to ensure algorithmic convergence, we enforce the upper bound constraint
. Conversely, if
, this signifies an insufficient step size. Consequently, we expand
by a factor of
(i.e.,
). When neither of these two conditions is met, the current
value is deemed appropriate for this iteration and is retained as the selected step size.
The inexact search method not only enables quick convergence to an acceptable solution but also exhibits robustness across a range of initial conditions and parameter selections, making it versatile for various problem instances. The SDG algorithm effectively integrates the inexact search approach with the traditional SD algorithm to achieve a satisfactory optimization solution while ensuring algorithm efficiency. This ensures quick response and cost-effectiveness in practical applications.
In terms of complexity, the SDG algorithm maintains a computational complexity comparable to the traditional SD method, approximately
per iteration, where
n represents the dimensionality of the problem. This linear complexity ensures that the algorithm is suitable for large-scale problems. As for convergence, by incorporating the inexact search approach, the SDG algorithm guarantees convergence to a local minimum under standard assumptions of smoothness and continuity of the objective function. The convergence rate is linear, similar to the traditional SD algorithm, but with enhanced practical performance due to its robustness in handling various initial conditions.
Algorithm 2: Steepest Descent with Goldstein Algorithm |
| Input: Set of UAVs position P,Set of maxmize coverage |
| Output: System energy consumption f, Optimal deployment points set V |
1 | Initialize parameters; |
2 | Set maximum iterations ; |
3 |
while (length(V) ) do
|
4 | for to do |
5 | if then |
6 | Break; |
7 | end |
8 | Compute the gradient of the objective function by (18); |
9 | Choose a descent direction by (19); |
10 | Initialize ; |
11 | whlie do |
12 | Determine the step size using a line search method by (20); |
13 | end |
14 | Update the solution by (17); |
15 | Check for convergence; |
16 | if converged then |
17 | Break; |
18 | end |
19 | end |
20 | end |
21 | return f |