Skip to main content
Log in

Conflict avoidance: 0-1 linear models for conflict detection & resolution

  • Original Paper
  • Published:
TOP Aims and scope Submit manuscript

Abstract

The Conflict Detection and Resolution Problem for Air Traffic Flow Management consists of deciding the best strategy for airborne aircraft so that there is guarantee that no conflict takes place, i.e., all aircraft maintain the minimum safety distance at every time instant. Two integer linear optimization models for conflict avoidance between any number of aircraft in the airspace are proposed, the first being a pure 0-1 linear which avoids conflicts by means of altitude changes, and the second a mixed 0-1 linear whose strategy is based on altitude and speed changes. Several objective functions are established. Due to the small elapsed time that is required for solving both problems, the approach can be used in real time by using state-of-the-art mixed integer linear optimization software.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Alonso-Ayuso A, Escudero LF, Martín-Campo FJ (2010) Collision avoidance in the ATM problem: a mixed integer linear optimization approach. IEEE Trans Intell Transp Syst 12:47–57

    Article  Google Scholar 

  • Air Traffic Action Group (ATAG) (1999) European air traffic forecast 1985–2015. Geneva, Switzerland

  • Christodoulou MA, Costoulakis C (2004) Nonlinear mixed integer programming for aircraft collision avoidance in free flight. In: IEEE Melecon, Dubrovnik (Croatia), vol 1, pp 327–330

    Google Scholar 

  • Christodoulou MA, Kodaxakis SG (2006) Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem. IEEE Trans Intell Transp Syst 7(2):242–249

    Article  Google Scholar 

  • Etkin B, Reid LD (1996) Dynamics of flight: stability and control. Wiley, New York

    Google Scholar 

  • Hu J, Prandini M, Sastry S (2002) Optimal coordinated maneuvers for three dimensional aircraft conflict resolution. AIAA J Guid Control Dyn 25(5):888–900

    Article  Google Scholar 

  • Hu J, Prandini M, Sastry S (2003) Optimal coordinated motions for multiple agents moving on a plane. SIAM J Control Optim 42(2):637–668

    Article  Google Scholar 

  • Hu J, Prandini M, Sastry S (2003) Probabilistic safety analysis in three dimensional aircraft flight. In: Proceedings of 42nd IEEE conference on decision and control, vol 5, pp 5335–5340

    Google Scholar 

  • Hu J, Prandini M, Sastry S (2005) Aircraft conflict prediction in the presence of a spatially correlated wind field. IEEE Trans Intell Transp Syst 6(3):326–340

    Article  Google Scholar 

  • Hull DG (2007) Fundamentals of airplane flight mechanics. Springer, Berlin

    Google Scholar 

  • IBM ILOG COKEX (2009) User manual

  • Jardin MR (2003a) Real-time conflict-free trajectory optimization. In: Fifth USA/Europe air trafic management RD seminar, Budapest (Hungary)

    Google Scholar 

  • Jardin MR (2003b) Toward real-time en route air traffic control optimization. PhD thesis, Stanford University (California)

  • Jardin MR (2005) Grid-based strategic air traffic conflict detection. In: AIAA guidance, navigation, and control conference and exhibition

    Google Scholar 

  • Kuchar JK, Yang LC (2000) A review of conflict detection and resolution modeling methods. IEEE Trans Intell Transp Syst 1:179–189

    Article  Google Scholar 

  • Magister T (2002) Conflict detection and resolution in the vicinity of the top of descent point. Promet 14(6):269–275

    Google Scholar 

  • Magister T (2004) Avoidance maneuvering in the vicinity of the top of descent. J Aerosp Eng 17(4):176–181

    Article  Google Scholar 

  • Mao Z-H, Feron E, Bilimoria K (2001) Stability and performance of intersecting aircraft flows under decentralized conflict avoidance rules. IEEE Trans Intell Transp Syst 2(2):101–109

    Article  Google Scholar 

  • Mao ZH, Dugail D, Feron E, Bilimoria K (2005) Stability of intersecting aircraft flows using heading-change maneuvers for conflict avoidance. IEEE Trans Intell Transp Syst 6(4):357–369

    Article  Google Scholar 

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

    Article  Google Scholar 

  • Pannequin JJ, Bayen AM, Mitchell IM, Chung H, Sastry S (2007) Multiple aircraft deconflicted path planning with weather avoidance constraints. In: AIAA guidance, navigation and control conference, Hilton Head (South Carolina, USA)

    Google Scholar 

  • Prandini M, Hu J (2008) Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction. IEEE Trans Autom Control

  • Richards AG, How JP (2002) Aircraft trajectory planning with collision avoidance using mixed integer linear programming. In: American control conference, Anchorage (Alaska, USA)

    Google Scholar 

  • Radio Technical Committee on Aeronautics RTCA (1983) Minimum performance specifications for tcas airborne equipment. Document No RTCA/DO185, Washington DC, USA

  • Tewari A (2007) Atmospheric and space flight dynamics: modeling and simulation with MATLAB and simulink. Birkhäuser, Basel

    Google Scholar 

  • Treleaven K, Mao ZH (2008) Conflict resolution and traffic complexity of multiple intersecting flows of aircraft. IEEE Trans Intell Transp Syst 9(4):633–643

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to C. Pizarro.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alonso-Ayuso, A., Escudero, L.F., Olaso, P. et al. Conflict avoidance: 0-1 linear models for conflict detection & resolution. TOP 21, 485–504 (2013). https://doi.org/10.1007/s11750-011-0224-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11750-011-0224-6

Keywords

Mathematics Subject Classification (2000)

Navigation