Skip to main content
SpringerLink
Log in

Feasibility pump for aircraft deconfliction with speed regulation

  • Published:
Journal of Global Optimization Aims and scope Submit manuscript

Abstract

We propose Feasibility Pump heuristics for the crucial problem of aircraft conflict avoidance arising in air traffic management. This problem can be modeled as a mixed integer nonlinear optimization problem, whose solution can be very computationally demanding. Feasibility Pump is an iterative algorithm that, at each iteration, solves alternatively two easier subproblems represented by relaxations of the original problem, minimizing the distance between their solutions. We propose in this paper specific formulations for the subproblems to be handled, tailored to the problem at hand. Numerical results show that, on the considered test problems, good-quality, in some cases optimal, feasible solutions are always obtained.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alonso-Ayuso, A., Escudero, L.F., Martín-Campo, F.J.: Collision avoidance in air traffic management: a mixed-integer linear optimization approach. IEEE Trans. Intell. Transp. Syst. 12(1), 47–57 (2011)

    Article  Google Scholar 

  2. Alonso-Ayuso, A., Escudero, L.F., Martín-Campo, F.J.: A mixed 0–1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: velocity changes through a time horizon. Comput. Opera. Res. 39(12), 3136–3146 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  3. Alonso-Ayuso, A., Escudero, L.F., Martín-Campo, F.J.: Exact and approximate solving of the aircraft collision resolution problem via turn changes. Transp. Sci. 50(1), 263–274 (2015)

    Article  Google Scholar 

  4. Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24(4–5), 597–634 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bonami, P., Gonalves, J.P.M.: Heuristics for convex mixed integer nonlinear programs. Comput. Optim. Appl. 51(2), 729–747 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bonami, P., Cornuéjols, G., Lodi, A., Margot, F.: A feasibility pump for mixed integer nonlinear programs. Math. Program. 119(2), 331–352 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Brochard, M.: Erasmus—en route air traffic soft management ultimate system. Technical report, Eurocontrol Experimental Centre

  8. Cafieri, S.: Maximizing the number of solved aircraft conflicts through velocity regulation. In: MAGO 2014, 12th Global Optimization Workshop, pp. 1–4. Málaga, Spain (2014)

  9. Cafieri, S.: MINLP in Air Traffic Management: Aircraft conflict avoidance. In: Terlaky, T., Anjos, M., Ahmed, S. (eds.) Advances and Trends in Optimization with Engineering Applications, pp. 293–301. MOS-SIAM Series on Optimization, SIAM, Philadelphia (2017)

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Cafieri, S., Rey, D.: Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming. Comput. Oper. Res. 80, 147–158 (2017)

    Article  MathSciNet  Google Scholar 

  13. D’Ambrosio, C., Frangioni, A., Liberti, L., Lodi, A.: Experiments with a Feasibility Pump Approach for Nonconvex MINLPs, pp. 350–360. Springer, Berlin (2010)

  14. D’Ambrosio, C., Frangioni, A., Liberti, L., Lodi, A.: A storm of feasibility pumps for nonconvex MINLP. Math. Program. 136(2), 375–402 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Fischetti, M., Glover, F., Lodi, A.: The feasibility pump. Math. Program. 104(1), 91–104 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  16. Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, 2nd edn. Brooks/Cole, Boston (2002)

    MATH  Google Scholar 

  17. Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: a computational approach. Foundations of Computational Intelligence, vol. 3, pp. 153–234. Springer, Berlin (2009)

    Google Scholar 

  18. Pallottino, L., Feron, E.M., Bicchi, A.: Conflict resolution problems for air traffic management systems solved with mixed integer programming. IEEE Trans. Intell. Transp. Syst. 3(1), 3–11 (2002)

    Article  Google Scholar 

  19. Rey, D., Rapine, C., Fondacci, R., Faouzi, N.E.E.: Minimization of potential air conflicts through speed regulation. Transp. Res. Rec. J. Transp. Res. Board 2300, 59–67 (2012)

    Article  Google Scholar 

  20. Rey, D., Rapine, C., Fondacci, R., Faouzi, N.E.E.: Subliminal speed control in air traffic management: optimization and simulation. Transp. Sci 50(1), 240–262 (2016)

    Article  Google Scholar 

  21. Richards A, How J (2002) Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: 2002 Proceedings of the American Control Conference, vol. 3, pp. 1936–1941

  22. Wächter, A., Biegler, L.T.: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Math. Program. 106(1), 25–57 (2006)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors gratefully acknowledge the financial support by French National Research Agency (ANR) through Grant ANR 12-JS02-009-01 “ATOMIC”.

Author information

Authors and Affiliations

  1. Université de Toulouse, ENAC, 31055, Toulouse, France

    Sonia Cafieri

  2. LIX CNRS (UMR7161), École Polytechnique, 91128, Palaiseau Cedex, France

    Claudia D’Ambrosio

Authors
  1. Sonia Cafieri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudia D’Ambrosio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudia D’Ambrosio.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cafieri, S., D’Ambrosio, C. Feasibility pump for aircraft deconfliction with speed regulation. J Glob Optim 71, 501–515 (2018). https://doi.org/10.1007/s10898-017-0560-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10898-017-0560-7

Keywords

Search

Navigation