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 invention provides a computer-implemented method of generating an aircraft intent description expressed in a formal language that provides an unambiguous four-dimensional description of an aircraft's intended motion and configuration during a period of flight. A flight intent description is parsed to provide instances of flight intent that span a flight segment, the flight segments together spanning the period of flight. The parsed flight intent is enriched with objectives and constraints according to user preferences, operational context and aircraft performance. The resulting enriched flight intent is converted into a parametric aircraft intent description by ensuring that each flight segment closes all associated degrees of freedom of motion and of configuration of the aircraft. At least some instances of aircraft intent contain a parameter range, and the method further comprises optimising the parametric aircraft intent by determining an optimal value for the parameter of each parameter range.

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. Flight segment descriptions are compared with constraints and/or objectives and the associated flight segment descriptions are enriched with information describing relevant constraints and/or objectives. The enriched flight intent is converted into aircraft intent by ensuring that the flight segment descriptions close all degrees of freedom of the aircraft during the period of flight.

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 flight intent description is parsed to provide instances of flight intent that span a flight segment, the flight segments together spanning the period of flight. The parsed flight intent is converted into parametric aircraft intent by generating an associated flight segment description for each flight segment that comprises instances of flight intent to close all associated degrees of freedom of motion and of configuration of the aircraft. At least some flight segment descriptions contain a parameter range, and the method further comprises optimizing the parametric aircraft intent by determining an optimal value for the parameter of each parameter range.

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 flight intent description is parsed to provide instances of flight intent that span a flight segment, the flight segments together spanning the period of flight. The parsed flight intent is converted into parametric aircraft intent by generating an associated flight segment description for each flight segment that comprises instances of flight intent to close all associated degrees of freedom of motion and of configuration of the aircraft. At least some flight segment descriptions contain a parameter range, and the method further comprises optimising the parametric aircraft intent by determining an optimal value for the parameter of each parameter range.

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. Flight segment descriptions are compared with constraints and/or objectives and the associated flight segment descriptions are enriched with information describing relevant constraints and/or objectives. The enriched flight intent is converted into aircraft intent by ensuring that the flight segment descriptions close all degrees of freedom of the aircraft during the period of flight.

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 invention provides a system and method of producing a description of the flight intent of an aircraft expressed using a formal language. The description may be used to generate a predicted aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to express the flight intent of the aircraft in a formal language. The flight intent describes a flight in terms of flight segments, and provides information of the path to be flown and how it is to be flown. The flight intent does not necessarily define unambiguously the aerodynamic configuration of the aircraft and the motion of the aircraft during the flight. The flight intent is used alongside other information to generate the aircraft intent that does describe unambiguously the aircraft's trajectory.