International Journal of Production Research · 2013 · 16 citations · 11 references
EngineeringSystems EngineeringCapacity PlanningOptimizationSchedulingDiscrete-event System ModelingOptimal ControlPetri NetsCapacity ConstraintsControl SynthesisControl System SynthesisDiscrete-event ModelingDiscrete-event SystemsPetri Net ModelsReachabilityTimed Petri Nets
Air traffic management aims to provide solutions to congestion problems in air traffic networks (ATNs) which in turn are mainly generated by the variation in the capacity of air sectors or airports due to adverse weather conditions. Most of the existing approaches to dealing with these problems are based on mathematical programming techniques and inherit its computational difficulty. In this paper, we introduce a control scientist point of view to this topic by proposing an approach to solve the ground-holding problem based on discrete event systems control theory. An ATN can effectively be considered as a timed discrete event system and can be efficiently modelled based on a Time Petri net tool. The main advantage is an explicit representation of the position of each aircraft in the ATN at each time instant. The state space is modelled by a Discrete Time Reachability Graph and the capacity constraints on the air sectors are modelled by time floating general mutual exclusion constraints. Feasible flight plans can be constructed based on control synthesis techniques, while an algorithm to compute the optimal flight plan is proposed assuming a realistic cost function.
11
Adhi Harmoko S, M.Komp, Joseph Marie Jacquard et al. · 2005 · 18.4K citations
A generalization of Dijkstra's algorithm
Donald E. Knuth · Information Processing Letters · 1977 · 264 citations