G. Bakker, H. Blom, J. Krystul
Under free flight, an aircrew has both the freedom to select their trajectory and the responsibility of resolving conflicts with other aircraft. The general belief is that free flight can be made safe under low traffic conditions. Increasing traffic, however, raises safety verification issues. This problem is formulated as one of estimating for a large scale stochastic hybrid system the probability of reaching a small collision set. The huge state space prohibits the use of existing numerical approaches to solve this safety verification problem. As an alternative we study randomization methods, the simplest of which would be to run many Monte Carlo simulations with a stochastic model of free flight operations, and count the number of runs during which a collision between two or more aircraft occurs. The huge state space prohibits such a straightforward MC simulation approach. By exploiting recent particle system theory by Del Moral and co-workers, this paper develops a sequential Monte Carlo simulation approach for the estimation of collision risk in a future air traffic scenario. The working of the resulting particle system is demonstrated for an eight aircraft scenario under free flight air traffic conditions.
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Published on 12/12/06Accepted on 12/12/06Submitted on 12/12/06
Volume 2006, 2006DOI: 10.1109/cdc.2006.377796Licence: CC BY-NC-SA license
Views 3Recommendations 0
Are you one of the authors of this document?