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.