-
Federal
Aviation System Monitoring and Modeling Project
National Aeronautics and Space Administration —
Air transportation, one of the most important modes of transportation, is also one of the safest. Nevertheless, the public demands that safety levels continuously... -
Federal
Trajectory Clustering and an Application to Airspace Monitoring
National Aeronautics and Space Administration —
This paper presents a framework aimed at monitoring the behavior of aircraft in a given airspace. Trajectories that constitute typical operations are determined and... -
Federal
SAL and PVS Model of TTEthernet Synchronization Protocol
National Aeronautics and Space Administration —
Timed-Triggered Ethernet (or TTEthernet)is a communication infrastructure that enables the use of Ethernet in real-time, distributed systems. TTEthernet is compatible... -
Federal
Fleet Level Anomaly Detection of Aviation Safety Data
National Aeronautics and Space Administration —
For the purposes of this paper, the National Airspace System (NAS) encompasses the operations of all aircraft which are subject to air traffic control procedures. The... -
Federal
Trajectory Clustering with Applications to Airspace Monitoring
National Aeronautics and Space Administration —
This paper presents a framework aimed at monitoring the behavior of aircraft in a given airspace. Trajectories that constitute typical operations are determined and... -
Federal
Aircraft Proximity Maps Based on Data-Driven Flow Modeling
National Aeronautics and Space Administration —
With the forecast increase in air traffic demand over the next decades, it is imperative to develop tools to provide traffic flow managers with the information... -
Federal
Automated Discovery of Flight Track Anomalies
National Aeronautics and Space Administration —
As new technologies are developed to handle the complexities of the Next Generation Air Transportation System (NextGen), it is increasingly important to address both... -
Federal
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
National Aeronautics and Space Administration —
We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set of specifications from... -
Federal
On the Statistics and Predictability of Go-Arounds
National Aeronautics and Space Administration —
This paper takes an empirical approach to identify operational factors at busy airports that may predate go-around maneuvers. Using four years of data from San... -
Federal
Stability of Spatially Distributed, Intersecting Aircraft Flows Under Sequential Conflict Resolution Schemes
National Aeronautics and Space Administration —
This paper discusses the effect of sequential conflict resolution maneuvers of an infinite aircraft flow through a finite control volume. Aircraft flow models are... -
Federal
Bounds on Controller Taskload Rates at an Intersection for Dense Traffic
National Aeronautics and Space Administration —
not available -
Federal
Evaluating the Impact of Unrestricted Operation of Unmanned Aircraft Systems in the National Airspace System
National Aeronautics and Space Administration —
Unmanned aircraft systems (UAS) can be used for scientific, emergency management, and defense missions, among others. The existing federal air regulations,...