-
Data-driven optimization for Air Traffic Flow Management with trajectory preferences
Authors:
Luigi De Giovanni,
Guglielmo Lulli,
Carlo Lancia
Abstract:
In this paper, we present a novel data-driven optimization approach for trajectory based air traffic flow management (ATFM). A key aspect of the proposed approach is the inclusion of airspace users' trajectory preferences, which are computed from traffic data by combining clustering and classification techniques. Machine learning is also used to extract consistent trajectory options, while optimiz…
▽ More
In this paper, we present a novel data-driven optimization approach for trajectory based air traffic flow management (ATFM). A key aspect of the proposed approach is the inclusion of airspace users' trajectory preferences, which are computed from traffic data by combining clustering and classification techniques. Machine learning is also used to extract consistent trajectory options, while optimization is applied to resolve demand-capacity imbalances by means of a mathematical programming model that judiciously assigns a feasible 4D trajectory and a possible ground delay to each flight. The methodology has been tested on instances extracted from real air traffic data repositories. With more than 32,000 flights considered, we solve the largest instances of the ATFM problem available in the literature in short computational times that are reasonable from the practical point of view. As a by-product, we highlight the trade-off between preferences and delays as well as the potential benefits. Indeed, computing efficient solutions of the problem facilitates a consensus between network manager and airspace users. In view of the level of accuracy of the solutions and of the excellent computational performance, we are optimistic that the proposed approach may provide a significant contribution to the development of the next generation of air traffic flow management tools.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Data-driven modelling and validation of aircraft inbound-stream at some major European airports
Authors:
Carlo Lancia,
Guglielmo Lulli
Abstract:
This paper presents an exhaustive study on the arrivals process at eight important European airports. Using inbound traffic data, we define, compare, and contrast a data-driven Poisson and PSRA point process. Although, there is sufficient evidence that the interarrivals might follow an exponential distribution, this finding does not directly translate to evidence that the arrivals stream is Poisso…
▽ More
This paper presents an exhaustive study on the arrivals process at eight important European airports. Using inbound traffic data, we define, compare, and contrast a data-driven Poisson and PSRA point process. Although, there is sufficient evidence that the interarrivals might follow an exponential distribution, this finding does not directly translate to evidence that the arrivals stream is Poisson. The main reason is that finite-capacity constraints impose a correlation structure to the arrivals stream, which a Poisson model cannot capture. We show the weaknesses and somehow the difficulties of using a Poisson process to model with good approximation the arrivals stream. On the other hand, our innovative non-parametric, data-driven PSRA model, predicts quite well and captures important properties of the typical arrivals stream.
△ Less
Submitted 8 August, 2017;
originally announced August 2017.
-
On the blockage problem and the non-analyticity of the current for the parallel TASEP on a ring
Authors:
Benedetto Scoppola,
Carlo Lancia,
Riccardo Mariani
Abstract:
The Totally Asymmetric Simple Exclusion Process (TASEP) is an important example of a particle system driven by an irreversible Markov chain. In this paper we give a simple yet rigorous derivation of the chain stationary measure in the case of parallel updating rule. In this parallel framework we then consider the blockage problem (aka slow bond problem). We find the exact expression of the current…
▽ More
The Totally Asymmetric Simple Exclusion Process (TASEP) is an important example of a particle system driven by an irreversible Markov chain. In this paper we give a simple yet rigorous derivation of the chain stationary measure in the case of parallel updating rule. In this parallel framework we then consider the blockage problem (aka slow bond problem). We find the exact expression of the current for an arbitrary blockage intensity $\varepsilon$ in the case of the so-called rule-184 cellular automaton, i.e. a parallel TASEP where at each step all particles free-to-move are actually moved. Finally, we investigate through numerical experiments the conjecture that for parallel updates other than rule-184 the current may be non-analytic in the blockage intensity around the value $\varepsilon = 0$.
△ Less
Submitted 16 March, 2015; v1 submitted 31 August, 2014;
originally announced September 2014.
-
Updating Neighbour Cell List via Crowdsourced User Reports: a Framework for Measuring Time Performance
Authors:
Alessandro Checco,
Carlo Lancia,
Douglas J. Leith
Abstract:
In this paper we introduce the idea of estimating local topology in wireless networks by means of crowdsourced user reports. In this approach each user periodically reports to the serving basestation information about the set of neighbouring basestations observed by the user. We show that, by map** the local topological structure of the network onto states of increasing knowledge, a crisp mathem…
▽ More
In this paper we introduce the idea of estimating local topology in wireless networks by means of crowdsourced user reports. In this approach each user periodically reports to the serving basestation information about the set of neighbouring basestations observed by the user. We show that, by map** the local topological structure of the network onto states of increasing knowledge, a crisp mathematical framework can be obtained, which allows in turn for the use of a variety of user mobility models. Using a simplified mobility model we show how obtain useful upper bounds on the expected time for a basestation to gain full knowledge of its local neighbourhood, answering the fundamental question about which classes of network deployments can effectively benefit from a crowdsourcing approach.
△ Less
Submitted 20 November, 2019; v1 submitted 7 January, 2014;
originally announced January 2014.
-
Equilibrium and non-equilibrium Ising models by means of PCA
Authors:
Carlo Lancia,
Benedetto Scoppola
Abstract:
We propose a unified approach to reversible and irreversible PCA dynamics, and we show that in the case of 1D and 2D nearest neighbour Ising systems with periodic boundary conditions we are able to compute the stationary measure of the dynamics also when the latter is irreversible. We also show how, according to [DPSS12], the stationary measure is very close to the Gibbs for a suitable choice of t…
▽ More
We propose a unified approach to reversible and irreversible PCA dynamics, and we show that in the case of 1D and 2D nearest neighbour Ising systems with periodic boundary conditions we are able to compute the stationary measure of the dynamics also when the latter is irreversible. We also show how, according to [DPSS12], the stationary measure is very close to the Gibbs for a suitable choice of the parameters of the PCA dynamics, both in the reversible and in the irreversible cases. We discuss some numerical aspects regarding this topic, including a possible parallel implementation.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
On the statistical description of the inbound air traffic over Heathrow airport
Authors:
Maria Virginia Caccavale,
Antonio Iovanella,
Carlo Lancia,
Guglielmo Lulli,
Benedetto Scoppola
Abstract:
We present a model to describe the inbound air traffic over a congested hub. We show that this model gives a very accurate description of the traffic by the comparison of our theoretical distribution of the queue with the actual distribution observed over Heathrow airport. We discuss also the robustness of our model.
We present a model to describe the inbound air traffic over a congested hub. We show that this model gives a very accurate description of the traffic by the comparison of our theoretical distribution of the queue with the actual distribution observed over Heathrow airport. We discuss also the robustness of our model.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Asymptotics for the Late Arrivals Problem
Authors:
Carlo Lancia,
Gianluca Guadagni,
Sokol Ndreca,
Benedetto Scoppola
Abstract:
We study a discrete time queueing system where deterministic arrivals have i.i.d. exponential delays $ξ_{i}$. The standard deviation $σ$ of the delay is finite, but its value is much larger than the deterministic unit service time. We describe the model as a bivariate Markov chain, we prove that it is ergodic and then we focus on the unique joint equilibrium distribution. We write a functional equ…
▽ More
We study a discrete time queueing system where deterministic arrivals have i.i.d. exponential delays $ξ_{i}$. The standard deviation $σ$ of the delay is finite, but its value is much larger than the deterministic unit service time. We describe the model as a bivariate Markov chain, we prove that it is ergodic and then we focus on the unique joint equilibrium distribution. We write a functional equation for the bivariate generating function, finding the solution of such equation on a subset of its set of definition. This solution allows us to prove that the equilibrium distribution of the Markov chain decays super-exponentially fast in the quarter plane. Finally, exploiting the latter result, we discuss the numerical computation of the stationary distribution, showing the effectiveness of a simple approximation scheme in a wide region of the parameters. The model, motivated by air and railway traffic, was proposed many decades ago by Kendall with the name of "late arrivals problem", but no solution has been found so far.
△ Less
Submitted 29 December, 2016; v1 submitted 8 February, 2013;
originally announced February 2013.
-
Entropy-driven cutoff phenomena
Authors:
Carlo Lancia,
Francesca R. Nardi,
Benedetto Scoppola
Abstract:
In this paper we present, in the context of Diaconis' paradigm, a general method to detect the cutoff phenomenon. We use this method to prove cutoff in a variety of models, some already known and others not yet appeared in literature, including a chain which is non-reversible w.r.t. its stationary measure. All the given examples clearly indicate that a drift towards the opportune quantiles of the…
▽ More
In this paper we present, in the context of Diaconis' paradigm, a general method to detect the cutoff phenomenon. We use this method to prove cutoff in a variety of models, some already known and others not yet appeared in literature, including a chain which is non-reversible w.r.t. its stationary measure. All the given examples clearly indicate that a drift towards the opportune quantiles of the stationary measure could be held responsible for this phenomenon. In the case of birth- and-death chains this mechanism is fairly well understood; our work is an effort to generalize this picture to more general systems, such as systems having stationary measure spread over the whole state space or systems in which the study of the cutoff may not be reduced to a one-dimensional problem. In those situations the drift may be looked for by means of a suitable partitioning of the state space into classes; using a statistical mechanics language it is then possible to set up a kind of energy-entropy competition between the weight and the size of the classes. Under the lens of this partitioning one can focus the mentioned drift and prove cutoff with relative ease.
△ Less
Submitted 3 May, 2012; v1 submitted 22 February, 2011;
originally announced February 2011.