Free flight collision risk estimation by sequential MC simulation

Stochastic Hybrid Systems

Volumn , Issue , 2006, Pages 249-281

  Blom, Henk A P ^a   Krystul, Jaroslav ^b   Bakker, G J Bert ^a   Klompstra, Margriet B ^a   Obbink, Bart Klein ^a  

^a NATIONAL AEROSPACE LABORATORY NLR   (Netherlands)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85056326005     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (59)

1. J.W. Andrews, J.D. Welch, H. Erzberger. Safety analysis for advanced séparation concepts. In Proceedings of USA/Europe ATM R&D Seminar, Baltimore, MD, 27-30 June 2005.
2. H.A.P. Blom, J. Daams and H.B. Nijhuis. Human cognition modeling in Air Traffic Management safety assessment. In Air Transportation Systems Engineering, edited by G.L. Donohue and A.G. Zellweger, Vol. 193 in Progress in Astronautics and Aeronautics, Paul Zarchan, Editor-in-Chief, Chapter 29, pages 481-511,2001.
3. H.A.P. Blom, G.J. Bakker. Conflict probability and incrossing probability in air traffic management. In Proc. IEEE Conf. on Decision and Control, Las Vegas, December 2002.
4. H.A.P. Blom, G.J. Bakker, M.H.C. Everdij, M.N.J. van der Park. Collision risk modeling of air traffic. In Proceedings ofEuropean Control Conference, Cambridge, UK, 2003.
5. H.A.P. Blom, S.H. Stroeve, M.H.C. Everdij, M.N.J. Van der Park. Human cognition performance model to evaluate safe spacing in air traffic. Human Factors and Aerospace Safety, Vol. 2, pages 59-82, 2003.
6. H.A.P. Blom, K.M. Corker, S.H. Stroeve. On the integration of human performance and collision risk simulation models of runway operation. In Proceedings ofthe 6th USA/Europe Air Traffic Management R&D Seminar, Baltimore, MD, 27-30 June 2005.
7. H.A.P. Blom, G.J. Bakker, B. Klein Obbink, M.B. Klompstra. Free flight safety risk modelling and simulation. In Proceedings of International Conference on Research in Air Transportation (ICRAT), Belgrade, 26-28 June 2006.
8. H.A.P. Blom, J. Lygeros. Stochastic Hybrid Systems: Theory and Safety Crit-ical Applications, LNCIS series, Springer, Berlin, July 2006.
9. M.L. Bujorianu, J. Lygeros. Reachability questions in piecewise deterministic Markov processes. In Proceedings of Hybrid Systems Computation and Control, Eds. O. Mahler, A. Pnuelli, LNCIS number 2623, Springer, Berlin, pages 126-140,2003.
10. M.L. Bujorianu. Extended stochastic hybrid systems. In Proceedings of Hybrid Systems Computation and Control, Eds. O. Mahler, A. Pnuelli, LNCIS number 2993, Springer, Berlin, pages 234-249, 2004.
11. M.L. Bujorianu, J. Lygeros. Towards a general theory of stochastic hybrid systems. In [8], pages 3-30, 2006.
12. C. G. Cassandras, S. Lafortune. Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, 1999.
13. F. Cerou, P. Del Moral, F. Le Gland and P. Lezaud. Genetic genealogical models in rare event analysis, Publications du Laboratoire de Statistiques et Probabilites, Toulouse III, 2002.
14. F. Cerou, P. Del Moral, F. Le Gland, P. Lezaud. Limit theorems for the multi-level splitting algorithms in the simulation of rare events. In Proceedings of Winter Simulation Conference, Orlando, FL, 2005.
15. K. Corker. Cognitive Models & Control: Human & System Dynamics in Advanced Airspace Operations, Eds: N. Sarter and R. Amalberti, Cognitive Engineering in the Aviation Domain, Lawrence Earlbaum Associates, Hillsdale, New Jersey, 2000.
16. R. David, H. Alla. Petri Nets for the modeling of dynamic systems - A survey, Automatica, Vol. 30, No. 2, pages 175-202,1994.
17. M.H.A. Davis. Markov Models and Optimization, Chapman & Hall, London, 1993.
18. P. Del Moral. Feynman-Kac Formulae. Genealogical and Interacting Particle Systems with Applications, Springer Verlag, New York, 2004.
19. P. Del Moral, P. Lezaud. Branching and interacting particle interpretations of rare event probabilities. In [8], pages 277-324, 2006.
20. D. V. Dimarogonas, S.G. Loizou, K.J. Kyriapoulos. Multirobot navigation functions II: towards decentralization. In [8], pages 209-256,2006.
21. E. De Santis, M.D. Di Benedetto, S. Di Gennaro, A.D. Innocenzo, G. Pola. Critical observability of a class of hybrid systems and application to air trafic management. In [8], pages 141-170, 2006.
22. DNV. Safety assessment of P-RNAV route spacing and aircraft separation, Final report TRS 052/01, Eurocontrol, 2003.
23. A. Doucet, N. de Freitas and N. Gordon. Sequential Monte Carlo Methods in Practice, Springer-Verlag, New York, NY, 2001.
24. H. Erzberger. Transforming the NAS: The next generation air trafic control system. In Proceedings of the 24th Int. Congress of the Aeronautical Sciences (ICAS), Yokohoma, Japan, 2004.
25. M.H.C. Everdij, H.A.P. Blom. Bias and uncertainty in accident risk assessment, NLR report CR-2002-137, National Aerospace Laboratory NLR, 2002.
26. M.H.C. Everdij, H.A.P. Blom. Petri nets and hybrid state Markov processes in a power-hierarchy of dependability models. In Proceedings of IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo Brittany, France, pages 355-360, June 2003.
27. M.H.C. Everdij, H.A.P. Blom. Piecewise deterministic Markov processes rep-resented by Dynamically Coloured Petri Nets, Stochastics, Vol. 77, pages 1-29, 2005.
28. M.H.C. Everdij, H.A.P. Blom. Hybrid Petri nets with diffusion that have into-mappings with generalised stochastic hybrid processes. In [8], pages 31-64, 2006.
29. M.H.C. Everdij, H.A.P. Blom, G.J. (Bert) Bakker. Modeling lateral spacing and separation for airborne separation assurance using Petri nets. Forthcoming in: Simulation, Transactions ofthe Society for Modeling and Simulation International, Vol. 82, 2006.
30. M.H.C. Everdij, M.B. Klompstra, H.A.P. Blom, B. Klein Obbink. Composi-tional specification of a multi-agent system by stochastically and Dynamically Coloured Petri Nets. In [8], pages 325-350, 2006.
31. M.H.C. Everdij, H.A.P. Blom, S.H. Stroeve. Structuredassessmentofbias and uncertainty in Monte Carlo simulated accident risk. In Proceedings ofthe 8th Int. Conf. on Probabilistic Safety Assessment and Management (PSAM8), New Orleans, LA, May 2006.
32. FAA/Eurocontrol. A concept paper for separation safety modeling, Cooperative R&D Action Plan 3 report. Available at http://www.faa.gov/asd/ia-or/pdf/cpcomplete.pdf, 20 May 1998.
33. FAA/Eurocontrol. Principles of Operations for the Use of ASAS, Cooperative R&D Action Plan 1 report, Version 7.1, 2001.
34. FAA/Eurocontrol. Safety and ASAS applications, Co-operative R&D Action Plan 1 report, version 4.1, 2004.
35. P. Glasserman. Monte Carlo Methods in Financial Engineering, Stochastic Modeling and Applied Probability, Vol. 53, Springer, New York, NY, 2003.
36. PJ. Haas. Stochastic Petri Nets, Modeling, Stability, Simulation, Springer-Verlag, New York, 2002.
37. J. Hoekstra. Designing for Safety, the Free Flight Air Traffic Management concept, PhD Thesis, Delft University of Technology, November 2001.
38. D.A. Hsu. The evaluation of aircraft collision probabilities at intersecting air routes. Journal of Navigation, Vol. 34, pages 78-102,1981.
39. J. Hu, M. Prandini, S. Sastry. Probabilistic safety analysis in three dimensional aircraft flight. In Proceedings ofthe 42nd IEEE Conference on Decision and Control (CDC), Maui, 2003.
40. ICAO. Manual on airspace planning methodology for the determination of separation minima, ICAO Doc. 9689-AN/953,1998.
41. ICAO. Airborne separation assistance system (ASAS) circular, Draft, version 3, SCRSP, WGW/1 WP/5.0, International Civil Aviation Organization, May 2003.
42. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Springer, London, UK, 1992.
43. B. Klein Obbink. MFF airborne self separation assurance OSED, Report MFF R733D. Available at http://www.medff.it/public/index.asp, April 2005.
44. J. Krozel. Free flight research issues and literature search. Under NASA con-tract NAS2-98005,2000.
45. J. Krystul, H.A.P. Blom. Monte Carlo simulation of rare events in hybrid systems, Hybridge Report D8.3. Available at http://www.nlr.nl/public/hosted-sites/hybridge, 2004.
46. J. Krystul, H.A.P. Blom. Generalised stochastic hybrid processes as strong solutions of stochastic differential equations, Hybridge report D2.3. Available at http://www.nlr.nl/public/hostedsites/hybridge/, 2005.
47. J. Krystul, H.A.P. Blom. Sequential Monte Carlo simulation of rare event probability in stochastic hybrid systems. In Proceedings of the 16th IFAC World Congress, Prague, Czech Republic, June 4-8, 2005.
48. J. Krystul, H.A.P. Blom. Sequential Monte Carlo simulation for the estimation of small reachability probabilities for stochastic hybrid systems. In Proceedings of IEEE-EURASIP Int. Symposium on Control, Communications and Signal Processing, Marrakech, Morocco, March 13-15, 2006.
49. A.B. Kurzhanski, P. Varaiya. On reachability under uncertainty. SIAM Journal on Control and Optimization, Vol. 41, pages 181-216,2002.
50. P.E. Labeau, C. Smidts and S. Swaminathan. Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliability Engineering and System Safety, Vol. 68, pages 219-254,2000.
51. A. Lecchini, W. Glover, J. Lygeros, J. Maciejowski. Monte Carlo optimisation for conflcit resolution in air trafic control. In [8], pages 257-276,2006.
52. F. Le Gland, N. Oudjane. A sequential particle algorithm that keeps the particle System alive. In [8], pages 351-400,2006.
53. MFF. MFF Final safety case, Report MFF D734, ed. 1.0. Available at http://www.medff.it/public/index.asp, November 2005.
54. NASA. Concept definition for distributed air-/ground trafic management (DAG-TM), Version 1.0, Advanced Air Transportation Technologies project, Aviation System Capacity Program, National Aeronautics and Space Administration, NASA, 1999.
55. G. Pola, M.L. Bujorianu, J. Lygeros, M.D. Di Benedetto. Stochastic hybrid models: an overview with applications to air trafic management. In Proceedings of IFAC Conf. Analysis and Design of Hybrid Systems (ADHS), Saint-Malo, Brittany, France, 2003.
56. M. Prandini, J. Hu. A stochastic approxmation method for reachability computations. In [8], pages 107-139, 2006.
57. RTCA. Free Flight Implementation, Task Force 3 Final Technical Report, Washington DC, 1995.
58. A.P. Shah, A.R. Pritchett, K.M. Feigh, S.A. Kalarev, A. Jadhav, K.M. Corker, D.M. Holl, R.C. Bea. Analyzing air traffic management systems using agent-based modeling and simulation. In Proceedings of the 6th USA/Europe Seminar on Air Traffic Management Research and Development, Baltimore, MD, 27-30 June 2005.
59. S.H. Stroeve, H.A.P. Blom and M.N. van der Park. Multi-agent situation awareness error evolution in accident risk modeling. In Proceedings of the 5th USA/Europe Seminar on Air Traffic Management Research and Development, Budapest, Hungary, 23-27 June 2003.