EXECUTIVE SUMMARY The Traffic Alert and Collision Avoidance System (TCAS), currently
mandated on all large transport aircraft, has been shown to significantly reduce the risk of …

An effective collision avoidance system for unmanned aircraft will enable them to fly in civil
airspace and greatly expand their applications. One promising approach is to model aircraft …

This paper proposes a simple geometric method for collaborative multiple-aircraft conflict
avoidance. We assume that aircraft cruise at constant altitude with varying velocities and …

NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling
near-term, safe operations of small UAS vehicles in uncontrolled airspace, ie, Class G …

PVSio is a conservative extension to the PVS prelude library that provides basic input/output
capabilities to the PVS ground evaluator. It supports rapid prototy** in PVS by enhancing …

This paper presents a Network Based Simulation Model developed with the objective of
assessing novel safety performance indicators of the future Air Traffic Management system …

Airborne separation assurance is a key requirement for Free Flight operations. A variety of
conflict detection (CD) and resolution algorithms have been developed for this task. A lack of …

This paper presents an extension to the ACAS X collision avoidance algorithm to multirotor
aircraft capable of using speed changes to avoid close encounters with neighboring aircraft …

In this paper, we introduce the air traffic operations and management simulator (ATOMS),
which is an air traffic and airspace modeling and simulation system for the analysis of free …

This paper presents a framework for airspace planning and design based on a conflict risk
assessment developed for the purpose of preventing aircraft conflicts and collisions. The …