The Air Traffic Monotonic Lagrangian Grid (ATMLG) is used to simulate a 24 hour period of air traffic flow in the National Airspace System (NAS). During this time period, there are 41,594 flights over the United States, and the flight plan information (departure and arrival airports and times, and waypoints along the way) are obtained from an Federal Aviation Administration (FAA) Enhanced Traff...

The scheduling and execution of ramp area operations is a challenging task. Unlike aircraft maneuvers on taxiways, ramp area aircraft maneuvers are typically not confined to well-defined trajectories. The stochastic nature can force ramp area aircraft to slow down or stop along routes to the taxiway spot to avoid a loss of separation. To address this, we provide a tool for ramp controllers to h...

A method is proposed for exchanging information that allows a ground system to estimate the aircraft intent response to a ground instruction. This method approximates the intent response as a linear function of ground instruction parameters. The approach is described and applied to the case of an aircraft in climb subject to a controlled time-of-arrival. When subject to either lateral maneuvers...

We address the conflict detection and resolution problem in air traffic control, where an aircraft conflict is a loss of separation between aircraft trajectories. Conflict avoidance is crucial to ensure flight safety and remains a challenging traffic control problem. We focus on speed control to separate aircraft and consider two approaches: (i) maximize the number of conflicts resolved and (ii...

In this paper, we describe a method for synthesizing inductive invariants for cyberphysical aerospace systems that are parameterized on the number of participants, such as the number of aircraft involved in a coordinated maneuver. The methodology is useful for automating the traditionally manual process of deductive verification of safety properties, such as collision avoidance, and establishes...

Conflict detection and resolution (CD&R) systems predict loss of separation between aircraft and propose conflict avoidance maneuvers for the aircraft involved in the conflict. Given a pair of aircraft in conflict, the ownship and the intruder, the resolution system diverts the ownship from its original trajectory. In this paper, we introduce the concept of recovery course. A recovery course re...

A cooperative research study between the Boeing Company and the FAA evaluated extreme centerline deviations of large aircraft during taxiing operations on straight segments. The study was intended to gather data to define taxiway separation standards for the A-380 and B-747-800 aircraft. Two of these studies have been completed, and three additional studies are ongoing or planned for the near f...

The Federal Aviation Administration hopes to convert air traffic management to Trajectory Based Operations (TBO), under which aircraft flight plans are known to computer systems which aid in scheduling and separation. However, few aircraft flying today have equipment designed to support TBO. We conducted a human-in-the-loop simulation of TBO using current fleet equipage. Three aircraft equipage...

In air traffic management, conflict detection algorithms are used to determine whether or not aircraft are predicted to lose horizontal and vertical separation minima within a time interval assuming a trajectory model. In the case of linear trajectories, conflict detection algorithms have been proposed that are both complete, i.e., they detect all conflicts, and sound, i.e., they do not present...

This paper presents an algorithm for detection and resolution of air tra c con icts in a 3dimensional (3-D) airspace for two aircraft, namely ownship and intruder. A con ict is a projected incursion of the intruder aircraft within the protected zone of the ownship. A solution is a single maneuver, to be performed by the ownship, that e ectively keeps the required minimum separation without coop...