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.
AUTOMATED AIRCRAFT INTENT GENERATION PROCESS BASED ON SPECIFICATIONS EXPRESSED IN FORMAL LANGUAGES
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
2017-03-29
Patent
Elektronische Ressource
Englisch
IPC: | G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS |
Formal Intent-Based Trajectory Description Languages
Online Contents | 2014
|Formal Intent-Based Trajectory Description Languages
IEEE | 2014
|Automated Aircraft Trajectory Prediction Based on Formal Intent-Related Language Processing
Online Contents | 2013
|