7 research outputs found

    Network-wide assessment of ATM mechanisms using an agent-based model

    Full text link
    This paper presents results from the SESAR ER3 Domino project. Three mechanisms are assessed at the ECAC-wide level: 4D trajectory adjustments (a combination of actively waiting for connecting passengers and dynamic cost indexing), flight prioritisation (enabling ATFM slot swapping at arrival regulations), and flight arrival coordination (where flights are sequenced in extended arrival managers based on an advanced cost-driven optimisation). Classical and new metrics, designed to capture network effects, are used to analyse the results of a micro-level agent-based model. A scenario with congestion at three hubs is used to assess the 4D trajectory adjustment and the flight prioritisation mechanisms. Two different scopes for the extended arrival manager are modelled to analyse the impact of the flight arrival coordination mechanism. Results show that the 4D trajectory adjustments mechanism succeeds in reducing costs and delays for connecting passengers. A trade-off between the interests of the airlines in reducing costs and those of non-connecting passengers emerges, although passengers benefit overall from the mechanism. Flight prioritisation is found to have no significant effects at the network level, as it is applied to a small number of flights. Advanced flight arrival coordination, as implemented, increases delays and costs in the system. The arrival manager optimises the arrival sequence of all flights within its scope but does not consider flight uncertainties, thus leading to sub-optimal actions.Comment: 20 pages, 6 figures, Journal of Air Transport Managemen

    Bounded-oscillation Pushdown Automata

    No full text
    We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In particular, we assign to each run a number quantifying the oscillating behavior of the stack along the run. We study languages accepted by pushdown automata restricted to k-oscillating runs. We relate oscillation on pushdown automata with a counterpart restriction on context-free grammars. We also provide a way to filter all but the k-oscillating runs from a given PDA by annotating stack symbols with information about the oscillation. Finally, we study closure properties of the defined class of languages and the complexity of the k-emptiness problem asking, given a pushdown automaton P and k >= 0, whether P has a k-oscillating run. We show that, when k is not part of the input, the k-emptiness problem is NLOGSPACE-complete

    Dispatcher3 - D5.1: Verification and validation plan

    No full text
    In this deliverable, we present a verification and validation plan designed to carry out all necessary activities along Dispatcher3 prototype development. Given the nature of the project, the deliverable points to a data-centric approach to machine learning that treats training and testing models as an important production asset, together with the algorithm and infrastructure used throughout the development. The verification and validation activities will be presented in the document. The proposed framework will support the incremental development of the prototype based on the principle of iterative development paradigm. The core of the verification and validation approach is structured around three different and inter-related phases including data acquisition and preparation, predictive model development and advisory generator model development which are combined iteratively and in close coordination with the experts from the consortium and the Advisory Board. For each individual phase, a set of verification and validation activities will be performed to maximise the benefits of Dispatcher3. Thus, the methodological framework proposed in this deliverable attempts to address the specificities of the verification and validation approach in the domain of machine learning, as it differs from the canonical approach which are typically based on standardised procedures, and in the domain of the final prospective model. This means that the verification and validation of the machine learning models will also be considered as a part of the model development, since the tailoring and enhancement of the model highly relies on the verification and validation results. The deliverable provides an approach on the definition of preliminary case studies that ensure the flexibility and tractability in their selection through different machine learning model development. The deliverable finally details the organisation and schedule of the internal and external meetings, workshops and dedicated activities along with the specification of the questionnaires, flow-type diagrams and other tool and platforms which aim to facilitate the validation assessments with special focus on the predictive and prospective models.This deliverable is part of a project that has received funding from the Clean Sky Joint Undertaking under grant agreement No 886461 under European Union’s Horizon 2020 research and innovation programme.Peer ReviewedPostprint (published version

    Network-wide assessment of 4D trajectory adjustments using an agent-based model

    Get PDF
    This paper presents results from the SESAR ER3 Domino project. It focuses on an ECAC-wide assessment of two 4D-adjustment mechanisms, implemented separately and conjointly. These reflect flight behaviour en-route and at-gate, optimising given (cost) objective functions. New metrics designed to capture network effects are used to analyse the results of a microscopic, agent-based model. The results show that some implementations of the mechanisms allow the protection of the network from \u2018domino\u2019 effects. Airlines focusing on costs may trigger additional side-effects on passengers, displaying, in some instances, clear trade-offs between passenger- and flight-centric metrics

    Pilot3 - D5.2: Verification and validation report

    No full text
    The deliverable provides the outcomes from the verification and validation activities carried during the course of work package 5 of the Pilot3 project, and according to the verification and validation plan defined in deliverable D5.1 (Pilot3 Consortium, 2020c). Firstly, it presents the main results of the verification activities performed during the development and testing of the different software versions. Then, this deliverable reports on the results of internal and external validation activities, which aimed to demonstrate the operational benefit of the Pilot3 tool, assessing the research questions and hypothesis that were defined at the beginning of the project. The Agile principle adopted in the project accompanying with the five five-level hierarchy approach on the definition of scenarios and case studies enabled the flexibility and tractability in the selection of experiments through different versions of prototype development. As a result of this iterative development of the tool, some of the research questions initially defined have been revisited to better reflect the validation results. The deliverable also reports the feedback received from the experts during the internal and external meetings, workshops and dedicated (on-line) site visits. During the validation campaign, both subjective qualitative information and objective quantitative data were collected and analysed to assess the Pilot3 tool. The document also summarises the results of the survey that were distributed to the external experts to assess the human-machine interface (HMI) mock-up developed in the project.This deliverable is part of a project that has received funding from the Clean Sky Joint Undertaking under grant agreement No 863802 under European Union’s Horizon 2020 research and innovation programme.Peer ReviewedPostprint (published version
    corecore