This paper presents an optimization approach for dynamically scheduling aircraft operations and supporting air traffic controllers in both determining and implementing operationally feasible landing and departure times at an airport. The mixed integer linear programming model proposed...

To improve the restrictions of flow distribution caused by the static air traffic flow distribution mode and alleviate the conflicts between the current flight traffic demand and the resource constraints of airspace, the authors propose a flight flow dynamic adjustment and distribution model...

Congestion in the air traffic system, both recurrent and non-recurrent, is typically handled by rationing access rights to individual resources such as airports or important parts of the airspace. Under the planning paradigm employed in the US, this rationing process occurs independently at each...

In an earlier work, Sun and Bayen built a Large-Capacity Cell Transmission Model for air traffic flow management. They formulated an integer programming problem of minimizing the total travel time of flights in the National Airspace System of the United States subject to sector capacity...

In this paper a deterministic mixed 0–1 model for the air traffic flow management problem is presented. The model allows for flight cancelation and rerouting, if necessary. It considers several types of objective functions to minimize, namely, the number of flights exceeding a given time delay...

We present a framework for modeling multistage mixed 0–1 problems for the air traffic flow management problem with rerouting (ATFMRP) under uncertainty in the airport arrival and departure capacity, the air sector capacity and the flight demand. The model allows for flight cancelation, if...

The Conflict Detection and Resolution Problem for Air Traffic Flow Management consists of deciding the best strategy for airborne aircraft so that there is guarantee that no conflict takes place, i.e., all aircraft maintain the minimum safety distance at every time instant. Two integer linear...

We use adaptive models to understand the dynamics that lead to efficient and fair outcomes in a repeated Battle of the Sexes game. Human subjects appear to easily recognize the possibility of a coordinated alternation of actions as a mean to generate an efficient and fair outcome. Yet such...

In this paper the compelling issue of efficiency of electricity markets has been studied by means of an artificial power exchange based on the agent-based approach. In particular, two common market-clearing rules, i.e., discriminatory and uniform, have been compared with respect to efficiency...