## Abstract

This present paper deals with air traffic management problem for the continuous flights with stopover and returning at initial airport. The initial scheduling is disrupted by poor weather conditions, which may change over time. For this problem, we consider the air traffic as a discrete event system where the rescheduled flights are modelled by time Petri net tool. As a resolution approach for this problem, a genetic algorithm is introduced where a new encoding of flight plans is proposed. The feasibility of generated solutions, by genetic algorithm, is checked by means of our recently approach so-called Time Reduced Ordered Binary Decision Diagrams (TROBDDs). A numerical example is provided to show that the proposed genetic algorithm exhibits a much better quality of routing solution and a much higher rate of convergence than other algorithms.

## Original document

The different versions of the original document can be found in:

- http://xplorestaging.ieee.org/ielx7/8704710/8714767/08715231.pdf?arnumber=8715231,
- https://academic.microsoft.com/#/detail/2946751119

- http://dx.doi.org/10.1109/iea.2019.8715231