A Flight Plan Rescheduling in Air Traffic Management Problem: A Time Discret Event System Approach

Motivated by the importance of congestion in air traffic problem and its bad effects on airlines companies and passenger's security, we propose a decision support framework for flight rescheduling in air traffic management based on ground delay, rerouting and flight canceling. This approach is based on using Time Petri Nets (TPN) to model air traffic networks. We introduce a Binary Decision Diagram based tool to represent the state space of Time Petri Nets. This tool, called Time Ordered Binary Decision Diagrams (TOBDDs) is able to represent a large state space of a TPN with a small data structure and enable the efficient manipulation of this set. In what follows, we developed a technique to generate all the rescheduling flights plans taking into account the temporal and spatial constraints.