A Stochastic Hybrid Model for Air Traffic Control Simulation

  • William Glover
  • John Lygeros
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2993)


A method for modelling the evolution of multiple flights from the point of view of an air traffic controller is developed. The model is multi-agent, hybrid and stochastic. It consists of many instances of flights, each with different aircraft dynamics, flight plan and flight management system. The motions of different flights are coupled through the effect of the wind, which is modelled as a random field. Estimates of the statistical properties of the wind field (variance and spatio-temporal correlation structure) are extracted from publicly available weather data. The model is coded in Java, so that it can be simulated to generate realistic data for validating conflict detection and resolution algorithms.


Control Simulation Reference Path Bank Angle Acceleration Mode Flight Plan 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Federal Aviation Authority. Safer skies [online] (2001), Available from World Wide Web:
  2. 2.
    Blin, K.: Stochastic conflict detection for air traffic management. Technical report, Eurocontrol Experimental Centre, BP 15, 91222 Brétigny-sur-Orge, France (2000)Google Scholar
  3. 3.
    Bujorianu, M.L., Glover, W., Lygeros, J., Pola, G.: A stochastic hybrid process modelling framework. Technical Report WP1, Deliverable D1.2, HYBRIDGE, May 29 (2003)Google Scholar
  4. 4.
    Eurocontrol Experimental Centre. User manual for the base of aircraft data (BADA) revision 3.3 [online] (2002), Available from World Wide Web:
  5. 5.
    U.K. Department of Transport. Air traffic forecasts for the United Kingdom 1997. Technical report, U.K. Governement, Department of Transport (1997), Available from World Wide Web:
  6. 6.
    di Benedetto, M.D., Pola, G.: Inventory of error evolution control problems in air traffic management. Technical Report WP7, Deliverable D7.1, HYBRIDGE, November 4 (2002)Google Scholar
  7. 7.
    Erzberger, H., Davis, T.J., Green, S.: Design of Center-TRACON automation system. In: Proceedings of the AGARD Guidance and Control Syposium on Machine Intelligence in Air Traffic Management, pp. 11.1–11.12 (1993)Google Scholar
  8. 8.
    Hoekstra, J.M., et al.: Overview of NLR free flight project 1997-1999. Technical report, National Aerospace Laboratory, NLR (2000)Google Scholar
  9. 9.
    Eurocontrol. Aircraft in the future air traffic management system. Technical report, Eurocontrol (2001) Google Scholar
  10. 10.
    Defence Evaluation and Research Agency (UK). The more autonomous - aircraft in the future air traffic management system. Technical report, DERA (2000) Google Scholar
  11. 11.
    Glover, W., Lygeros, J.: A multi-aircraft model for conflict detection and resolution algorithm validation. Technical Report WP1, Deliverable D1.3, HYBRIDGE, July 23 (2003)Google Scholar
  12. 12.
    Harrison, D., Moek, G.: European studies to investigate the feasability of using 1000 ft vertical seperation minima above FL290, part ii. precision radar data analysis and collision risk assessment. Journal of Navigation 45, 91 (1992)CrossRefGoogle Scholar
  13. 13.
    Hsu, D.A.: Long-tailed distributions for position errors in navigation. Applied Statistics 28, 62–72 (1979)CrossRefGoogle Scholar
  14. 14.
    Meckiff, C., Gibbs, P.: PHARE highly interactive problem solver. Technical Report EEC 273/94, Eurocontrol Experimental Centre, BP 15, 91222 Brétignysur-Orge, France (November 1994)Google Scholar
  15. 15.
    Paielli, R.A.: Empirical test of conflict probability estimation. Technical report, NASA Ames Research Centre, Moffett Field CA 94035-1000, U.S.A (1998)Google Scholar
  16. 16.
    Rome, H.J., Krishnan, V.: Causal probabilistic model for evalutating future transoceanic airlane seperations. IEEE Tr. Aerospace and Electronic Systems 26, 804–817 (1990)CrossRefGoogle Scholar
  17. 17.
    Conflict Detection RTCA Special Committee 186, Working Group-1 and Resolution Subgroup. Application of airborne conflict management: Detection, prevention and resolution. Technical report, RTCA (2000) Google Scholar
  18. 18.
    Slattery, R., Zhao, Y.: Trajectory synthesis for air traffic automation. Journal of Guidance, Control and Dynamics 20, 232–238 (1997)zbMATHCrossRefGoogle Scholar
  19. 19.
    Watkins, O., Lygeros, J.: Stochastic reachability for discrete time systems: An application to aircraft collision avoidance. In: IEEE Conference on Decision and Control (CDC03), Hawaii, USA, December 9-12 (2003) (to appear)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • William Glover
    • 1
  • John Lygeros
    • 2
  1. 1.Department of EngineeringUniversity of CambridgeCambridgeU.K.
  2. 2.Department of Electrical and Computer EngineeringUniversity of PatrasPatrasGreece

Personalised recommendations