In the National Airspace System, ight plans are often used only as a planning tool by air trac controllers and aircraft operators. These plans are implicitly translated into trajectories by the pilot or by the ight management system, and subsequently own by the aircraft. This translation process inevitably introduces di erences between the plan and the trajectory. However, given the current intended usage, exact correspondence between the plan and the trajectory is not needed. To achieve greater capacity and eciency, future air trac management concepts are being designed around the use of trajectories where predictability is extremely important. In this paper, a mathematical relationship between ight plans and trajectories is explored with the goal of making feasible, highly accurate predictions of future positions and velocities of aircraft. The goal here is to describe, in mathematically precise detail, a formal language of trajectories, whereby all receivers of the trajectory information will be able to arrive at precisely the same trajectory predication and to do this without having aircraft broadcast a large amount of data. Although even a four-dimensional ight plan is simple in structure, this paper will show that it is inherently ambiguous and will explore these issues in detail. In e ect, we propose that a rigorous semantics for ight plans can be developed and this will serve as an important stepping stone towards trajectory-based operations in the National Airspace System.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Towards a Formal Semantics of Flight Plans and Trajectories


    Beteiligte:

    Erscheinungsdatum :

    2014-12-01


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Towards a Formal Semantics of Flight Plans and Trajectories

    E. G. Hagen / W. R. Butler | NTIS | 2014


    Formal semantics for reactive Grafcet

    Cassez, F. | British Library Online Contents | 1997


    Generating Executable Flight-Plans for Unmanned Aircraft: A Formal Mission Planning Tool

    Seibel, C. W. / Farines, J.-M. / Dallagnolo, G.-C. et al. | British Library Conference Proceedings | 1996


    Formal Verification and Dimensioning of Flight Plans for Rotary-Wing Unmanned Aerial Vehicles

    Werner Seibel, C. / Farines, J.-M. / Association for Unmanned Vehicle Systems International | British Library Conference Proceedings | 1997


    Progress towards flight software hybrid controllers from formal specifications

    Haesaert, S. / Reder, L.J. / Murray, R.M. | IEEE | 2018