Cooperative Planning for Fuel-constrained Aerial Vehicles and Ground-based Refueling Vehicles for Large-Scale Coverage
Low cost Unmanned Aerial Vehicles (UAVs) need multiple refuels to accomplish large area coverage. The number of refueling stations and their placement plays a vital role in determining coverage efficiency. In this paper, we propose the use of a ground-based refueling vehicle (RV) to increase the operational range of a UAV in both spatial and temporal domains. Determining optimal routes for the UAV and RV, and selecting optimized locations for refueling to aid in minimizing coverage time is a challenging problem due to different vehicle speeds, coupling between refueling location placement, and the coverage area at each location. We develop a two-stage strategy for coupled route planning for UAV and RV to perform a coverage mission. The first stage computes a minimal set of refueling sites that permit a feasible UAV route. In the second stage, multiple Mixed-Integer Linear Programming (MILP) formulations are developed to plan optimal routes for the UAV and the refueling vehicle taking into account the feasible set of refueling sites generated in stage one. The performance of different formulations is compared empirically. In addition, computationally efficient heuristics are developed to solve the routing problem. Extensive simulations are conducted to corroborate the effectiveness of proposed approaches.
Mapping and surveillance are important exercises undertaken in a variety of applications like remote sensing , biodiversity surveys [2, 3] and Intelligence, Surveillance, and Reconnaissance (ISR)  missions. Many of these applications involve surveys on a massive scale, both in terms of size and manpower. Manual operations can be strenuous and time consuming, ranging anywhere from a few days to weeks . Furthermore, some regions may not be reachable by land due to terrain restrictions, leading to incomplete surveys. The use of manned aircrafts is possible but it is expensive and provides limited range with regards to imagery due to altitude restrictions . Also, the noise generated by low flying manned aircrafts creates significant disturbance to the surroundings. Hence, small UAVs with on-board cameras have emerged as an economical alternative [6, 7] for mapping applications [3, 4]. They are capable of low-altitude, close-range imagery and generate less noise due to electric propulsion; additionally their hovering capability (in case of rotary-wing type aircraft) makes them suitable for stealth operations.
Even though there are several advantages of using a low-cost UAV, there also exist some limitations due to it’s small size and payload. A small take-off weight combined with sensor-payload, constraints the fuel capacity of the UAV. Thus, for any reasonable-sized mission, it is not feasible for the UAV to visit all points of interest or targets in a single sortie. The UAV may begin with maximum fuel, visit a set of targets, refuel at a refueling station and then resume the mission. It may need to refuel multiple times in order to visit all targets. Current state-of-the-art makes use of stationary refueling station(s) to refuel the UAV [8, 9]. The placement of refueling stations affect coverage area size and incurs additional cost for each refueling station. To the best of our knowledge, there is no work in the literature that explores placement strategies for refueling stations to improve area coverage. This work investigates the use of a ground-based refueling vehicle (RV) to increase the operational range of a UAV in space and time. Figure 1 illustrates a scenario for a coverage application. The UAV must visit all the targets (red squares) to complete the coverage mission. Limited fuel capacity makes the it incapable of visiting all targets in a single flight. The UAV must rendezvous with the RV, restricted to traverse on the road-network, to refuel. This admits placement strategies for UAV-RV rendezvous locations to improve coverage efficiency.
The success and cost of the mission, in terms of fuel consumed by the UAV, depends on the identification of an appropriate set of rendezvous locations for the UAV and the RV, referred to as refueling sites. The placement of refueling sites must ensure reachability of the targets and address fuel limitations of the UAV. In addition, as the RV is restricted to traverse on the road network, the refueling sites are restricted to be located on the road network. Furthermore, consecutive refueling sites must lie within road-distance that the RV can travel in one flight time of the UAV, to ensure timely refueling. The speed differential of the two vehicles and the fuel and terrain restrictions described above, build a strong coupling in the UAV and RV routes. In this scenario, the following fuel-constrained UAV routing problem with a mobile refueling station (FCURP-MRS) arises naturally:
Given a set of targets, a road network, a UAV and a RV; plan routes for the UAV and the RV such that each target is visited by the UAV, UAV and RV rendezvous at suitable locations on the road network to refuel as needed, UAV never runs out of fuel, and total distance traveled by the UAV is a minimum.
This work develops offline planning techniques to compute solutions to the problem and does not assume communication between the two vehicles. A two-stage strategy is designed for joint route planning for the UAV and RV to complete the mapping operation and rendezvous as needed. Contributions of this paper are the following:
A two-stage approach to solve FCURP-MRS; the first stage computes a set of refueling sites on the road network while accounting for fuel constraints of the UAV and the speed differential of the two vehicles. The second stage solves the joint routing problem for the UAV and RV with refueling constraints and terrain restrictions.
MILP formulations are presented to solve the coupled UAV-RV routing problem, based on existing paradigms for fuel constrained routing problems. A branch-and-cut implementation framework to solve these MILP formulations is also described.
A computationally efficient heuristic to generate feasible solutions is detailed.
Performance of all approaches is corroborated using extensive simulations. Different approaches are benchmarked against baseline solutions based on solution quality and computation time, and trends are identified.
Ii Related work
FCURP-MRS is a generalization of the multiple vehicle, multiple depot, fuel constrained vehicle routing problem that is shown to be NP-hard , and hence, is also NP-hard. The notion of a mobile refueling station creates a strong coupling between the routes for the UAV and RV, and makes the problem challenging. Current literature on the problem is scarce and there does not exist any method to compute the optimal solution. This section gives an overview of work done on related problems and solution techniques used therein. For finer details of these works, the reader is referred to the individual papers.
Khuller et. al  were the first to propose the fuel-constrained routing problem in the context of a ground vehicle for a given set of stationary refueling stations; they developed a constant factor approximation algorithm for the problem. Fuel-constrained routing for a UAV, assuming that location of refueling stations are fixed and known a priori, has been addressed in  and . They develop MILP-based approaches and heuristics to determine UAV routes. Authors in  and  present alternate formulations for the multiple vehicle, multiple depot variants of the problem. Heuristics for the multiple vehicle versions have been developed in . The problem addressed in this paper, FCURP-MRS, differs from aforementioned work in the sense that the refueling station is mobile.
Apart from UAVs, investigations with regard to routing of ground vehicles have also garnered considerable interest in the literature. Route planning for ground vehicles, such that the vehicle never runs out of fuel is a related problem. Khuller et. al.  consider the problem of path planning in the presence of refueling stations with varying fuel prices and develop a dynamic programming solution to compute an optimal solution for shortest path version of the problem. Erdogan and Miller-Hooks  consider the vehicle routing problem for alternative fuel vehicles. They develop construction heuristics and validate performance using numerical experiments. The complementary problem of optimal placement of recharging stations for electric vehicles to guarantee energy supply on any shortest path has been studied in . Mathew et. al.  use mobile refueling stations to refuel the UAVs in persistent missions. They assume a priori knowledge of UAV trajectories and develop strategies on the use of multiple ground-based refueling vehicles to refuel the UAVs. The objective of their problem is to determine a schedule for refueling for the UAVs and to compute routes for the ground vehicles to meet the schedule. This work addresses the more general problem on joint route planning problem both UAV and ground vehicle, to extend the operational range of the UAV in both space and time. Authors in [17, 18] develop construction heuristics for a similar problem, but do not benchmark their results.
To the best of our knowledge, the current state of the art on joint-route planning of a UAV and refueling ground vehicle is inadequate and there do not exist mathematical formulations or techniques to estimate the optimum. This work aims to bridge this gap in the literature by addressing the FCURP-MRS applied to a coverage application. The remainder of the paper is organized as follows: Section III gives an overview of the problem scenario and the underlying assumptions. Section IV presents the site selection algorithm that forms the first stage of the solution approach. Sections V and VI develop algorithms for the second of the solution approach. In particular, the Section V develops MILP formulations for the routing problem and presents a branch-and-cut algorithm to solve the MILP formulations and Section VI details a computationally efficient heuristic algorithm. Section VII compares the various algorithms and presents simulation results. Concluding remarks and future research directions are discussed in Section VIII.
Iii Application scenario
Consider an environment () with an interior road network as shown in Fig. 2(a), a UAV with a fixed down-facing camera on board and a RV that traverses on the given road network. To perform a mapping mission, is discretized into cells of equal size. Size of a cell is equal to the camera foot print of the UAV at a given altitude. The grid centers are denoted as targets () in . UAV has limited fuel capacity and cannot visit all targets in a single flight. This necessitates refueling, possibly multiple times, to complete the mission. The UAV must rendezvous with the RV to refuel. A solution to the problem comprises of routes for both UAV and RV that satisfy respective constraints of the two vehicles and visits all targets in .
Iii-a UAV Model
UAV model considered is a multi-rotor or VTOL (Vertical Take-Off and Landing) type vehicle. Flying conditions are ideal and effects due to wind are neglected. It travels at a constant altitude and a constant air speed, . The UAV autopilot uses autonomous landing techniques,  and references within, for instance vision-based methods  to land on the RV. The refueling process on the RV may be automated using battery swap systems [21, 22] or performed manually by a human operator.
Further, the following assumptions are made on the UAV model. Fuel consumed by the UAV to travel from location to is proportional to euclidean distance (in 2D) between and and is independent of flight maneuvers. For ease of exposition, the proportionality constant is assumed to be unity. Given constant speed for the UAV, distance traveled by the UAV is also proportional to flight duration. Hence, distance traveled, time of flight and fuel consumed are used interchangeably through the rest of the text, unless otherwise indicated. Let be the fuel capacity of the UAV available after compensating for a take-off and landing sequence; due to the previous assumption, is also the maximum distance the UAV can travel when starting at full fuel capacity. It may hover at the refueling site if the RV has not reached, but the sum of traveling time and hovering time must not exceed .
Iii-B Refueling Vehicle Model
RV travels with a constant speed, , between refueling sites and remains stationary during rendezvous operations with the UAV. For the sake of calculation, let denote the maximum flight time of the UAV in one sortie, then is the maximum distance traveled by the RV, on road, in one flight time of the UAV. The road-distance traveled by the RV between two points in the environment is at least as large as the euclidean distance between the two points. The RV has a sufficient supply of UAV batteries and never runs out of fuel itself.
Since the aim of this work is to plan routes for the UAV and RV, vehicle dynamics and kinematics are not considered. The constant speed assumption on both UAV and RV is non-binding and is used as an abstraction to keep the focus of the problem on route planning. For the UAV, it is used to quantify the maximum flight time. In the case of RV, it is only used to compute the value of that may also be computed by the knowledge of maximum speed of the RV. The infinite fuel supply to RV assumption is also not necessary and is used to convey the general idea that payload capacity of the RV is not restrictive and it may be readily refueled.
Iv Refueling Site Selection
The refueling site selection problem is a precursor to route planning for both UAV and RV. A greedy algorithm (Algorithm 1) is presented to compute a set of refueling sites so that the joint optimization problem in the second stage is feasible.
To begin with, the road network is discretized at a resolution . The set of candidate refueling sites, denoted by , comprises of the discretized locations on the road network (Fig. 1(b)). Typically, the cardinality of is very large. For the sake of computational tractability, a small set of refueling sites that ensures the existence of a feasible solution to the joint UAV-RV routing problem, is required. Let denote the set of targets. For a subset, , of candidate refueling sites, , to be deemed as a valid set of refueling sites, it must satisfy the following two conditions:
Coverage condition: Each target has a refueling site such that the distance between and is at most units. This distance also corresponds to the fuel consumed by the UAV to travel from to .
Connectedness condition: Refueling sites in form a connected component in the graph , where ; an edge where is contained in the set if and only if the distance between and via the road network (road distance) is at most units.
The above conditions ensure that if there exists a solution to the site selection problem there always exist a feasible solution to the joint routing problem of a UAV and RV in the presence of refueling constraints for the UAV.
The objective of the refueling site selection problem is to compute a subset of low cardinality that satisfies coverage and connectedness conditions. To that end, let and be two sets associated with every candidate refueling site . The reachable set, , comprises of all targets reachable from , while the neighbor set, , comprises of neighboring candidate refueling sites of within road distance. A target is said to be reachable from if the distance between and is at most . To compute such a minimum cardinality subset , a greedy algorithm as detailed in Algorithm 1 is used. The algorithm iteratively selects a refueling site , that covers the maximum number of uncovered targets, and adds it to . This process is repeated until all targets are reachable from , i.e. , where . An illustration of the solution obtained using the greedy refueling site selection algorithm (Algorithm 1) is shown in Fig. 3. The time complexity of the algorithm is .
V Routing problem
This section formalizes the fuel constrained UAV routing problem with mobile refueling station. The minimal set of refueling sites obtained from the refueling site selection algorithm in Sec. IV is an input to the UAV-RV joint routing problem, defined as follows: Given a set of targets, , and a set of refueling sites, , plan tours for the UAV and the RV such that the UAV visits each target exactly once, UAV and RV rendezvous at refueling sites in to refuel, UAV never runs out of fuel and the total fuel consumed by the UAV is a minimum. The UAV and RV are initially stationed at a common refueling site and return to the same location after the mission.
Let represent a feasible UAV route for the routing problem. Let be the th subpath of , traversed by the UAV between two consecutive refueling sites, and . Also, let be the fuel consumed and be the set of targets visited by UAV on and be the road distance between and . Then satisfies the following constraints: (i) i.e., all the targets are visited by the UAV, (ii) i.e., each target is visited exactly once by the UAV, (iii) i.e., the UAV never runs out of fuel, and (iv) i.e, the refueling sites and at the start and end of each subpath are within road distance to ensure that the RV reaches before the UAV runs out of fuel. The objective of the problem is to minimize the total fuel consumed (proportional to distance traveled) by the UAV,
The fuel constrained UAV routing problem with mobile refueling station (FCURP-MRS) problem addressed in this work can be formulated in the Mixed Integer Linear Programming (MILP) framework.
The FCURP-MRS is formulated on a complete directed graph , with vertex set and edge set . The UAV and the RV are initially stationed at a refueling site . Associated with the edge set are two weight functions: , where denotes the fuel consumed by the UAV when it travels along the directed edge and , that represents the road distance between two refueling sites. Let , where is the power set of , denote a neighborhood function defined as . MILP formulation can be developed using node-labeling or edge-labeling approach. Formulations based on both paradigms and a branch-and-cut based implementation to determine the optimal solution are detailed next.
V-a Node-based formulation
in this formulation decision variables on each vertex of the graph are used to formulate FCURP-MRS. The set of decision variables used in the formulation are defined as follows. , defined for each edge , are binary variables that represent whether or not the UAV traverses the edge . Associated with each target is a variable that represents the amount of fuel left in the UAV when it reaches . are binary decision variables, defined for every pair and , and take value 1 if is the most recently visited refueling site when the UAV is at target . Also, for any subset of vertices , define . The objective of FCUPR-MRS is to minimize the fuel consumed by the UAV during the mission, given as:
Constraints of the problem are expressed as follows,
The degree constraints in Eq. (3) enforce in-degree to be equal to out-degree . Constraint (4) ensures that each target is visited exactly once by the UAV. By not limiting the in/out-degree for refueling sites, UAV is permitted to make multiple visits to the refueling sites.
Sub-tour elimination constraints:
Constraint set (5) eliminates sub-tours in the UAV route by enforcing a path to exist from the initial refueling site to every target in the set . It may be observed that the number of such constraints in the formulation is exponential; a dynamic cut-generation procedure is detailed in Section V-E to add these constraints into the problem as needed, without having to enumerate all of them.
The fuel constraints (6)–(12) ensure that the UAV does not run out of fuel as it traverses its route. In particular, constraints (6) and (7) ensure fuel conservation when the UAV travels between two targets. Constraints (8)–(10) enforce similar restrictions on the UAV when it travels between a refueling site and a target. In all of these constraints, represents a large constant . It may be noted that UAV can reach a refueling site with some fuel left in the vehicle. Constraint (11) restricts direct paths between refueling sites to exist only between sites at most distance away. Constraint (12) states that the total fuel consumed by the UAV must be at most equal to times the total number of refueling visits.
Refueling site constraints:
Constraints (13)–(18) limit the road distance between consecutive refueling sites to be at most . Constraints (13)–(15) set the value of variables to appropriate value using UAV route decision variables.
V-B Edge-based formulation
In this formulation decision variables on each edge of are used to formulate fuel constraints for the UAV. Binary decision variables and introduced for node-based formulation in the previous section are retained in the edge-based formulation while continous decision variables are replaced with variables, defined for each , to formulate fuel constraints. The decision variable , represents the amount of fuel used by the UAV to reach the vertex from a (most recent) refueling site when traveling along the incoming edge . The incoming edge included in the UAV tour is uniquely defined for each target. Hence, the differentiating factor between node-based and the edge-based formulations for FCURP-MRS is in the way fuel constraints for the UAV are formulated.
The new formulation replaces the fuel constraints (6)-(12) and variable restrictions on the variables (20), with constraints (22)-(24) and (25), respectively. Constraint (22) conserves the fuel at each target and (23) addresses the terminal cases. Constraints (24) and (25) specify the upper and lower bounds on variables.
V-C Refueling Vehicle Route
Route for the ground based refueling vehicle is computed from the solution to the MILP formulation. The formulation ensures that consecutive visits to refueling sites on the UAV tour are within road distance. The tour comprising refueling site visits in the sequence as they occur on the UAV tour is a valid tour for the RV and ensures feasibility of the UAV tour. The tour so computed, ensures that the RV, when traveling at the constant speed , always reaches the refueling site before the UAV runs out of fuel. The sum of traveling time and hovering time for the UAV is thus always constrained to be within , allowing the UAV to land on the RV.
Let , and . The node-based formulation uses variables, variables, and variables. Total number of variables is . The number of constraints may be computed as : degree constraints, sub-tour elimination constraints, fuel constraints, and refueling site constraints in addition to variable restrictions. Hence, the total number of constraints is . A similar analysis can also be performed for the edge-based formulation; the number of decision variables and the number of constraints is of the order and respectively. Since the number of constraints is exponential, it is computationally intractable to enumerate all constraints.
V-E Branch-and-cut algorithm
To optimally solve the two formulations presented in the Sec. V-A and V-B, a branch-and-cut implementation is employed. Due to the presence of sub-tour elimination constraints (5), it is not computationally efficient to enumerate all constraints in Eq. (5) and provide them to an MILP solver. To address this issue sub-tour elimination constraints in the formulation are relaxed, and whenever the solver obtains an integer solution feasible to this relaxed problem, a check is made to find if any of the relaxed constraints are violated by the feasible solution. If so, the violated constraints are added to the formulation and the problem is given back to the solver. This process of adding constraints to the problem sequentially has been observed to be computationally efficient for the many variants of the traveling salesman problem  and also the fuel constrained vehicle routing problems . The algorithms used to identify violated constraints, also called valid inequalities, given an integer feasible solution are referred to as separation algorithms. Algorithm 2 presents the pseudocode for a separation algorithm used to dynamically identify violated constraints (5) given an integer feasible solution for FCURP-MRS. The algorithm computes the strongly connected components (line 3) in the graph defined by the integer feasible solution. Each component that satisfies the condition , and (line 5) violates the corresponding constraints as given in Eq. (26). The violated constraints are then added to the formulation and the solver is allowed to optimize the problem with the new constraints.
Even though the MILP formulation and the branch-and-cut algorithm presented in the previous section compute an optimal tour for FCURP-MRS, expectedly the computation time grows exponentially as the number of targets in the environment increases. In such cases, it is useful to find a good solution, quickly. This section develops a fast heuristic to compute feasible solutions for FCURP-MRS.
The heuristic works as follows. It compute a TSP (Traveling Salesman Problem) tour of the targets and the initial refueling site using Lin-Kernighan-Helsgaun heuristic . This tour corresponds to the UAV route. If the UAV does not run out of fuel as it traverses the tour then a feasible solution to FCURP-MRS has been found, else a repairing algorithm (Algorithm 3) is used to convert the tour in to a feasible solution for FCURP-MRS that satisfies fuel and road distance constraints.
The initial TSP tour may be considered as a permutation of all targets with the first and last points on the tour being the starting depot. The input to Algorithm 3 is a sequence of targets and exactly two refueling sites, one at the beginning and the other at the end (Figure 4(a)). Algorithm 3 is a recursive routine that traverses the UAV route starting at the initial refueling site while keeping track of fuel consumption. It finds the first fuel capacity violation (lines 2 - 7), if any, and calls the routine (Algorithm 4) to fix the violation (see Figure 4(b)). The routine takes as input the two targets, and that constitute the violation, , the most recently visited depot, , amount of fuel remaining at and , the set of all refueling sites. It computes a feasible indirect path comprising only of refueling sites between the two targets as shown in Figure 4(c). Once a feasible path is computed, target is frozen and is not processed again. Algorithm 3 then recursively calls itself (line 14) on the sub sequence starting from the last depot on the feasible path with as the first target on the sequence (see Figure 4).
To compute the feasible path, Algorithm 4 builds a graph, , with vertices as the union of the set of depots and the two targets. Edges in the graph exist between neighboring depots. is connected to depots that lie in the intersection set of reachable depots from and neighbors of the most recently visited depot. is connected to all its neighboring depots. It then computes the shortest path between and in and returns this as the feasible path to fix the violation. If the graph is not connected then Algorithm 4 cannot compute a feasible path. As mentioned in Section IV, the set of refueling sites form a connected component and each target must be reachable from at least one depot. Hence if is disconnected, then is the disconnected vertex within . In this case, Algorithm 3 backtracks to the previous target (line 13). Now, becomes and the previous target becomes . It keeps backtracking until it finds a pair of targets and such that it can compute an indirect path from to . It may be noted that, except for the first iteration, the repairing algorithm would backtrack only up to the first target. It would always find a feasible path from the first target in the sequence to the second target. This is because the first target is atmost distance away from (Algorithm 4, line 5). Hence in each iteration of the repairing algorithm, at least one target is added to the set of frozen targets. The heuristic will compute a feasible solution in at most iterations of the repairing algorithm and each iteration can make at most calls to the indirectPath routine. Hence, the computation time of the heuristic is polynomial in the number of targets.
Vii Simulation Results
In this section, the results of different solution approaches on simulated instances of FCURP-MRS are discussed. The section gives a comparison of solutions generated by the branch-and-cut algorithm for the two MILP formulations presented in Sec. V, TSP-based heuristic algorithm presented in Sec. VI and a baseline greedy algorithm .
Vii-a Simulation Setup
Two different computing systems were used for the simulations. System 1 is an HP Spectre 360 laptop with Intel i7 7500U processor with 2 cores and 16 GB RAM running Windows 10. System 2 is a High Performance Cluster node with 20 cores and 96 GB RAM running Cent OS 6.5. The number of cores assigned to each process was dynamically decided by the HPC scheduler and was not fixed. Small computation activity was done on System 1 and simulations that needed large computation time and resources were executed on System 2.
The site selection algorithm (Algorithm 1) was implemented in Matlab and executed on System 1. MILP formulations were implemented in C++, using the traditional branch-and-cut framework and solver callback functionality of IBM ILOG CPLEX library version 12.7 and executed on System 2. A computational time limit of seconds was imposed on every run of the branch-and-cut algorithm. The heuristic was also implemented in C++ and executed on System 1. The baseline greedy algorithm  was coded in Matlab and executed on System 1. All implementations were coded in a serial flow. The solutions generated by the TSP-based heuristic were also input to the MILP solver as warm start for both formulations and the program was allowed to run for seconds.
We report computation time and relative gap of the solution from the lower bound as computed by CPLEX. The performance of all algorithms was tested with randomly generated test instances as described in the following section.
|road-nw 1||road-nw 2||road-nw 1||road-nw 2|
Vii-B Instance Generation
For all simulations, a square environment of size square kilometers (km) is used. The round trip distance between the two farthest points in the environment is approximately km; this distance is greater than the maximum distance a small UAV can travel in one flight time . The value of is varied in the range to km and is varied in the range to km, both in steps of . Two different road networks, as shown in Figure 5, are used. To achieve area coverage, an grid with ranging from to , where denotes the grid size, is placed in the environment. Targets are placed at the grid centers and the number of target is varied in the range to . instances are created for each configuration by selecting target locations with uniform distribution.
The two different road networks used, are shown in Figure 5. Road Network 1 is very expansive within the environment and the mean shortest distance of any point in the environment from the road network is small. While in the case of Road Network 2, the roads are much scarce and the mean shortest distance is much higher, specifically the points in each of the four corners of the environment are far off from the road network. The choice of particular road networks was made to include two representative extremes of road network coverage. In each case, the road network is discretized at a resolution of km to generate a set of candidate refueling sites. Then, the greedy algorithm presented in Section IV is used to obtain a reduced set of refueling sites. The set of refueling sites along with target locations are given as input to the second stage to compute routes for UAV and RV.
|road-nw 1||road-nw 2||road-nw 1||road-nw 2|
|9||100||86.67 (13.33)||100||86.67 (13.33)|
|16||100||80 (20)||100||80 (20)|
|25||100||66.67 (33.33)||100||66.67 (33.33)|
|36||100||66.67 (33.33)||100||66.67 (33.33)|
|road-nw 1||road-nw 2||road-nw 1||road-nw 2|
Simulation instances generated as described in Section VII-B were solved using six strategies as given:
Edge-based MILP with warm start
Node based MILP with warm start
Baseline Greedy Algorithm
The results of using each of these strategies and their comparisons are presented next. The MILP solvers were used to generate optimal solutions for benchmarking purposes. In the case, when the optimal solution was not found within stipulated time limit, lower bounds generated by the solver were used. The lower bounds give slightly magnified bounds, but help develop an understanding of the performance of an algorithm. Table I shows the percentage of instances that were solved to optimality for different values of . The solver was not able to compute optimal solutions for any instances with more than targets (), hence the table only shows the numbers for up to 36 targets. The fraction of instances that were solved to optimality in the stipulated time period decreases drastically with increasing values of . The numbers were slightly better for the node-based formulation. However, both formulations show a clear trend and do not scale well for larger instances. In case of road-network 2, some of the instances were infeasible due to the limited road network. The percentage of such instances is indicated in braces in the table. The site selection algorithm in stage one of the strategy was not able to compute a a feasible set of refueling sites for any of these instance.
Tables II and III give the computation results for the MILP formulations when the solver was given a warm start with the solutions generated by the TSP-based heuristic. Table II reports the percentage of instances solved while Table III tabulates the relative gap of the solutions. This gap is computed as the percentage difference between the feasible solution and the lower bound as computed by the MILP solver. The solver was set to stop the optimization process at relative gap. It may be observed, that while the solver was able to compute feasible solutions for all instances, the solution quality degrades rapidly with increase in instance size. It may also be observed that the gap is higher for road-network 2. This is attributed to the large value of the mean shortest distance of targets from the road network. This is also observed from the infographic in Figure 6. The figure also gives insights on the performance of the two different MILP paradigms, namely edge-based and node-based. The edge-based formulations consistently has lower relative gap than the node-based formulations over all combinations of simulation parameters, namely , , and the road-network. At the same time, the node-based formulations is computationally more efficient, for the instances where it is able to compute the optimal, as seen in Figure 7. This is because of the lower dimensionality of the node-based formulations. A counter intuitive insight from these figures is that the warm start does not improve the solution quality nor does it help the formulations to converge faster. This is not consistent with results for similar approaches for other combinatorial problems. The reason for these results are manifold. One, the heuristic solutions have significant gap (Figure 8) and do not give much improved starting points for the solver. Two, this problem has a very large number of constraints and has a strong coupling between the routes for the two vehicles. For these reasons, the heuristic solutions do not improve the MILP formulation.
The TSP-based heuristic, however, does have it’s own merits. As may be observed from Figure 9, the heuristic is extremely fast and runs in microseconds. It consistency performs better than the greedy algorithm over all combinations of simulation parameters. This is very useful in missions that need computationally efficient solutions and can afford a higher mission cost. Figure 8 reports the relative gap for both the TSP-based heuristic and the greedy algorithm using lower bounds generated by the MILP formulations. Even though the mission cost is same, the relative gap is persistently lower for the edge based formulation. This admits the conclusion that the edge based formulation generates tighter lower bounds than the node based formulation. The results shown in Figure 6, when inspected with this knowledge on lower bounds, may be understood with a different perspective. The node based formulation, does not necessarily generate worse solutions. The higher value of the relative gap is also attributed to relatively lose lower bounds.
Viii Conclusions and Future Directions
This work addresses the cooperative routing problem for a fuel constrained UAV and a terrain constrained ground based refueling vehicle in the context of a coverage application. A two stage solution strategy is designed to find efficient solutions to the problem, wherein the first stage computes a feasible set of refueling sites for UAV-RV rendezvous and the second stage performs joint route planning that satisfies the fuel and speed limitations of the two vehicles, respectively. Alternate MILP formulations and a computationally efifcient heuristic algorithm are presented to solve the routing problem in the second stage. The construction-heuristic based on a TSP tour of the targets and a repair algorithm, allows for the development of evolutionary techniques as extensions to this work. A budgeted version of the problem that maximizes coverage with a cap on the number of refuels also makes an interesting variant of the problem. The literature on refueling problems also lacks any approximation schemes for the problem. Other interesting extensions to this problem, include multiple cost functions (for practitioners), pareto optimal solutions and multiple UAV scenarios.
-  I. Colomina and P. Molina, “Unmanned aerial systems for photogrammetry and remote sensing: A review,” ISPRS Journal of Photogrammetry and Remote Sensing, vol. 92, pp. 79–97, 2014.
-  H. Jachmann, Estimating abundance of African wildlife: an aid to adaptive management. Springer Science & Business Media, 2001.
-  P. B. Sujit, D. Kingston, and R. Beard, “Cooperative forest fire monitoring using multiple uavs,” in IEEE Conference on Decision and Control, Dec 2007, pp. 4875–4880.
-  M. Freed, W. Fitzgerald, and R. Harris, “Intelligent autonomous surveillance of many targets with few uavs,” in Proceedings of the Research and Development Partnering Conference, Department of Homeland Security, Boston, MA, 2005.
-  H. Jachmann, “Evaluation of four survey methods for estimating elephant densities,” African Journal of Ecology, vol. 29, no. 3, pp. 188–195, 1991.
-  J. Everaerts, “The use of unmanned aerial vehicles (uavs) for remote sensing and mapping,” The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, vol. 37, pp. 1187–1192, 2008.
-  C. Vermeulen, P. Lejeune, J. Lisein, P. Sawadogo, and P. Bouché, “Unmanned aerial survey of elephants,” PLoS ONE, vol. 8, no. 2, February 2013. [Online]. Available: http://dx.doi.org/10.1371/Fjournal.pone.0054700
-  K. Sundar and S. Rathinam, “Algorithms for routing an unmanned aerial vehicle in the presence of refueling depots,” IEEE Transactions on Automation Science and Engineering, vol. 11, no. 1, pp. 287–294, 2014.
-  T. E. Kannon, S. G. Nurre, B. J. Lunday, and R. R. Hill, “The aircraft routing problem with refueling,” Optimization Letters, pp. 1–16, 2014.
-  K. Sundar, S. Venkatachalam, and S. Rathinam, “Formulations and algorithms for the multiple depot, fuel-constrained, multiple vehicle routing problem,” in American Control Conference, July 2016, pp. 6489–6494.
-  S. Khuller, A. Malekian, and J. Mestre, “To fill or not to fill: The gas station problem,” ACM Transactions on Algorithms (TALG), vol. 7, no. 3, p. 36, 2011.
-  K. Sundar, S. Venkatachalam, and S. Rathinam, “Analysis of mixed-integer linear programming formulations for a fuel-constrained multiple vehicle routing problem,” Unmanned Systems, 2017.
-  D. Levy, K. Sundar, and S. Rathinam, “Heuristics for routing heterogeneous unmanned vehicles with fuel constraints,” Mathematical Problems in Engineering, vol. Article ID 131450, 2014.
-  S. Erdoğan and E. Miller-Hooks, “A green vehicle routing problem,” Transportation Research Part E: Logistics and Transportation Review, vol. 48, no. 1, pp. 100–114, 2012.
-  S. Funke, A. Nusser, and S. Storandt, “Placement of loading stations for electric vehicles: No detours necessary!” Journal of Artificial Intelligence Research, vol. 53, pp. 633–658, 2015.
-  N. Mathew, S. Smith, and S. Waslander, “Multirobot rendezvous planning for recharging in persistent tasks,” IEEE Transactions on Robotics, vol. 31, no. 1, pp. 128–142, Feb 2015.
-  P. Maini and P. Sujit, “On cooperation between a fuel constrained uav and a refueling ugv for large scale mapping applications,” in International Conference on Unmanned Aircraft Systems, June 2015, pp. 1370–1377.
-  Z. Luo, Z. Liu, and J. Shi, “A two-echelon cooperated routing problem for a ground vehicle and its carried unmanned aerial vehicle,” Sensors, vol. 17, no. 5, p. 1144, 2017.
-  A. Gautam, P. Sujit, and S. Saripalli, “A survey of autonomous landing techniques for uavs,” in Unmanned Aircraft Systems (ICUAS), 2014 International Conference on. IEEE, 2014, pp. 1210–1218.
-  ——, “Autonomous quadrotor landing using vision and pursuit guidance,” IFAC-PapersOnLine, vol. 50, no. 1, pp. 10 501 – 10 506, 2017, 20th IFAC World Congress. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S2405896317326204
-  K. A. Swieringa, C. B. Hanson, J. R. Richardson, J. D. White, Z. Hasan, E. Qian, and A. Girard, “Autonomous battery swapping system for small-scale helicopters,” in IEEE International Conference on Robotics and Automation. IEEE, 2010, pp. 3335–3340.
-  K. A. Suzuki, P. Kemper Filho, and J. R. Morrison, “Automatic battery replacement system for uavs: Analysis and design,” Journal of Intelligent & Robotic Systems, vol. 65, no. 1-4, pp. 563–586, 2012.
-  M. Grotschel and M. Padberg, “Polyhedra theory,” in The traveling salesman problem, E. Lawler, J. Lenstra, A. R. Kan, and D. Shmoys, Eds. John Wiley & Sons, New York, 1985, pp. 251–305.
-  S. Lin and B. W. Kernighan, “An effective heuristic algorithm for the traveling-salesman problem,” Operations research, vol. 21, no. 2, pp. 498–516, 1973.
-  P. van Blyenburgh, “Unmanned aircraft systems: The global perspective,” UVS International, Paris, France, 2007.