Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces ASPaeroFlow, a heuristic that integrates Air Traffic Flow Management (ATFM) with Dynamic Airspace Configuration (DAC) to address the computational challenges posed by joint optimization in Air Traffic Flow and Capacity Management (ATFCM). By employing instance-space decomposition heuristics alongside a local exact method using Answer Set Programming, the authors demonstrate that their approach effectively balances computational efficiency and solution quality. Benchmarking results reveal that ASPaeroFlow not only serves as a viable alternative to exact methods but also shows that simultaneous optimization significantly outperforms sequential strategies in joint ATFCM scenarios.
Joint optimization of air traffic flow and capacity can significantly enhance operational efficiency, revealing that DAC impacts solution quality more than flow measures.
While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Management (ATFM) from Dynamic Airspace Configuration (DAC). This separation introduces an unresolved circular dependency between fixed-demand and fixed-capacity assumptions. Although joint optimization resolves this gap, the enlarged search space renders exact models computationally intractable for medium- to large-scale instances. To bridge this gap, we propose ASPaeroFlow: a heuristic for the joint ATFCM; it combines instance-space decomposition heuristics with a local exact approach using Answer Set Programming. We benchmark ASPaeroFlow from small to industry-sized instances and compare it with exact and alternative approaches. The results indicate that (1) the heuristic provides a computational middle ground between exact methods and operational baselines; (2) simultaneous optimization can outperform sequential optimization on joint ATFCM; and (3) an ablation study indicates that DAC has a larger impact on solution quality than flow measures.