Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A description of flight intent is parsed to provide instances of flight intent, each instance of flight intent spanning a flight segment. For each flight segment, an associated flight segment description is generated that comprises one or more instances of flight intent that describe the aircraft's motion in at least one degree of freedom of motion. One or more instances of flight intent are added to flight segments to close all degrees of freedom of motion. The flight segment descriptions are collated thereby providing a description of aircraft intent for the period of flight expressed in a formal language.

Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A description of flight intent is parsed to provide instances of flight intent, each instance of flight intent spanning a flight segment. For each flight segment, an associated flight segment description is generated that comprises one or more instances of flight intent that describe the aircraft's motion in at least one degree of freedom of motion. One or more instances of flight intent are added to flight segments to close all degrees of freedom of motion. The flight segment descriptions are collated thereby providing a description of aircraft intent for the period of flight expressed in a formal language.