Patent attributes
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.
