Present research in Air Traffic Management (ATM) is going towards improvement of airspace capacity, accessibility and efficiency while reducing the management costs and increasing the safety performance indicators. A 4D contract between an Airspace User (AU) and Air Traffic Control, in which aircraft should be located at a given time on a particular waypoint, opens a wide scope of applications for decision support tools (DSTs). This paper introduces a new modeling approach for a smooth safety nets transition within the high en-route airspace operations. The approach is based on a causal state space search as a response to some shortages in the collision avoidance events, resulted from a limited logic of Traffic alert and Collision Avoidance System (TCAS). It considers Enhanced TCAS (E-TCAS) that relies on an extended time horizon at the separation management level to define functionalities that will provide the most optimal resolution trajectories and remove the deadlock scenarios.
[1]
Mykel J. Kochenderfer,et al.
Next-Generation Airborne Collision Avoidance System
,
2012
.
[2]
Miquel Angel Piera,et al.
A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles
,
2016
.
[3]
Miquel Angel Piera,et al.
A Medium Term Conflict Detection and Resolution system for Terminal Maneuvering Area based on Spatial Data Structures and 4D Trajectories
,
2013
.
[4]
Miquel Angel Piera Eroles,et al.
Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model
,
2015,
Simul..
[5]
G. Strang.
Introduction to Linear Algebra
,
1993
.
[6]
Miquel Angel Piera,et al.
A causal model to explore the ACAS induced collisions
,
2014
.