Skip to main content

Flying Safely by Bilevel Programming

Part of the AIRO Springer Series book series (AIROSS,volume 3)

Abstract

Preventing aircraft from getting too close to each other is an essential element of safety of the air transportation industry, which becomes ever more important as the air traffic increases. The problem consists in enforcing a minimum distance threshold between flying aircraft, which naturally results in a bilevel formulation with a lower-level subproblem for each pair of aircraft. We propose two single-level reformulations, present a cut generation algorithm which directly solves the bilevel formulation and discuss comparative computational results.

Keywords

  • Bilevel programming
  • Aircraft
  • Deconfliction

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-34960-8_18
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   139.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-34960-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   179.99
Price excludes VAT (USA)
Hardcover Book
USD   179.99
Price excludes VAT (USA)
Fig. 1
Fig. 2

References

  1. Cafieri, S., Durand, N.: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization. J. Glob. Optim. 58(4), 613–629 (2014)

    MathSciNet  CrossRef  Google Scholar 

  2. Cafieri, S., D’Ambrosio, C.: Feasibility pump for aircraft deconfliction with speed regulation. J. Glob. Optim. 71(3), 501–515 (2018)

    MathSciNet  CrossRef  Google Scholar 

  3. Cafieri, S., Omheni, R.: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes. Eur. J. Oper. Res. 260(1), 283–290 (2017)

    MathSciNet  CrossRef  Google Scholar 

  4. Frazzoli, E., Mao, Z.-H., Oh, J.-H., Feron, E.: Resolution of conflicts involving many aircraft via semidefinite programming. J. Guid. Control. Dyn. 24(1), 79–86 (2001)

    CrossRef  Google Scholar 

  5. Rey, D., Rapine, C., Dixit, V.V., Waller, S.T.: Equity-oriented aircraft collision avoidance model. IEEE Trans. Intell. Transp. Syst. 16(1), 172–183 (2015)

    CrossRef  Google Scholar 

  6. Bilimoria, K.D.: A geometric optimization approach to aircraft conflict resolution. In: 18th Applied Aerodynamics Conference, p. 4265 (2000)

    Google Scholar 

  7. Dempe, S., Kalashnikov, V., Prez-Valds, G.A., Kalashnykova, N.: Bilevel Programming Problems: Theory, Algorithms and Applications to Energy Networks. Springer, Berlin (2015)

    Google Scholar 

  8. Dorn, W.S.: Self-dual quadratic programs. J. Soc. Ind. Appl. Math. 9(1), 51–54 (1961)

    MathSciNet  CrossRef  Google Scholar 

  9. Dorn, W.S.: Duality in quadratic programming. Q. Appl. Math. 18(2), 155–162 (1960)

    MathSciNet  CrossRef  Google Scholar 

  10. Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. Cengage learning (2002)

    Google Scholar 

  11. Sahinidis, N.V., Tawarmalani, M.: BARON 7.2.5: Global Optimization of Mixed-Integer Nonlinear Programs, User’s Manual. The Optimization Firm LLC (2005)

    Google Scholar 

  12. Gill, P.E.: User’s Guide for SNOPT version 7.2 (2006)

    Google Scholar 

  13. Wächter, A., Biegler, L.: On the Implementation of a Primal-Dual Interior Point Filter Line Search Algorithm for Large-Scale Nonlinear Programming. Math. Program. 106(1), 25–57 (2006)

    MathSciNet  CrossRef  Google Scholar 

Download references

Acknowledgements

The project leading to this application has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement MINOA No 764759.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Martina Cerulli .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Verify currency and authenticity via CrossMark

Cite this chapter

Cerulli, M., D’Ambrosio, C., Liberti, L. (2019). Flying Safely by Bilevel Programming. In: Paolucci, M., Sciomachen, A., Uberti, P. (eds) Advances in Optimization and Decision Science for Society, Services and Enterprises. AIRO Springer Series, vol 3. Springer, Cham. https://doi.org/10.1007/978-3-030-34960-8_18

Download citation