Apparatus to generate aircraft intent and related methods

Abstract

Apparatus to generate aircraft intent and related methods are disclosed. An example automated aircraft intent generation method based on specifications expressed in formal languages includes: calculating first motion primitives associated with an aircraft intent description and a position of an aircraft; representing the first motion primitives in a second formal language as second motion primitives; collecting first information associated with at least one of 1) an aircraft performance model, 2) an environmental model, 3) a flight dynamic model, or 4) at least one of the first motion primitives or the second motion primitives; initializing a maneuver automaton based on the first information; collecting second information associated with at least one of: 1) flight plan instructions, 2) user preference indications, or 3) operational context indications; representing the second information as third information in a first formal language; combining the maneuver automaton and the third information to form a product automaton; determining that the product automaton satisfies a trajectory specification threshold; and in response to the product automaton satisfying the trajectory specification threshold, producing a representation of the aircraft intent description in the second formal language.