The process is based on specifications expressed in a first formal language, preferably LTL, and in a second formal language, used to describe automated aircraft intent generation, preferably AIDL. Motion primitives and position location of an aircraft are calculated and represented in the second formal language. Information based on inputs from the aircraft performance model, an environmental model, a flight dynamic model and the motion primitives is collected to initialize a maneuver automaton. Inputs from a flight plan instructions, a user preference indications and operational context indications are collected and represented the first formal language. The maneuver automaton instructions are combined with the inputs represented in the first formal language to form a product automaton expressed in the first formal language with the trajectory that best meets a predetermined trajectory specification, that will be evaluated and reiterated if it is out of the predetermined range of values.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    AUTOMATED AIRCRAFT INTENT GENERATION PROCESS BASED ON SPECIFICATIONS EXPRESSED IN FORMAL LANGUAGES


    Weitere Titelangaben:

    AUTOMATISIERTES FLUGZEUGABSICHTSERZEUGUNGSVERFAHREN AUF GRUNDLAGE VON IN FORMALEN SPRACHEN AUSGEDRÜCKTEN SPEZIFIKATIONEN
    PROCÉDÉ DE GÉNÉRATION D'INTENTION D'AÉRONEF AUTOMATISÉ SUR LA BASE DE CARACTÉRISTIQUES EXPRIMÉES DANS DES LANGAGES FORMELS


    Beteiligte:

    Erscheinungsdatum :

    2017-03-29


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS



    Formal Intent-Based Trajectory Description Languages for Quadrotor Aircraft

    Frontera, Guillermo / Campana, Ivan / Bernardos, Ana M. et al. | IEEE | 2019


    Formal Intent-Based Trajectory Description Languages

    Frontera, G | Online Contents | 2014


    Formal Intent-Based Trajectory Description Languages

    Frontera, Guillermo / Besada, Juan A. / Bernardos, Ana M. et al. | IEEE | 2014


    Automated Aircraft Trajectory Prediction Based on Formal Intent-Related Language Processing

    Besada, Juan A. / Frontera, Guillermo / Crespo, Jesus et al. | IEEE | 2013