Abstract

Today’s air traffic management system is not expected to scale to the projected increase in traffic over the next two decades. Enhancing collaboration between the controllers and the users of the airspace could lessen the impact of the resulting air traffic flow problems. The authors summarize a new concept that has been proposed for collaborative air traffic flow management, the problems it is meant to address, and our approach to evaluating the concept. The authors present their initial simulation design and experimental results, using several simple route selection strategies and traffic flow management approaches. Though their model is still in an early stage of development, these results have revealed interesting properties of the proposed concept that will guide their continued development, refinement of the model, and possibly influence other studies of traffic management elsewhere. Finally, they conclude with the challenges of validating the proposed concept through simulation and future work. Document type: Part of book or chapter of book

Abstract

Collaborative Decision Making (CDM) embodies a new philosophy for managing air traffic. The initial implementation of CDM in the US has been aimed at Ground Delay Program Enhancements (GDP-E). However, the underlying concepts of CDM have the potential for much broader applicability. This paper reviews on-going and proposed CDM research streams. The topic areas discussed include: ground delay program enhancements; collaborative routing; performance monitoring and analysis; collaborative resource allocation mechanisms; game theory models for analyzing CDM procedures and information exchange; collaborative information collection and distribution. Document type: Part of book or chapter of book

Abstract

In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases of each flights, i.e., the phase of taking-off, of cruising and of landing; suggesting all the actions to be implemented to achieve the goal of safe, efficient, and expeditious aircraft movement. The distinctive feature of the model is that it allows rerouting decisions. These decisions are formulated by means of "local" conditions, which allow us to represent such decisions in a very compact way by only introducing new constraints. Moreover, to strengthen the polyhedral structure of the underlying relaxation, we also present three classes of valid inequalities.\r \r We report short computational times (less than 15 minutes) on instances of the size of the US air traffic control system that make it realistic that our approach can be used as the main engine of managing air traffic in the US. Document type: Part of book or chapter of book

Abstract

Civil aviation air traffic undergoes many random disturbances. Air traffic controllers watch the real traffic and ensure that it is free from collision hazards in the whole airspace — the ATC sector — under their control. The ATFM service takes care that the flow capacity in each sector, called capacity of the air traffic sector, is not exceeded. In the paper an original method of model estimation of the capacity of the designed ATC sectors is described. In this method an experimentally established statistical relationship between the random variables of control load and the air traffic density is used. The capacity of a sector was found from the joint probability distribution of such a two-dimensional random variable model determined as a quanti le of adequate order. This method was verified in practice by determining the capacity of the designed new ATC sectors in FIR Warsaw. Document type: Book

Abstract

Since its inception, a main objective of the Ada language has been to assist in the development of large and robust applications. In addition to that, the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize_Scalars pragma, which ensures an automatic initialization of the nonexplicitly initialized scalars. This paper presents Initialize Scalars, an enrichment of the Normalize_Scalars concept, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented. Document type: Part of book or chapter of book

Abstract

At recent years, air traffic demand increased at double-digit figures at several Brazilian airports and as a consequence increased controller workload was observed at many Sectors of the Air Traffic Control Facilities, with clear indications that demand consistently surpassed the available capacity of airports and air traffic control units. Although determination of air traffic control capacity values is still a very subjective and controversial issue, with no proven and universally accepted method in place, there is no doubt that there are limits and operating at values above a certain “threshold” will impact the system’s efficiency, and, ultimately, also it’s safety. “Demand” is defined as the number of aircraft requesting to use the Air Traffic Management system ABSTRACT Document type: Part of book or chapter of book

Abstract

International audience; The French Air Traffic Control is based on an automated system referred to as CAUTRA (Coordinateur AUtomatisé du Trafic Aérien). The CAUTRA is implemented on a distributed fault-tolerant computing system installed on five enroute traffic control centers and one centralized operating center, that are connected through an aeronautical telecommunication network. The CAUTRA mission is to provide computerized means for the safe and efficient movement of aircrafts. The main services provided are flight plans processing, radar data processing and air traffic flow management. Document type: Part of book or chapter of book

Abstract

BSTRACT: In order to make a sensible prediction on the air traffic flow management with conditions of wave-off and bolter, a system dynamic model for the night recovery operations of embarked aircrafts is built to ensure the adaption of air traffic flow with the capacity of air control at each phase of the recovery operations. The model aims at the characteristics of multiple feedbacks, delays and complex time varying, builds a stock flow diagram and operation model with impact factors of the night recovery system, and is simulated in Vensim(r) Personal Learning Edition 5.9. The simulation shows a reasonable prediction result for the night recovery of embarked aircrafts with conditions of bolter and wave-off and can provide a theoretical basis for scheduling the air traffic flow management of embarked aircrafts formation recovery. Document type: Article

Abstract

Nowadays, huge efforts are made to modernize the air traffic management systems to cope with uncertainty, complexity and sub-optimality. An answer is to enhance the information sharing between the stakeholders. This paper introduces a framework that bridges the gap between air traffic management and air traffic control on the one hand, and bridges the gap between the ground, the approach and the en-route centers on the other hand. An original system is presented, that has three essential components: the trajectory models, the optimization process, and the monitoring process. The uncertainty of the trajectory is modeled with a Bayesian Network, where the nodes are associated to two types of random variables: the time of overflight on metering points of the airspace, and the traveling time of the routes linking these points. The resulting Bayesian Network covers the complete airspace, and Monte- Carlo simulations are done to estimate the probabilities of sector congestion and delays. On top of this trajectory model, an optimization process minimizes these probabilities by tuning the parameters of the Bayesian trajectory model related to overflight times on metering points. The last component is the monitoring process, that continuously updates the situation of the airspace, modifying the trajectories uncertainties according to actual positions of aircraft. After each update, a new optimal set of overflight times is computed, and can be communicated to the controllers as clearances for the aircraft pilots. The paper presents a formal specification of this global optimization problem, whose underlying rationale was derived with the help of air traffic controllers at Thales Air Systems. Comment: SESAR 2nd Innovation Days (2012)

Abstract

WOS: 000334486400001 This study presents a 0-1 integer programming model for air traffic flow management. The model is used for determining optimum departure times of aircraft so as to avoid aircraft conflicts and to balance capacity and demand on the airports. Standard air traffic control procedural separation minimas were set as conflict criteria, which has never been done before, and this makes it convenient for use in planning of flows in airspace sectors especially without surveillance system. The model was tested on an imaginary scenario, including an airspace sector, airport capacities and flight plans, and solved by a mathematical modelling and optimization software. Considering conflicts before takeoff, as in this study, might prevent riskier and costlier air traffic control measures such as heading, speed and flight level changes. The great need for these measures can be easily inferred from the solution results that presents delay times due to conflict related constraints. Utilizing both standard conflict criteria based on procedural separation minimas used in air traffic control and standard Air Traffic Flow Management strategy based on ground holding of aircraft in planning of flows, makes it easier to adapt the model to the current Air Traffic Flow Management system