The Aircraft Intent Description Language: A key enabler for air-ground synchronization in Trajectory-Based Operations
The Aircraft Intent Description Language: A key enabler for air-ground synchronization in Trajectory-Based Operations
复制标题
飞机意图描述语言：基于轨迹的操作中空地同步的关键推动者
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
C. Querejeta
中科院分区：
文献类型：
--
作者：
J. Lopez;M. Vilaplana;E. Gallo;F.A. Navarro;C. Querejeta
在本文中，一个正式的语言称为飞机意图描述语言（AIDL）提出了一个标准的，可互操作的手段，描述和交换预测的飞机轨迹在基于人工智能的操作（TBO）。AIDL提供了必要的元素来明确地制定飞机意图，在轨迹预测的上下文中，飞机意图是指描述飞机在一定时间间隔内如何操作的信息。通过根据AIDL表达飞行器意图，确保飞行器意图的每个实例定义唯一的轨迹。预期共享以结构化和正式的方式表达的飞行器意图信息（例如根据AIDL）可以促进在TBO的上下文中由不同自动化系统保持的预测的飞行器轨迹的同步。AIDL的特点是有一个字母表和一个语法。字母表和语法规则的定义基于对TP核心的轨迹计算过程的严格数学分析。这种分析依赖于一种新的方法来建模的轨迹计算过程的基础上的微分代数方程（DAE）的理论。本文介绍了字母表的AIDL，其中包含一组指令，捕捉个人的命令和指导模式，可直接在ATM上下文中的飞机的运动。然后，AIDL的语法规则，它定义了可能的组合的指令在字母表中，定义和数学证明。AIDL寻求利用作为轨迹计算过程的基础的物理和数学基础，以允许先验地（即，在实际计算轨迹之前）描述可以在ATM上下文中从飞行器合理地引出的任何可能的运动行为。目的是AIDL包含所有其他可用于描述飞机意图的方法和格式，即它们是AIDL的子集。因此，AIDL可以被视为用于飞机意图描述的元语言，包含可以用于在TBO的上下文中描述飞机意图的任何其他语言。
In this paper, a formal language called the aircraft intent description language (AIDL) is proposed as a standard, interoperable means of describing and exchanging predicted aircraft trajectories in trajectory-based operations (TBO). The AIDL provides the necessary elements to unambiguously formulate aircraft intent, which, in the context of trajectory prediction, refers to the information that describes how the aircraft is to be operated within a certain time interval. By expressing aircraft intent according to the AIDL, it is ensured that each instance of aircraft intent defines a unique trajectory. It is anticipated that sharing aircraft intent information expressed in a structured and formal manner, e.g. according to the AIDL, can facilitate the synchronization of the predicted aircraft trajectories held by different automation systems in the context of TBO. The AIDL is characterized by an alphabet and a grammar. The definition of the alphabet and the grammar rules are based on a rigorous mathematical analysis of the trajectory computation process at the core of a TP. This analysis relies on a novel approach to modeling the trajectory computation process based on the theory of differential algebraic equations (DAEs). The paper presents the alphabet of the AIDL, which contains a set of instructions that capture the individual commands and guidance modes available to direct the motion of an aircraft in the ATM context. Then, the AIDL grammar rules, which define the possible combinations of the instructions in the alphabet, are defined and mathematically justified. The AIDL seeks to exploit the physical and mathematical foundations underlying the trajectory computation process to allow describing a priori (i.e. before a trajectory is actually computed) any possible motion behavior that can reasonably be elicited from an aircraft in the ATM context. The objective is that the AIDL encompasses all other methods and formats that may be used to describe aircraft intent, i.e. they would be subsets of the AIDL. The AIDL could thus be seen as a metalanguage for aircraft intent description, containing any other language that may be used to describe aircraft intent in the context of TBO.