复杂环境下基于价格时间自动机飞机着陆调度

Aircraft landing scheduling based on priced timed automata in complex environment

目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构的飞机着陆调度设计,在满足着陆时间窗、最小尾流间隔等约束条件下优化额外成本消耗,并考虑复杂气候地理环境,构建出飞机着陆过程中各交互实体的价格时间自动机模型,采用UPPAAL CORA中的分支界定算法求解飞机着陆调度最优成本的可达性。仿真实验结果表明:此研究方法可应用于复杂环境下、大吞吐量的飞机着陆调度,能够显著降低着陆消耗,提升跑道容量,具有安全性、智能性与经济性。

There are some common problems existed in aircraft landing schedule,such as single scheduling policy,low efficiency,high additional cost and so on.A scheduling design for aircraft landing process using priced timed automata（PTA） as basic model architecture is proposed.Under the constrain conditions such as landing time window and minimum wake turbulence separation delay,additional cost is optimized.PTA model of interacting entities in aircraft landing process is constructed considering complex climatic and geographical environment.The reachability of aircraft landing schedule optimal cost is got by using standard branch and bound algorithm of the model checking tool UPPAAL CORA.The simulation results show that the method can be applied to aircraft landing scheduling with high throughput in complex environment.It can significantly reduce the aircraft landing cost and enhance runway capacity,the method is safe,intelligent and economical.