Search Results

Documents authored by Trausmuth, Georg

Document
DOI: 10.4230/OASIcs.ATMOS.2026.10
ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management

Authors: Alexander Beiser, Markus Hecher, Nysret Musliu, Georg Trausmuth, and Stefan Woltran

Published in: OASIcs, Volume 147, 26th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2026)

Abstract
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.
Cite as

Alexander Beiser, Markus Hecher, Nysret Musliu, Georg Trausmuth, and Stefan Woltran. ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management. In 26th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2026). Open Access Series in Informatics (OASIcs), Volume 147, pp. 10:1-10:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{beiser_et_al:OASIcs.ATMOS.2026.10,
  author =	{Beiser, Alexander and Hecher, Markus and Musliu, Nysret and Trausmuth, Georg and Woltran, Stefan},
  title =	{{ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow \& Capacity Management}},
  booktitle =	{26th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2026)},
  pages =	{10:1--10:20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-453-6},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{147},
  editor =	{Cacchiani, Valentina and Funke, Stefan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2026.10},
  URN =		{urn:nbn:de:0030-drops-278067},
  doi =		{10.4230/OASIcs.ATMOS.2026.10},
  annote =	{Keywords: Air Traffic Flow and Capacity Management, ATFCM, Answer Set Programming, Heuristics, Open Data}
}

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact