Conference article

Present research on the air traffic management systems is trying to improve an airspace capacity, accessibility and cost-efficiency while maintaining the safety performance indicators. The discretization of the aircraft trajectories in a sequence of the 4D points specifying an agreement between the airspace users and the traffic flow management, in which the aircraft are required to arrive at the certain waypoints in the required time instants, opens a huge scope of applications for the decision support tools. This paper presents the causal model of an induced collision scenario, generated by the Traffic alert and Collision Avoidance System logic, tailored by an impropriate pairwise collision resolutions. It elaborates a unit simulation case and introduces a new modeling approach through the Colored Petri Net formalism. The proposed model provides a better insight on the geometry of collision trajectories which is a baseline for the simulation of new conflict-free resolution strategies that could be automated, and integrated in the further research.

causal modeling, hotspot, induced collision, pairwise encounter, resolution advisories