Joint Air Traffic Flow and Capacity Management via Answer Set Programming

Researchers introduce a joint air traffic flow and capacity management model using Answer Set Programming that simultaneously optimizes aircraft trajectories and sector configurations. The ASP approach outperforms traditional Mixed Integer Programming methods and remains competitive with heuristics, demonstrating potential improvements in balancing flight demand with available airspace capacity.

This research addresses a significant gap in operational air traffic management by proposing unified optimization of two previously siloed problems: aircraft trajectory management and dynamic airspace configuration. Traditional approaches optimize either flight paths or sector layouts independently, missing potential synergies that joint optimization could unlock. The study evaluates an Answer Set Programming implementation against established methods like Mixed Integer Programming and iterative heuristics, using realistic flight data from the OpenSky Network to validate results.

The findings demonstrate that ASP outperforms MIP models while maintaining competitiveness with heuristic approaches on smaller problem instances, suggesting the approach offers computational advantages for real-world deployment. The research reveals that dynamic airspace configuration produces the largest performance improvements compared to aircraft rerouting or delay strategies, though unrestricted DAC variants paradoxically harm search efficiency by expanding the solution space uncontrollably.

For the aviation industry and air navigation service providers, this work has meaningful implications for improving airport efficiency and reducing delays. Better capacity management directly translates to cost savings, reduced fuel consumption, and improved passenger experience. The ASP methodology introduces a declarative programming paradigm that could enable more flexible, maintainable solutions compared to traditional optimization frameworks.

Future directions include scaling the approach to handle continental or global airspace networks and integrating real-time constraints like weather and aircraft performance variations. The balance between optimization power and computational tractability remains the central challenge for practical deployment.

• →Answer Set Programming outperforms traditional Mixed Integer Programming for joint air traffic flow optimization
• →Simultaneous optimization of aircraft trajectories and sector configuration reveals untapped efficiency gains
• →Dynamic airspace configuration provides larger performance improvements than rerouting or delay strategies alone
• →Unrestricted optimization parameters can paradoxically degrade search performance through solution space expansion
• →Real-world validation using OpenSky Network flight data demonstrates practical applicability