Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Federal Aviation Authority. Safer skies [online] (2001), Available from World Wide Web: http://www.faa.gov/apa/safer_skies/saftoc.htm
Blin, K.: Stochastic conflict detection for air traffic management. Technical report, Eurocontrol Experimental Centre, BP 15, 91222 Brétigny-sur-Orge, France (2000)
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)
Eurocontrol Experimental Centre. User manual for the base of aircraft data (BADA) revision 3.3 [online] (2002), Available from World Wide Web: http://www.eurocontrol.fr/projects/bada/
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: http://www.aviation.dft.gov.uk/aed/air/aircont.htm
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)
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)
Hoekstra, J.M., et al.: Overview of NLR free flight project 1997-1999. Technical report, National Aerospace Laboratory, NLR (2000)
Eurocontrol. Aircraft in the future air traffic management system. Technical report, Eurocontrol (2001)
Defence Evaluation and Research Agency (UK). The more autonomous - aircraft in the future air traffic management system. Technical report, DERA (2000)
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)
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)
Hsu, D.A.: Long-tailed distributions for position errors in navigation. Applied Statistics 28, 62–72 (1979)
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)
Paielli, R.A.: Empirical test of conflict probability estimation. Technical report, NASA Ames Research Centre, Moffett Field CA 94035-1000, U.S.A (1998)
Rome, H.J., Krishnan, V.: Causal probabilistic model for evalutating future transoceanic airlane seperations. IEEE Tr. Aerospace and Electronic Systems 26, 804–817 (1990)
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)
Slattery, R., Zhao, Y.: Trajectory synthesis for air traffic automation. Journal of Guidance, Control and Dynamics 20, 232–238 (1997)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glover, W., Lygeros, J. (2004). A Stochastic Hybrid Model for Air Traffic Control Simulation. In: Alur, R., Pappas, G.J. (eds) Hybrid Systems: Computation and Control. HSCC 2004. Lecture Notes in Computer Science, vol 2993. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24743-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-24743-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21259-1
Online ISBN: 978-3-540-24743-2
eBook Packages: Springer Book Archive