Mathematical Models for Air Traffic Conflict and Collision Probability Estimation

Increasing traffic demands and technological developments provide novel design opportunities for future air traffic management (ATM). In order to evaluate current air traffic operations and future designs, over the past decades, several mathematical models have been proposed for air traffic conflict and collision probability estimation....

The layered safety concept, an integrated approach to the design and validation of air traffic management enhancements

The expected growth of air traffic asks for large enhancements in continental Air Traffic Management (ATM) to increase capacity. From a technology point of view a multitude of 'solutions' are available, such as introducing air-ground datalink, providing better support to the ATCo (Air Traffic Controller), introducing 4D air traffic control,...