Free Flight Collision Risk Estimation by Sequential MC Simulation

[1]  F. Gland,et al.  Genetic genealogical models in rare event analysis , 2006 .

[2]  Henk A. P. Blom,et al.  Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models , 2003, ADHS.

[3]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[4]  P. Moral,et al.  Branching and interacting particle interpretations of rare event probabilities , 2006 .

[5]  P. Moral.  Feynman-Kac Formulae: Genealogical and Interacting Particle Systems with Applications , 2004 .

[6]  Henk A. P. Blom,et al.  On the integration of human performance and collision risk simulation models of runway operation , 2006 .

[7]  D. A. Hsu,et al.  The Evaluation of Aircraft Collision Probabilities at Intersecting Air Routes , 1981, Journal of Navigation.

[8]  Heinz Erzberger,et al.  Safety Analysis for Advanced Separation Concepts , 2006 .

[9]  Pravin Varaiya,et al.  On Reachability Under Uncertainty , 2002, SIAM J. Control. Optim..

[10]  John Lygeros,et al.  Toward a General Theory of Stochastic Hybrid Systems , 2006 .

[11]  John Lygeros,et al.  Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.

[12]  Dimos V. Dimarogonas,et al.  Multirobot Navigation Functions II: Towards Decentralization , 2006 .

[13]  Henk A. P. Blom,et al.  Structured Assessment of Bias and Uncertainty in Monte Carlo Simulated Accident Risk (PSAM-0137) , 2006 .

[14]  H. Blom,et al.  Sequential Monte Carlo simulation of rare event probability in stochastic hybrid systems , 2005 .

[15]  Henk A. P. Blom,et al.  Human cognition performance model to evaluate safe spacing in air traffic , 2002 .

[16]  Henk A. P. Blom,et al.  Sequential Monte Carlo simulation for the estimation of small reachability probabilities for stochastic hybrid systems , 2006 .

[17]  Pierre Del Moral,et al.  Limit theorems for the multilevel splitting algorithm in the simulation of rare events , 2005, Proceedings of the Winter Simulation Conference, 2005..

[18]  Pierre-Etienne Labeau,et al.  Dynamic reliability: towards an integrated platform for probabilistic risk assessment , 2000, Reliab. Eng. Syst. Saf..