possible to manage delayed flights by simply
searching for alternative formation flight partners.
However, decentralized approaches typically exhibit
a number of shortcomings as well, notably the sub-
optimal fuel savings due to the local nature of the
employed coordination method.
Excellent examples of a centralized approach
concern the studies presented by Kent & Richards
(2015) and by Xu et al (2014). In both studies, the
centralized approach taken to formation routing and
assignment concerns a so-called two-stage (or bi-
level) method. In the first stage, the routing/mission
problem is considered for each candidate set of two
or three long-haul origin/destination flights that
might join in, respectively, a two or three aircraft
formation. The first stage routing problem
essentially deals with locating the rendezvous and
splitting points for the flights involved in each
potential formation and with scheduling the
associated altitude/speed profiles such that the
overall mission (fuel) cost is minimized. Assessment
of the mission fuel burn is based on the Breguet-
range equation for given speed and altitude. The
second stage concerns the assignment problem, in
which the network is optimized by selecting the best
subset of formation and solo missions given the
complete set of all possible combinations of
individually optimized formation and solo missions
obtained in the first stage.
Both studies involving centralized approaches
(Kent & Richards, 2015; Xu et al, 2014) were faced
with the necessity to deal with the highly-
combinatorial assignment process, while keeping the
computational burden within check. The
combinatorial problem emerges when enumerating
the number of possible combinations of aircraft
formations for a set of n (unidirectional) O/D flights,
to be grouped into formations of size m. Therefore,
given a formation of size m and a set of n flights, the
number of possible formation combinations N
m
can
be computed from the binomial coefficient:
()
!
!!
m
n
n
N
m
mn m
==
−
(1)
The number of possible formations N
m
grows
rapidly with increasing values of either m or n. For
example, when considering a fleet size n = 500, the
number of possible formation combinations is equal
to N
m
= 124,750 for a formation size m = 2, while N
m
= 2,573,031,125 for a formation size m = 4. Since all
possible combinations need to be evaluated in the
first stage of the flight scheduling process, i.e., the
routing/mission analysis problem, it is readily clear
that introducing formations of large size renders the
scheduling problem computationally intractable. In
order to keep the computational burden in check, in
both studies (Kent & Richards, 2015; Xu et al, 2014)
flight formations up to size 3 only are considered,
while other simplifying measures have been
introduced as well. In Kent & Richards (2015) it is
proposed to partition the global lists of flights in a
number of ways (e.g. by airline or alliance) to keep n
relatively low. Moreover, a computationally efficient
geometric method for formation routing and mission
analysis is employed in the first stage, which makes
it possible to evaluate a large number of
combinations very quickly. In contrast, in Xu et al
(2014) a relatively high-fidelity, computationally
expensive routing/mission analysis is employed in
the first stage of the scheduling process; here the
computational savings are obtained through the
introduction of heuristics that allow the number of
formations to be considered in the first stage of the
scheduling process to be reduced, by filtering out all
non-viable flight formation combinations upfront.
Motivated by concerns regarding the
combinatorial complexity of the assignment of large
fleets in a centralized approach, an alternative
decentralized (agent-based) approach to the coupled
problem of formation flight routing and assignment
was conceived in (Visser et al, 2016). In this
approach formation flight is not anticipated pre-
flight but rather treated as an in-flight option based
on local coordination. More specifically, this study
implements a `proposal-marriage' type greedy-
algorithm for decentralised assignment of flights
into formations, similar to the one proposed in
(Ribichini&Frazzoli, 2003) for formation scheduling
of UAVs. However, the coupled routing and mission
analysis required for each formation combination
option is treated differently in both studies. While
the study reported in (Visser et al, 2016) relies on
the - slightly adapted - geometric formation flight
routing method as proposed by Kent & Richards
(2015), in combination with the Breguet-range
equation for fuel-burn assessment, the work in
(Ribichini&Frazzoli, 2003) implements a graph
search over possible rendezvous and splitting points
to find the optimal routing for each formation
combination, in conjunction with the assumption of
constant fuel-burn rates.
Both studies (Ribichini&Frazzoli, 2003; Visser
et al, 2016) clearly demonstrate that by resorting to
an agent-based, decentralized approach the inherent
weaknesses, notably their vulnerability to delayed
flights and the huge computational burden resulting
from the highly-combinatorial assignment process,