Scipediacontent: Scipediacontent moved page Draft Content 752146106 to Bakker et al 2006a

2021-02-08T09:09:08Z

Scipediacontent moved page Draft Content 752146106 to Bakker et al 2006a

Scipediacontent: Created page with " == Abstract == Under free flight, an aircrew has both the freedom to select their trajectory and the responsibility of resolving conflicts with other aircraft. The general b..."

2021-02-08T09:09:05Z

Created page with " == Abstract == Under free flight, an aircrew has both the freedom to select their trajectory and the responsibility of resolving conflicts with other aircraft. The general b..."

New page

== Abstract ==

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.

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1109/cdc.2006.377796 http://dx.doi.org/10.1109/cdc.2006.377796]

* [https://research.utwente.nl/en/publications/a-particle-system-for-safety-verification-of-free-flight-in-air-traffic(2fb1276d-ccde-492d-a8d9-508945b5adb8).html https://research.utwente.nl/en/publications/a-particle-system-for-safety-verification-of-free-flight-in-air-traffic(2fb1276d-ccde-492d-a8d9-508945b5adb8).html]

* [http://xplorestaging.ieee.org/ielx5/4176992/4176993/04177563.pdf?arnumber=4177563 http://xplorestaging.ieee.org/ielx5/4176992/4176993/04177563.pdf?arnumber=4177563],
: [http://dx.doi.org/10.1109/cdc.2006.377796 http://dx.doi.org/10.1109/cdc.2006.377796]

* [https://dblp.uni-trier.de/db/conf/cdc/cdc2006.html#BlomKB06 https://dblp.uni-trier.de/db/conf/cdc/cdc2006.html#BlomKB06],
: [https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F2fb1276d-ccde-492d-a8d9-508945b5adb8 https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F2fb1276d-ccde-492d-a8d9-508945b5adb8],
: [https://research.utwente.nl/en/publications/a-particle-system-for-safety-verification-of-free-flight-in-air-t https://research.utwente.nl/en/publications/a-particle-system-for-safety-verification-of-free-flight-in-air-t],
: [https://ieeexplore.ieee.org/document/4177563 https://ieeexplore.ieee.org/document/4177563],
: [https://academic.microsoft.com/#/detail/2136192377 https://academic.microsoft.com/#/detail/2136192377]

← Older revision	Revision as of 09:09, 8 February 2021
(No difference)

Bakker et al 2006a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 752146106 to Bakker et al 2006a

Scipediacontent: Created page with " == Abstract == Under free flight, an aircrew has both the freedom to select their trajectory and the responsibility of resolving conflicts with other aircraft. The general b..."