Aircraft intersection collision conflict detection and resolution under the control of A-SMGCS

Airport surface operation process under the control of A-SMGCS (Advanced Surface Movement Guidance and Control System) is viewed as a kind of hybrid system. In order to detect and resolve aircraft taxi collision conflict, an Extended Hybrid Petri-nets (EHP) is proposed to model the surface operation in this paper. We study dynamics of the EHP model and show how the surface operation can be described through its state evolution. For the detection of aircraft intersection collision conflict, the discrete and continuous pre-alerting conditions and warning conditions are provided using hybrid state of EHP model. And then, the surface navigation lights are used to execute resolution strategies, leading to the reduction of air traffic controller´s workload. Finally, algorithm for aircraft collision conflict detection and resolution is provided. As an example of application, the proposed algorithm is validated through Monte Carlo simulation under different surveillance precision for aircraft taxiing on intersection. The result demonstrates that the proposed algorithm could detect collision conflict and meet A-SMGCS requirements.