Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes
•An emerging application of Operations Research arising in Air Traffic Management is considered.•A new MINLP formulation for aircraft conflict avoidance is proposed.•A two-step approach is proposed based on sequentially applying heading and speed changes.•Numerical experiments clearly show the benef...
Saved in:
| Published in: | European journal of operational research Vol. 260; no. 1; pp. 283 - 290 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier B.V
01.07.2017
Elsevier |
| Subjects: | |
| ISSN: | 0377-2217, 1872-6860 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | •An emerging application of Operations Research arising in Air Traffic Management is considered.•A new MINLP formulation for aircraft conflict avoidance is proposed.•A two-step approach is proposed based on sequentially applying heading and speed changes.•Numerical experiments clearly show the benefit of the proposed methodological approach.
We consider the problem of aircraft conflict avoidance in Air Traffic Management systems. Given an initial configuration of a number of aircraft sharing the same airspace, the main goal of conflict avoidance is to guarantee that a minimum safety distance between each pair of aircraft is always respected during their flights. We consider aircraft separation achieved by heading angle deviations, and propose a mixed 0–1 nonlinear optimization model, that is then combined with another one which is based on aircraft speed regulation. A two-step solution approach is proposed, where the two models are sequentially solved using a state-of-the-art mixed-integer nonlinear programming solver. Numerical results validate the proposed approach and clearly show the benefit of combining the two considered separation maneuvers. |
|---|---|
| AbstractList | •An emerging application of Operations Research arising in Air Traffic Management is considered.•A new MINLP formulation for aircraft conflict avoidance is proposed.•A two-step approach is proposed based on sequentially applying heading and speed changes.•Numerical experiments clearly show the benefit of the proposed methodological approach.
We consider the problem of aircraft conflict avoidance in Air Traffic Management systems. Given an initial configuration of a number of aircraft sharing the same airspace, the main goal of conflict avoidance is to guarantee that a minimum safety distance between each pair of aircraft is always respected during their flights. We consider aircraft separation achieved by heading angle deviations, and propose a mixed 0–1 nonlinear optimization model, that is then combined with another one which is based on aircraft speed regulation. A two-step solution approach is proposed, where the two models are sequentially solved using a state-of-the-art mixed-integer nonlinear programming solver. Numerical results validate the proposed approach and clearly show the benefit of combining the two considered separation maneuvers. We consider the problem of aircraft conflict avoidance in Air Traffic Management systems. Given an initial configuration of a number of aircraft sharing the same airspace, the main goal of conflict avoidance is to guarantee that a minimum safety distance between each pair of aircraft is always respected during their flights. We consider aircraft separation achieved by heading angle deviations, and propose a mixed 0-1 nonlinear optimization model, that is then combined with another one which is based on aircraft speed regulation. A two-step solution approach is proposed, where the two models are sequentially solved using a state-of-the-art mixed-integer nonlinear programming solver. Numerical results validate the proposed approach and clearly show the benefit of combining the two considered separation maneuvers. |
| Author | Cafieri, Sonia Omheni, Riadh |
| Author_xml | – sequence: 1 givenname: Sonia surname: Cafieri fullname: Cafieri, Sonia email: sonia.cafieri@enac.fr, sonia@recherche.enac.fr organization: ENAC, University of Toulouse, Toulouse F-31055, France – sequence: 2 givenname: Riadh surname: Omheni fullname: Omheni, Riadh email: riadh.omheni@gmail.com organization: ENAC, University of Toulouse, Toulouse F-31055, France |
| BackLink | https://enac.hal.science/hal-01414548$$DView record in HAL |
| BookMark | eNp9kD2PEzEQhi10SOQ-_sBVbil2sb3ej0g0pxNwSEE0UFvDeJw4cuzgNRGp-OvnVaChuGqsV_O81jzX7CqmSIzdS9FKIYd3-5b2KbeqvlupWiHFK7aS06iaYRrEFVuJbhwbpeT4hl3P814IIXvZr9ifL_432cbHQlvKvNYGHwkyP-a0zXA4-LjlLmUOPmMGVzim6ILHwuGUvIWIxH-c-Uw_f1EsHkI4czgew3kBTxQS-lKTaPmOwC4hxG0gjrs6ab5lrx2Eme7-zhv2_eOHb49Pzebrp8-PD5sGtRpK4xwOa-zdRM4521ugoZukUN0wrO3ayq5H5TSOeiKrtbCAru-RSKDGztl1d8PeXnp3EMwx-wPks0ngzdPDxiyZkFrqXk8nWXenyy7mNM-ZnKk3QPEplgw-GCnMIt3szSLdLNKNVLVBVFT9h_7760Xo_QWiKuDkKZsZPVWx1mfCYmzyL-HPTYahug |
| CitedBy_id | crossref_primary_10_1007_s13369_019_03911_w crossref_primary_10_1016_j_robot_2024_104698 crossref_primary_10_3846_aviation_2023_19720 crossref_primary_10_1007_s10898_021_00997_1 crossref_primary_10_1016_j_orl_2025_107368 crossref_primary_10_1002_oca_2344 crossref_primary_10_1287_ijoc_2022_1226 crossref_primary_10_3390_aerospace9120772 crossref_primary_10_1109_MAES_2019_2914986 crossref_primary_10_3390_aerospace10020182 crossref_primary_10_1016_j_robot_2020_103705 crossref_primary_10_3390_aerospace7060079 crossref_primary_10_1177_0954410020953045 crossref_primary_10_1016_j_ejor_2021_03_059 crossref_primary_10_1016_j_ejor_2025_07_016 crossref_primary_10_1109_ACCESS_2019_2928355 crossref_primary_10_1016_j_omega_2020_102236 crossref_primary_10_1007_s11590_018_1361_8 crossref_primary_10_1016_j_orl_2022_07_010 crossref_primary_10_1017_aer_2023_45 crossref_primary_10_1287_trsc_2021_1056 crossref_primary_10_1007_s10898_017_0560_7 crossref_primary_10_1016_j_oceaneng_2020_107706 crossref_primary_10_1016_j_knosys_2019_105274 crossref_primary_10_2514_1_G005825 crossref_primary_10_1016_j_ejor_2023_03_002 crossref_primary_10_1017_aer_2020_5 crossref_primary_10_1007_s10898_024_01393_1 crossref_primary_10_1177_03611981221128811 crossref_primary_10_1177_03611981231186602 |
| Cites_doi | 10.1109/TITS.2010.2051028 10.1109/6979.898217 10.1109/TITS.2010.2061971 10.1007/s10107-004-0559-y 10.1007/BF00138693 10.1016/j.cor.2012.03.015 10.1007/s101070100263 10.1109/6979.994791 10.1016/j.ejor.2014.08.045 10.1080/10556780902753221 10.1287/ijoc.15.1.114.15159 10.1007/s12532-008-0001-1 10.1007/s10898-014-0166-2 10.3141/2300-07 10.1287/trsc.2014.0557 10.1007/s11750-015-0402-z 10.1080/10556780903087124 10.1007/s10898-013-0070-1 10.1287/trsc.2015.0602 |
| ContentType | Journal Article |
| Copyright | 2016 Elsevier B.V. Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2016 Elsevier B.V. – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 1XC VOOES |
| DOI | 10.1016/j.ejor.2016.12.010 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science Business Mathematics |
| EISSN | 1872-6860 |
| EndPage | 290 |
| ExternalDocumentID | oai:HAL:hal-01414548v1 10_1016_j_ejor_2016_12_010 S0377221716310293 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 4.4 457 4G. 5GY 5VS 6OB 7-5 71M 8P~ 9JN 9JO AAAKF AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AARIN AAXUO AAYFN ABAOU ABBOA ABFNM ABFRF ABJNI ABMAC ABUCO ABYKQ ACAZW ACDAQ ACGFO ACGFS ACIWK ACNCT ACRLP ACZNC ADBBV ADEZE ADGUI AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR AXJTR BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX IHE J1W KOM LY1 M41 MHUIS MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 RIG ROL RPZ RXW SCC SDF SDG SDP SDS SES SPC SPCBC SSB SSD SSV SSW SSZ T5K TAE TN5 U5U XPP ZMT ~02 ~G- 1OL 29G 41~ 9DU AAAKG AAQXK AATTM AAXKI AAYWO AAYXX ABWVN ABXDB ACLOT ACNNM ACRPL ACVFH ADCNI ADIYS ADJOM ADMUD ADNMO ADXHL AEIPS AEUPX AFFNX AFJKZ AFPUW AGQPQ AI. AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CITATION EFKBS FEDTE FGOYB HVGLF HZ~ R2- SEW VH1 WUQ ~HD 1XC VOOES |
| ID | FETCH-LOGICAL-c426t-ffc69c5f8efffd5dae6381023669d9d135c2f4c748ed440dacf55cee0c4c3fd93 |
| ISICitedReferencesCount | 35 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000396952000024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0377-2217 |
| IngestDate | Tue Oct 14 20:04:01 EDT 2025 Sat Nov 29 05:34:29 EST 2025 Tue Nov 18 22:18:50 EST 2025 Fri Feb 23 02:27:38 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Mixed-integer nonlinear programming Modeling Conflict avoidance Air traffic management Deterministic global optimization MINLP |
| Language | English |
| License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c426t-ffc69c5f8efffd5dae6381023669d9d135c2f4c748ed440dacf55cee0c4c3fd93 |
| ORCID | 0000-0002-4578-8394 |
| OpenAccessLink | https://enac.hal.science/hal-01414548 |
| PageCount | 8 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01414548v1 crossref_citationtrail_10_1016_j_ejor_2016_12_010 crossref_primary_10_1016_j_ejor_2016_12_010 elsevier_sciencedirect_doi_10_1016_j_ejor_2016_12_010 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-07-01 |
| PublicationDateYYYYMMDD | 2017-07-01 |
| PublicationDate_xml | – month: 07 year: 2017 text: 2017-07-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | European journal of operational research |
| PublicationYear | 2017 |
| Publisher | Elsevier B.V Elsevier |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier |
| References | Hansman (bib0018) 2012 Vela, Solak, Singhose, Clarke (bib0030) 2009 Vela, Solak, Clarke, Singhose, Barnes, Johnson (bib0029) 2010; 11 Fourer, Gay, Kernighan (bib0017) 2002 Misener, Floudas (bib0022) 2014; 59 Dolan, Moré (bib0014) 2002; 91 Wächter, Biegler (bib0031) 2006; 106 Alonso-Ayuso, Escudero, Martn-Campo (bib0005) 2016; 50 Liberti, Cafieri, Tarissan (bib0020) 2009 Christodoulou, Costoulakis (bib0013) 2004; vol. Vol. 1 Cafieri, Durand (bib0012) 2014; 58 Peyronne, Conn, Mongeau, Delahaye (bib0024) 2015; 241 Bussieck, Vigerske (bib0009) 2011 Sahinidis (bib0027) 1996; 8 EUROCONTROL (bib0016) 2010 SESAR consortium (bib0028) 2009 Brochard (bib0007) 2006 Cafieri (bib0010) 2017 Pallottino, Feron, Bicchi (bib0023) 2002; 3 Cafieri (bib0011) 2014 Kuchar, Yang (bib0019) 2000; 1 Achterberg (bib0001) 2009; 1 Alonso-Ayuso, Escudero, Martín-Campo (bib0003) 2012; 39 Alonso-Ayuso, Escudero, Martín-Campo (bib0004) 2016; 24 Belotti, Lee, Liberti, Margot, Wachter (bib0006) 2009; 24 Dupré, Bonini, Granger (bib0015) 2009 Alonso-Ayuso, Escudero, Martín-Campo (bib0002) 2011; 12 Bussieck, Drud, Meeraus (bib0008) 2003; 15 Rey, Rapine, Fondacci, Faouzi (bib0026) 2016; 50 Lin, Schrage (bib0021) 2009; 24 Rey, Rapine, Fondacci, Faouzi (bib0025) 2012; 2300 Achterberg (10.1016/j.ejor.2016.12.010_bib0001) 2009; 1 Bussieck (10.1016/j.ejor.2016.12.010_bib0008) 2003; 15 Cafieri (10.1016/j.ejor.2016.12.010_bib0012) 2014; 58 Rey (10.1016/j.ejor.2016.12.010_bib0025) 2012; 2300 Brochard (10.1016/j.ejor.2016.12.010_bib0007) 2006 Alonso-Ayuso (10.1016/j.ejor.2016.12.010_bib0002) 2011; 12 Wächter (10.1016/j.ejor.2016.12.010_bib0031) 2006; 106 Bussieck (10.1016/j.ejor.2016.12.010_bib0009) 2011 Vela (10.1016/j.ejor.2016.12.010_bib0030) 2009 Alonso-Ayuso (10.1016/j.ejor.2016.12.010_bib0005) 2016; 50 Kuchar (10.1016/j.ejor.2016.12.010_bib0019) 2000; 1 Dupré (10.1016/j.ejor.2016.12.010_bib0015) 2009 Hansman (10.1016/j.ejor.2016.12.010_bib0018) 2012 Cafieri (10.1016/j.ejor.2016.12.010_bib0010) 2017 Liberti (10.1016/j.ejor.2016.12.010_bib0020) 2009 Alonso-Ayuso (10.1016/j.ejor.2016.12.010_bib0004) 2016; 24 Misener (10.1016/j.ejor.2016.12.010_bib0022) 2014; 59 Alonso-Ayuso (10.1016/j.ejor.2016.12.010_bib0003) 2012; 39 Pallottino (10.1016/j.ejor.2016.12.010_bib0023) 2002; 3 Vela (10.1016/j.ejor.2016.12.010_bib0029) 2010; 11 Lin (10.1016/j.ejor.2016.12.010_bib0021) 2009; 24 Sahinidis (10.1016/j.ejor.2016.12.010_bib0027) 1996; 8 Rey (10.1016/j.ejor.2016.12.010_bib0026) 2016; 50 Belotti (10.1016/j.ejor.2016.12.010_bib0006) 2009; 24 EUROCONTROL (10.1016/j.ejor.2016.12.010_sbref0015) 2010 SESAR consortium (10.1016/j.ejor.2016.12.010_bib0028) 2009 Christodoulou (10.1016/j.ejor.2016.12.010_bib0013) 2004; vol. Vol. 1 Peyronne (10.1016/j.ejor.2016.12.010_bib0024) 2015; 241 Cafieri (10.1016/j.ejor.2016.12.010_bib0011) 2014 Dolan (10.1016/j.ejor.2016.12.010_bib0014) 2002; 91 Fourer (10.1016/j.ejor.2016.12.010_bib0017) 2002 |
| References_xml | – volume: 15 start-page: 114 year: 2003 end-page: 119 ident: bib0008 article-title: MINLPLib – A collection of test models for mixed-integer nonlinear programming publication-title: INFORMS Journal on Computing – volume: 11 start-page: 826 year: 2010 end-page: 837 ident: bib0029 article-title: Near real-time fuel-optimal en route conflict resolution publication-title: IEEE Transactions on Intelligent Transportation Systems – volume: 50 start-page: 240 year: 2016 end-page: 262 ident: bib0026 article-title: Subliminal speed control in air traffic management: Optimization and simulation publication-title: Transportation Science – volume: vol. Vol. 1 start-page: 327 year: 2004 end-page: 330 ident: bib0013 article-title: Nonlinear mixed integer programming for aircraft collision avoidance in free flight publication-title: Proceedings of the 12th IEEE mediterranean electrotechnical conference, 2004, MELECON 2004 – volume: 91 start-page: 201 year: 2002 end-page: 213 ident: bib0014 article-title: Benchmarking optimization software with performance profiles publication-title: Mathematical Programming – year: 2010 ident: bib0016 article-title: Eurocontrol long-term forecast: IFR flight movements publication-title: Technical report – volume: 12 start-page: 47 year: 2011 end-page: 57 ident: bib0002 article-title: Collision avoidance in air traffic management: A mixed-integer linear optimization approach publication-title: IEEE Transactions on Intelligent Transportation Systems – volume: 58 start-page: 613 year: 2014 end-page: 629 ident: bib0012 article-title: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization publication-title: Journal of Global Optimization – volume: 106 start-page: 25 year: 2006 end-page: 57 ident: bib0031 article-title: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming publication-title: Mathematical Programming – volume: 39 start-page: 3136 year: 2012 end-page: 3146 ident: bib0003 article-title: A mixed 0–1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon publication-title: Computers & Operations Research – volume: 8 start-page: 201 year: 1996 end-page: 205 ident: bib0027 article-title: Baron: A general purpose global optimization software package publication-title: Journal of Global Optimization – volume: 1 start-page: 179 year: 2000 end-page: 189 ident: bib0019 article-title: A review of conflict detection and resolution modeling methods publication-title: IEEE Transactions on Intelligent Transportation Systems – year: 2009 ident: bib0028 article-title: The European ATM master plan publication-title: Technical Report – volume: 1 start-page: 1 year: 2009 end-page: 41 ident: bib0001 article-title: SCIP: solving constraint integer programs publication-title: Mathematical Programming Computation – year: 2011 ident: bib0009 article-title: Minlp solver software publication-title: Wiley encyclopedia of operations research and management science – start-page: 153 year: 2009 end-page: 234 ident: bib0020 article-title: Reformulations in mathematical programming: A computational approach publication-title: Foundations of Computational Intelligence Volume 3, Vol. 203 of Studies in Computational Intelligence – volume: 24 start-page: 597 year: 2009 end-page: 634 ident: bib0006 article-title: Branching and bounds tightening techniques for non-convex MINLP publication-title: Optimization Methods Software – start-page: 1 year: 2014 end-page: 4 ident: bib0011 article-title: Maximizing the number of solved aircraft conflicts through velocity regulation publication-title: Proceedings of the 12th global optimization workshop, MAGO 2014 – volume: 2300 start-page: 59 year: 2012 end-page: 67 ident: bib0025 article-title: Minimization of potential air conflicts through speed regulation publication-title: Transportation Research Record: Journal of the Transportation Research Board – start-page: 5219 year: 2009 end-page: 5226 ident: bib0030 article-title: A mixed integer program for flight-level assignment and speed control for conflict resolution, in: Decision and control publication-title: Proceedings of the 48th IEEE conference held jointly with the 2009 28th Chinese control conference, CDC/CCC 2009. – volume: 24 start-page: 381 year: 2016 end-page: 408 ident: bib0004 article-title: An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution publication-title: TOP – volume: 241 start-page: 502 year: 2015 end-page: 512 ident: bib0024 article-title: Solving air traffic conflict problems via local continuous optimization publication-title: European Journal of Operational Research – volume: 59 start-page: 503 year: 2014 end-page: 526 ident: bib0022 article-title: Antigone: Algorithms for continuous/integer global optimization of nonlinear equations publication-title: Journal of Global Optimization – year: 2006 ident: bib0007 article-title: Erasmus – En route air traffic soft management ultimate system publication-title: Technical Report – year: 2009 ident: bib0015 article-title: How erasmus can support an increase in capacity in 2020 publication-title: Proceedings of the 7th international conference on computing, communications and control technologies, CCCT – year: 2012 ident: bib0018 article-title: Impact of nextgen integration on improving efficiency and safety of operations publication-title: Proceedings of TRB: the 91st annual meeting of the transportation research board – volume: 50 start-page: 263 year: 2016 end-page: 274 ident: bib0005 article-title: Exact and approximate solving of the aircraft collision resolution problem via turn changes publication-title: Transportation Science – year: 2017 ident: bib0010 article-title: MINLP in Air Traffic Management: Aircraft Conflict Avoidance, in Advances and Trends in Optimization with Engineering Applications publication-title: MOS-SIAM Book Series on Optimization – volume: 3 start-page: 3 year: 2002 end-page: 11 ident: bib0023 article-title: Conflict resolution problems for air traffic management systems solved with mixed integer programming publication-title: IEEE Transactions on Intelligent Transportation Systems – volume: 24 start-page: 657 year: 2009 end-page: 668 ident: bib0021 article-title: The global solver in the LINDO API publication-title: Optimization Methods and Software – year: 2002 ident: bib0017 article-title: AMPL: A modeling language for mathematical programming – year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0015 article-title: How erasmus can support an increase in capacity in 2020 – volume: 11 start-page: 826 issue: 4 year: 2010 ident: 10.1016/j.ejor.2016.12.010_bib0029 article-title: Near real-time fuel-optimal en route conflict resolution publication-title: IEEE Transactions on Intelligent Transportation Systems doi: 10.1109/TITS.2010.2051028 – start-page: 1 year: 2014 ident: 10.1016/j.ejor.2016.12.010_bib0011 article-title: Maximizing the number of solved aircraft conflicts through velocity regulation – year: 2002 ident: 10.1016/j.ejor.2016.12.010_bib0017 – start-page: 153 year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0020 article-title: Reformulations in mathematical programming: A computational approach – start-page: 5219 year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0030 article-title: A mixed integer program for flight-level assignment and speed control for conflict resolution, in: Decision and control – year: 2010 ident: 10.1016/j.ejor.2016.12.010_sbref0015 article-title: Eurocontrol long-term forecast: IFR flight movements – volume: 1 start-page: 179 issue: 4 year: 2000 ident: 10.1016/j.ejor.2016.12.010_bib0019 article-title: A review of conflict detection and resolution modeling methods publication-title: IEEE Transactions on Intelligent Transportation Systems doi: 10.1109/6979.898217 – volume: 12 start-page: 47 issue: 1 year: 2011 ident: 10.1016/j.ejor.2016.12.010_bib0002 article-title: Collision avoidance in air traffic management: A mixed-integer linear optimization approach publication-title: IEEE Transactions on Intelligent Transportation Systems doi: 10.1109/TITS.2010.2061971 – year: 2006 ident: 10.1016/j.ejor.2016.12.010_bib0007 article-title: Erasmus – En route air traffic soft management ultimate system – volume: 106 start-page: 25 issue: 1 year: 2006 ident: 10.1016/j.ejor.2016.12.010_bib0031 article-title: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming publication-title: Mathematical Programming doi: 10.1007/s10107-004-0559-y – year: 2011 ident: 10.1016/j.ejor.2016.12.010_bib0009 article-title: Minlp solver software – volume: 8 start-page: 201 issue: 2 year: 1996 ident: 10.1016/j.ejor.2016.12.010_bib0027 article-title: Baron: A general purpose global optimization software package publication-title: Journal of Global Optimization doi: 10.1007/BF00138693 – volume: 39 start-page: 3136 issue: 12 year: 2012 ident: 10.1016/j.ejor.2016.12.010_bib0003 article-title: A mixed 0–1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon publication-title: Computers & Operations Research doi: 10.1016/j.cor.2012.03.015 – volume: 91 start-page: 201 issue: 2 year: 2002 ident: 10.1016/j.ejor.2016.12.010_bib0014 article-title: Benchmarking optimization software with performance profiles publication-title: Mathematical Programming doi: 10.1007/s101070100263 – volume: 3 start-page: 3 issue: 1 year: 2002 ident: 10.1016/j.ejor.2016.12.010_bib0023 article-title: Conflict resolution problems for air traffic management systems solved with mixed integer programming publication-title: IEEE Transactions on Intelligent Transportation Systems doi: 10.1109/6979.994791 – volume: 241 start-page: 502 issue: 2 year: 2015 ident: 10.1016/j.ejor.2016.12.010_bib0024 article-title: Solving air traffic conflict problems via local continuous optimization publication-title: European Journal of Operational Research doi: 10.1016/j.ejor.2014.08.045 – volume: 24 start-page: 657 issue: 4–5 year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0021 article-title: The global solver in the LINDO API publication-title: Optimization Methods and Software doi: 10.1080/10556780902753221 – volume: 15 start-page: 114 issue: 1 year: 2003 ident: 10.1016/j.ejor.2016.12.010_bib0008 article-title: MINLPLib – A collection of test models for mixed-integer nonlinear programming publication-title: INFORMS Journal on Computing doi: 10.1287/ijoc.15.1.114.15159 – volume: 1 start-page: 1 issue: 1 year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0001 article-title: SCIP: solving constraint integer programs publication-title: Mathematical Programming Computation doi: 10.1007/s12532-008-0001-1 – volume: vol. Vol. 1 start-page: 327 year: 2004 ident: 10.1016/j.ejor.2016.12.010_bib0013 article-title: Nonlinear mixed integer programming for aircraft collision avoidance in free flight – volume: 59 start-page: 503 issue: 2 year: 2014 ident: 10.1016/j.ejor.2016.12.010_bib0022 article-title: Antigone: Algorithms for continuous/integer global optimization of nonlinear equations publication-title: Journal of Global Optimization doi: 10.1007/s10898-014-0166-2 – year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0028 article-title: The European ATM master plan – year: 2017 ident: 10.1016/j.ejor.2016.12.010_bib0010 article-title: MINLP in Air Traffic Management: Aircraft Conflict Avoidance, in Advances and Trends in Optimization with Engineering Applications – volume: 2300 start-page: 59 year: 2012 ident: 10.1016/j.ejor.2016.12.010_bib0025 article-title: Minimization of potential air conflicts through speed regulation publication-title: Transportation Research Record: Journal of the Transportation Research Board doi: 10.3141/2300-07 – volume: 50 start-page: 263 issue: 1 year: 2016 ident: 10.1016/j.ejor.2016.12.010_bib0005 article-title: Exact and approximate solving of the aircraft collision resolution problem via turn changes publication-title: Transportation Science doi: 10.1287/trsc.2014.0557 – year: 2012 ident: 10.1016/j.ejor.2016.12.010_bib0018 article-title: Impact of nextgen integration on improving efficiency and safety of operations – volume: 24 start-page: 381 issue: 2 year: 2016 ident: 10.1016/j.ejor.2016.12.010_bib0004 article-title: An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution publication-title: TOP doi: 10.1007/s11750-015-0402-z – volume: 24 start-page: 597 issue: 4–5 year: 2009 ident: 10.1016/j.ejor.2016.12.010_bib0006 article-title: Branching and bounds tightening techniques for non-convex MINLP publication-title: Optimization Methods Software doi: 10.1080/10556780903087124 – volume: 58 start-page: 613 issue: 4 year: 2014 ident: 10.1016/j.ejor.2016.12.010_bib0012 article-title: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization publication-title: Journal of Global Optimization doi: 10.1007/s10898-013-0070-1 – volume: 50 start-page: 240 issue: 1 year: 2016 ident: 10.1016/j.ejor.2016.12.010_bib0026 article-title: Subliminal speed control in air traffic management: Optimization and simulation publication-title: Transportation Science doi: 10.1287/trsc.2015.0602 |
| SSID | ssj0001515 |
| Score | 2.4530723 |
| Snippet | •An emerging application of Operations Research arising in Air Traffic Management is considered.•A new MINLP formulation for aircraft conflict avoidance is... We consider the problem of aircraft conflict avoidance in Air Traffic Management systems. Given an initial configuration of a number of aircraft sharing the... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 283 |
| SubjectTerms | Air traffic management Conflict avoidance Deterministic global optimization Mathematics Mixed-integer nonlinear programming Modeling Optimization and Control |
| Title | Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes |
| URI | https://dx.doi.org/10.1016/j.ejor.2016.12.010 https://enac.hal.science/hal-01414548 |
| Volume | 260 |
| WOSCitedRecordID | wos000396952000024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-6860 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001515 issn: 0377-2217 databaseCode: AIEXJ dateStart: 19950105 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9NAEF6FFiE48AggyksrxC0yitdrr32MqqKCoCAoUm7WZh_EkZtWbojSE7-C_8vsk6QoFT1wsaxVvLEz385-Gc83g9DrAjg3Ny_ciYLlRtlwYhq554liCrYDWXI6mdhmE-zoqByPq8-93q-ghVm2bD4vV6vq7L-aGsbA2EY6ew1zx0lhAM7B6HAEs8Pxnwz_sVkpmdgyEKobzF0pDFPQ2mVincTUyaYTHdcLk3hulSEDvjxtpJUQACd1Odaw_tv2wlQeb60eymQYCUPcTbx96hLw4fx7q7yE-HxrqN_TXhjoQgDSVxqKEel9rhsvff8KvibuGJ9Opsq2nhp8abicrkcqUhazWqNCi7GEEKfVDN6XuHYCGzDzvtR1uPHbMnFdRf_y-C74MHujZqemvGta2OiuT5XdKK99aduLyYghz21WmzlqM0edktoK93YJyytwlrujdwfj93GLNyzQvp7yD-TVWC5x8PKdbGM8N6Yhdm-5zPF9dNf_CcEjB54HqKfmfXQraCD66F7o9YG96--jO2uFKx-inxsgwxFkeA1kGECGA8hwABmOIMOTC7wOMhxAhgPIMIAMe5BhCzLsQfYIfXt7cLx_mPhWHokACrhItBZFJXJdKq21zCVXhSktR7KiqGQl0ywXRFPBaKkkpUPJhc5z4G9DQUWmZZU9RjvwLOoJwpNJIYSkLMsYoQLYOOU056RgXBAupNpDafi5a-Hr3Jt2K2293dB7aBCvOXNVXq78dB6sWHue6vhnDaC88rpXYPL4Baaw--HoQ23GTLo1zWm5TJ9e61aeodt_VtpztLPofqgX6KZYLprz7qWH7W_aV8gB |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Mixed-integer+nonlinear+programming+for+aircraft+conflict+avoidance+by+sequentially+applying+velocity+and+heading+angle+changes&rft.jtitle=European+journal+of+operational+research&rft.au=Cafieri%2C+Sonia&rft.au=Omheni%2C+Riadh&rft.date=2017-07-01&rft.issn=0377-2217&rft.volume=260&rft.issue=1&rft.spage=283&rft.epage=290&rft_id=info:doi/10.1016%2Fj.ejor.2016.12.010&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_ejor_2016_12_010 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0377-2217&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0377-2217&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0377-2217&client=summon |