On-demand Conflict Resolution Procedures for Air Traffic intersections

This article presents a Conflict Resolution Procedure (CRP) for intersecting routes in en-route Air Traffic Control (ATC). Recent works have developed provably-safe CRP, which solve the conflict resolution in a decoupled manner for en-route intersections. However, the original CRP for intersecting routes is inefficient because it is always on - even in the absence of conflicts. In contrast, the current article develops provably-safe CRPs that can be activated on-demand to accommodate an impending conflict. Conditions are developed to guarantee safety during activation and deactivation, and the CRP is illustrated through an example route intersection.