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

摘要

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.