Aircraft Conflict Resolution: A Benchmark Generator

References

• Alonso-Ayuso A, Escudero L, Martín-Campo F (2016) An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution. Top 24(2):381–408.Crossref, Google Scholar
• Athènes S, Averty P, Puechmorel S, Delahaye D, Collet C (2002) ATC complexity and controller workload: Trying to bridge the gap. Chatty S, Hansman J, Boy G, eds. Proc. Internat. Conf. HCI Aeronautics (AAAI, Menlo Park, CA).Google Scholar
• Cafieri S, Durand N (2014) Aircraft deconfliction with speed regulation: New models from mixed-integer optimization. J. Global Optimization 58(4):613–629.Crossref, Google Scholar
• Cafieri S, Rey D (2017) Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming. Comput. Oper. Res. 80:147–158.Crossref, Google Scholar
• Cerulli M (2020) Instances of aircraft deconfliction problem via speed regulation in 3 dimensions. Accessed December 1, 2022, https://github.com/MartinaCerulli/SRADP.Google Scholar
• Cerulli M, D’Ambrosio C, Liberti L, Pelegrín M (2021) Detecting and solving aircraft conflicts using bilevel programming. J. Global Optimization 81(2):529–557.Crossref, Google Scholar
• Delahaye D, Puechmorel S (2000) Air traffic complexity: Toward an intrinsic metric. FAA/EUROCONTROL, ed. Proc. 3rd USA/FAA Air Traffic Management R&D Seminar. https://www.atmseminar.org/3rd-seminar/papers/.Google Scholar
• Dias F, Hijazi H, Rey D (2022) Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution. Eur. J. Oper. Res. 296(2):520–538Crossref, Google Scholar
• Frazzoli E, Mao ZH, Oh JH, Feron E (2001) Resolution of conflicts involving many aircraft via semidefinite programming. J. Guidance, Control Dynam. 24(1):79–86.Crossref, Google Scholar
• Hohenwarter M, Borcherds M, Ancsin G, Bencze B, Blossier M, Delobelle A, Denizet C, et al. (2013) GeoGebra. Accessed May 13, 2022, http://www.geogebra.org.Google Scholar
• Isufaj R, Koca T, Piera M (2021) Spatiotemporal graph indicators for air traffic complexity analysis. Aerospace 8(12):364.Crossref, Google Scholar
• Lehouillier T, Omer J, Soumis F, Desaulniers G (2017) Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem. Eur. J. Oper. Res. 256(3):696–712.Crossref, Google Scholar
• Niedringhaus W (1995) Stream option manager (SOM): Automated integration of aircraft separation, merging, stream management, and other air traffic control functions. IEEE Transactions on Systems, Man, and Cybernetics 25(9):1269–1280.Crossref, Google Scholar
• Pelegrín M, Cerulli M (2022) Benchmarking instances generator for aircraft conflict resolution v2021.0283. Accessed December 1, 2022, http://dx.doi.org/10.5281/zenodo.7377734.Google Scholar
• Pelegrín M, D’Ambrosio C (2022) Aircraft deconfliction via mathematical programming: Review and insights. Transportation Sci. 56(1).Link, Google Scholar
• Rey D, Dias F (2020) Instances library for the Aircraft Conflict Resolution Problem. Accessed December 1, 2022, https://github.com/acrp-lib/acrp-lib.Google Scholar
• Rey D, Rapine C, Dixit VV, Waller ST (2015) Equity-oriented aircraft collision avoidance model. IEEE Trans. Intelligent Transportation Systems 16(1):172–183.Crossref, Google Scholar
• Rey D, Rapine C, Fondacci R, Faouzi NE (2016) Subliminal speed control in air traffic management: Optimization and simulation. Transportation Sci. 50(1):240–262.Link, Google Scholar
• Vanaret C, Gianazza D, Durand N, Gotteland JB (2012) Benchmarking conflict resolution algorithms. 5th Internat. Conf. Res. Air Transportation, (Berkeley, CA).Google Scholar
• Wang R, Alligier R, Allignol C, Barnier N, Durand N, Gondran A (2020a) A benchmark for conflict resolution algorithms. Accessed December 1, 2022, http://clusters.recherche.enac.fr/.Google Scholar
• Wang R, Alligier R, Allignol C, Barnier N, Durand N, Gondran A (2020b) Cooperation of combinatorial solvers for en-route conflict resolution. Transportation Research Part C: Emerging Tech. 114:36–58.Crossref, Google Scholar