Abstract: Determining a descent trajectory described by an Aircraft Intent Description Language (AIDL) is disclosed. An example method includes accessing historical flight data for a recorded flight trajectory, the recorded flight trajectory having been performed by a first aircraft type of multiple aircraft types and for a first airline of multiple airlines; estimating, using a processor, an aircraft intent parameter and an initial condition of the recorded flight trajectory based on an aircraft intent description language (AIDL) representation of the recorded flight trajectory; and mapping, using the processor, the aircraft intent parameter and the initial condition to a combination of the first aircraft type, the first airline, and an identified intended descent procedure.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: Determining a descent trajectory described by an Aircraft Intent Description Language (AIDL) is disclosed. An example method includes accessing historical flight data for a recorded flight trajectory, the recorded flight trajectory having been performed by a first aircraft type of multiple aircraft types and for a first airline of multiple airlines; estimating, using a processor, an aircraft intent parameter and an initial condition of the recorded flight trajectory based on an aircraft intent description language (AIDL) representation of the recorded flight trajectory; and mapping, using the processor, the aircraft intent parameter and the initial condition to a combination of the first aircraft type, the first airline, and an identified intended descent procedure.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.