Abstract: A method includes generating an initial flight context that includes a set of unresolved flight constraints. The method further includes generating a decision tree based on the initial flight context. The decision tree includes a plurality of flight contexts corresponding to leaves of the decision tree. The method also includes expanding the decision tree according to a greedy best-first strategy that selects a flight context of the decision tree for expansion based on a fitness value assigned to the flight context. The method includes selecting, as a piloting strategy, a flight context of the decision tree that includes a sequence of actions to resolve each of the unresolved flight constraints. The method further includes flying an aircraft according to the piloting strategy.

Abstract: A method includes generating an initial flight context that includes a set of unresolved flight constraints. The method further includes generating a decision tree based on the initial flight context. The decision tree includes a plurality of flight contexts corresponding to leaves of the decision tree. The method also includes expanding the decision tree according to a greedy best-first strategy that selects a flight context of the decision tree for expansion based on a fitness value assigned to the flight context. The method includes selecting, as a piloting strategy, a flight context of the decision tree that includes a sequence of actions to resolve each of the unresolved flight constraints. The method further includes flying an aircraft according to the piloting strategy.

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