<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Path planning for UAV search using growing area algorithm and clustering</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Alexander Fedorov</string-name>
          <email>afedorov2602@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Higher School of Economics Saint Petersburg</institution>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>-This paper presents a novel approach to planning a path for unmanned aerial vehicles (UAVs) for searching lost targets under uncertainty. A new basic approach for fast and effective solutions is developed which outperforms standard local hill climbing (LHC) approach. This can be improved using a clusterization of probabilities in the area. The idea allows us to simplify the problem of planning a UAV path to a problem of choosing several clusters. Finally, the proposed method is compared with other methods in simulated scenarios. The comparison shows its high efficiency to solve searching problems. Index Terms-unmanned aerial vehicles (UAVs), path planning, object detection, probability distribution</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>II. PROBLEM FORMULATION</title>
      <p>There are various types of UAVs with different
characteristics, but we will have the following assumptions:
UAVs can maintain a constant height above the ground;
UAVs have a gimballed camera;
at some constant height, UAVs see below using the
camera a square of size a on the ground;
UAVs travel with known constant speed;</p>
      <p>UAVs can make a 90-degree turn if necessary.</p>
      <p>In the paper, we supposed that the area of search is
discretized into N = W H squares of size r which means
that flying above the center of a square at known constant
height a UAV can see it fully. For each square (i; j) (denoted
by the number of its column and row) the probability that the
target is in this square is known and equal to pi;j 2 [0; 1].
See Fig. 1 for the example of such discretization with known
probabilities.</p>
      <p>
        Fig. 1: Example of a probability grid [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]
      </p>
      <p>
        A typical size of a probability grid for a search problem
is tens of thousands squares [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. The total probability in the
search area should be equal to 1 and thus
∑ pi;j = 1:
i;j
      </p>
      <p>We denote a UAV path as R = (R1; : : : Rk), where
Ri 2 f1; : : : ; W g f1; : : : ; H g, the initial cell where the
drone is located as S 2 f1; : : : ; W g f1; : : : ; H g and the
length of the path as L.</p>
      <p>Then the search problem then can be formulated as follows:
Given probability grid with known probabilities pi;j , the initial
position of an UAV S and maximum length of the path L we
should:
(1)
maximize</p>
      <p>R
subject to
and</p>
      <p>∑
(x;y)2R</p>
      <p>px;y
R1 = S
k 1
∑ distance(Ri; Ri+1)
i=1</p>
      <p>L;
where distance(a; b) is Euclidean distance between centers
of cells a and b.</p>
    </sec>
    <sec id="sec-2">
      <title>In other words, we want to find a path that</title>
      <p>visits some squares and collects probabilities from them
by performing a scan;
has a length no more than L;
maximizes probability collected.</p>
      <p>Note that there is no benefit from visiting (scanning) the same
square twice.</p>
    </sec>
    <sec id="sec-3">
      <title>III. RELATED WORK</title>
      <p>
        This problem is a special case of Orienteering problem [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]
with a grid structure instead of a general case of a graph.
Orienteering problem is a more complex version of traveling
salesman problem (TSP), is known to be NP-hard and has no
fully polynomial approximation scheme unless P=NP [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        The considered problem may be solved with mixed integer
linear programming (MILP) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], genetic algorithm [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] and ant
colony optimization [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. Nevertheless, these approaches are
effective only for a small number of nodes (less than 100).
      </p>
      <p>
        The basic approach for fast solutions of this problem usually
is local hill climbing [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. It is a greedy solution in which in
each step a UAV flies to one of neighbours of its current cell
choosing the cell with the maximum probability. However, the
main problem of this approach is that the drone can’t leave
an area of local maximum and fly to a better area unless it
covers the area fully (see Fig. 2).
      </p>
      <p>
        Different authors tried to overcome the problem. Lanillos
et al. supposed to calculate not only real probability the drone
collects flying in a direction but also expected probability that
it can collect there [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. Moreover, he uses receding horizon
optimization (RHC) to increase the number of steps the drone
look ahead and to make routes more locally optimal. Yao et al.
clusterize an area to detect areas of high probability [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. In
each of the clusters, he builds routes separately using RHC and
then joins them. To use clustering the probability distribution
is supposed to be good, i.e. we can clearly see subareas of
high and low probability. Lin et. al proposes using of global
warming effect optimization which allows the drone to ignore
cells with low probability [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
    </sec>
    <sec id="sec-4">
      <title>IV. PROPOSED ALGORITHM</title>
      <sec id="sec-4-1">
        <title>A. Issues of analogs</title>
        <p>
          As it was stated before, effective (fast) solutions for the
problem are usually based on local hill climbing algorithm.
However, as a consequence, these algorithms ([
          <xref ref-type="bibr" rid="ref10">10</xref>
          ][
          <xref ref-type="bibr" rid="ref11">11</xref>
          ][
          <xref ref-type="bibr" rid="ref3">3</xref>
          ])
have the following issues (Fig. 3):
doesn’t always mean that the solution is non-optimal but
can be usually avoided in such a way that the resulting
route will have higher probability collected;
A solution may miss cells with high probability because
in some moment visiting them is locally non-optimal,
but visiting them in future may be valuable. Local hill
climbing algorithm is unlikely to visit these cells in future
because in each step in chooses the next cell only from
four adjacent cells.
        </p>
        <p>Fig. 3: Example of problems in solutions generated by
algorithms based on local hill climbing. In black circles there are
cells that are visited twice. In purple circles there are cells
with high probability that are skipped by the solution. In the
yellow circle there are cells that can be skipped instead of
cells in purple circles.</p>
      </sec>
      <sec id="sec-4-2">
        <title>B. Basic idea</title>
        <p>Lemma. Any area of cells consisting of connected cells of
double size (i.e. consisting of four small cells) may be covered
with a hamiltonian cycle which goes through centers of small
cells.</p>
        <p>
          The proof of the lemma may be found in [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ].
        </p>
        <p>The algorithm to get the hamiltonian cycle is simple:
1) Build a spanning tree on cells of double size (Fig. 4). It
can be built because the area is connected.
2) A path along the spanning tree is a hamiltonian cycle
needed (Fig. 5)
Final routes visit a lot of cells twice. Visiting a cell more
than once doesn’t increase the probability of detecting. It
This lemma brings us to the following idea: Instead of
building a path we will build an area of cells of double size.
To maintain connectivity we may add to the area only cells
that are neighboring to it. As in local hill climbing, we can
use greedy algorithms, i.e. among all possible cells of double
size add the one that contains more probability (this can be
done effectively by using, e.g., a heap data structure). Note
that at every step we preserve connectivity of an area of cells
of double size and it is the only constraint needed to use the
lemma.</p>
        <p>After building the area we will build a hamiltonian cycle
using the lemma and it will be the final route of a UAV. Note
that as we will build a hamiltonian cycle we know how many
cells we need to add to the area not to exceed the constraint
on the length of the final route.</p>
      </sec>
      <sec id="sec-4-3">
        <title>C. Improvement with clustering</title>
        <p>This idea may be improved by the use of clustering.</p>
        <p>Suppose we have detected all clusters (subareas of high
probability). If we join centers of all clusters and the starting
position of a drone by an area of cells of double size (e.g,
using minimal spanning tree (MST) or Steiner tree, Fig. 6)
and then run our greedy algorithm then the area will grow
accurately in clusters (Fig. 7).
In some cases (when the constraint on the length of the
route is tight) it is better to join not all cluster but only a few
of them. To choose what clusters to join we may iterate over
all possibilities (if there are a small number of clusters, which
is a pretty common case) or just try to pick the nearest cluster
step by step (increasing complexity of an algorithm in a linear
of the number of clusters time).</p>
        <p>Then combining two ideas we get the following algorithm:
1) Choose what clusters to join.
2) Join them and the starting position of a UAV with an
area of cells of double size.
3) Grow the area step by step while not exceeding the
constraint on the route length.
4) Get the hamiltonian cycle from the area using the
lemma.</p>
        <p>The total complexity of steps 2-4 is O(L log N ) if using a
heap to pick the cell with the highest probability effectively.</p>
        <p>We will call the algorithm "cluster area-growth algorithm".</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>V. EXPERIMENTS</title>
      <p>
        The proposed cluster area-growth algorithm was
implemented and compared with local hill climbing algorithm and
lhc-gw-conv algorithm from [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] (with global warming effect).
      </p>
      <p>The comparison was performed on several test areas. Some
of the areas were generated using several Gaussian
distributions and some of these areas were obtained from height
maps of real locations (because the form of those maps and
real probability maps are similar). For every area, there were
several measurements with different constraints on the length
of the route (L). In the cells, there are total probabilities
collected by solutions in given constraints on a particular test.</p>
      <p>As it can be seen in Table I the proposed algorithm
outperformed other algorithms almost in every case. Basic
local hill climbing approach gives dramatically worse results in
all tests. The proposed solution gained worse result only when
constraint on the length of the route is tight. It is because other
solutions were not obliged to return the drone to its starting
position (i.e. to form a cycle). As a result, their routes got the
opportunity to cover more clusters or to cover more distant
clusters (see Fig. 8 and Fig. 9). However, as the constraint
increases the proposed solution becomes to get better and
better results in comparison with other solutions (see Fig. 10
and Fig. 11), because of the absence of those issues mentioned
above.
L=3000 L=7000 L=15000 L=3000 L=7000 L=15000
L=3000 L=7000 L=15000 L=3000 L=7000 L=15000
The proposed solution has following next advantages:
The idea simplifies the problem of building a path over an
area to a problem of choosing several clusters (number of
clusters is far less than the number of cells in the area);
The solution can not visit the same cell twice because we
have a hamiltonian cycle;
The solution does not miss probabilities because an area
can grow in all directions (not only 4 adjacent cells may
be added);
As a result, it has better efficiency (according to the tests);
It always returns a drone to the starting position which
is good when the constraint on the length of the route is
due to limited battery charge of a UAV.</p>
      <p>We compared the solution with other solutions in simulated
scenarios to show its high efficiency. The ideas from the paper
may be also used in other search problems to simplify them
and get more practical solutions. In future work this approach
can be improved by considering the number of turns in the
path (which should be also minimized).</p>
    </sec>
    <sec id="sec-6">
      <title>ACKNOWLEDGEMENTS</title>
      <p>This paper was done under research work in Simlabs Inc.
(sim-labs.com)</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>K</given-names>
            <surname>E. Trummel and J R. Weisinger</surname>
          </string-name>
          , “
          <article-title>The complexity of the optimal search path problem</article-title>
          ,
          <source>” Operations Research</source>
          , vol.
          <volume>34</volume>
          , pp.
          <fpage>324</fpage>
          -
          <lpage>327</lpage>
          , Apr.
          <year>1986</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>A.</given-names>
            <surname>Otto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Agatz</surname>
          </string-name>
          , J. Campbell,
          <string-name>
            <given-names>B.</given-names>
            <surname>Golden</surname>
          </string-name>
          , and E. Pesch, “
          <article-title>Optimization approaches for civil applications of unmanned aerial vehicles (uavs) or aerial drones: A survey,” Networks</article-title>
          , vol.
          <volume>72</volume>
          , pp.
          <fpage>411</fpage>
          -
          <lpage>458</lpage>
          , Mar.
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>L.</given-names>
            <surname>Lin</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.</given-names>
            <surname>Goodrich</surname>
          </string-name>
          , “
          <article-title>Uav intelligent path planning for wilderness search</article-title>
          and rescue,” Dec.
          <year>2009</year>
          , pp.
          <fpage>709</fpage>
          -
          <lpage>714</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>P.</given-names>
            <surname>Vansteenwegen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Souffriau</surname>
          </string-name>
          , and
          <string-name>
            <surname>D. Van Oudheusden</surname>
          </string-name>
          , “
          <article-title>The orienteering problem: A survey,”</article-title>
          <source>European Journal of Operational Research</source>
          , vol.
          <volume>209</volume>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>10</lpage>
          , Feb.
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>P.</given-names>
            <surname>Sokkappa</surname>
          </string-name>
          and S. U. D. of Operations Research,
          <article-title>The Cost-constrained Traveling Salesman Problem</article-title>
          . Stanford University,
          <year>1990</year>
          . [Online]. Available: https : / / books.google.ru/books?id=jax3JAAACAAJ.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>H.</given-names>
            <surname>Oh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Kim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Tsourdos</surname>
          </string-name>
          , and
          <string-name>
            <surname>B. White,</surname>
          </string-name>
          “
          <article-title>Coordinated road-network search route planning by a team of uavs</article-title>
          ,”
          <source>International Journal of Systems Science</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>16</lpage>
          , Dec.
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>M.</given-names>
            <surname>Tasgetiren</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Smith</surname>
          </string-name>
          , “
          <article-title>A genetic algorithm for the orienteering problem</article-title>
          ,” vol.
          <volume>2</volume>
          ,
          <string-name>
            <surname>Feb</surname>
          </string-name>
          .
          <year>2000</year>
          , pp.
          <fpage>910</fpage>
          -
          <lpage>915</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>Y.-C.</given-names>
            <surname>Liang</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Smith</surname>
          </string-name>
          , “
          <article-title>An ant colony approach to the orienteering problem</article-title>
          ,
          <source>” Journal of The Chinese Institute of Industrial Engineers</source>
          , vol.
          <volume>23</volume>
          , pp.
          <fpage>403</fpage>
          -
          <lpage>414</lpage>
          , Jan.
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>S.</given-names>
            <surname>Thrun</surname>
          </string-name>
          , W. Burgard, and
          <string-name>
            <given-names>D.</given-names>
            <surname>Fox</surname>
          </string-name>
          ,
          <article-title>Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)</article-title>
          . The MIT Press,
          <year>2005</year>
          , ISBN:
          <fpage>0262201623</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>P.</given-names>
            <surname>Lanillos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. K.</given-names>
            <surname>Gan</surname>
          </string-name>
          , E. Besada, G. Pajares, and
          <string-name>
            <given-names>S.</given-names>
            <surname>Sukkarieh</surname>
          </string-name>
          ,
          <article-title>“Multi-uav target search using decentralized gradient-based negotiation with expected observation,”</article-title>
          <source>Information Sciences</source>
          , vol.
          <volume>282</volume>
          , pp.
          <fpage>92</fpage>
          -
          <lpage>110</lpage>
          , Oct.
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>P.</given-names>
            <surname>Yao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Honglun</surname>
          </string-name>
          , and
          <string-name>
            <given-names>H.</given-names>
            <surname>Ji</surname>
          </string-name>
          , “
          <article-title>Gaussian mixture model and receding horizon control for multiple uav search in complex environment,” Nonlinear Dynamics</article-title>
          , vol.
          <volume>88</volume>
          , pp.
          <fpage>903919</fpage>
          ,
          <string-name>
            <surname>Jan</surname>
          </string-name>
          .
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Gabriely</surname>
          </string-name>
          and E. Rimon, “
          <article-title>Spanning-tree based coverage of continuous areas by a mobile robot,”</article-title>
          <source>Annals of Mathematics and Artificial Intelligence</source>
          , vol.
          <volume>31</volume>
          , pp.
          <fpage>77</fpage>
          -
          <lpage>98</lpage>
          , Feb.
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>