DocumentCode :
2251725
Title :
Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction
Author :
Prandini, Maria ; Hu, Jianghai
Author_Institution :
Dipt. di Elettron. e Inf., Politec. di Milano, Milano, Italy
fYear :
2008
fDate :
9-11 Dec. 2008
Firstpage :
4036
Lastpage :
4041
Abstract :
In this paper, the problem of aircraft conflict prediction is formulated as a reachability analysis problem for a stochastic hybrid system. A switching diffusion model is introduced to predict the future positions of an aircraft following a given flight plan. The weak approximation of the switching diffusion through a Markov chain allows us to develop a numerical algorithm for computing an estimate of the probability that the aircraft enters an unsafe region of the airspace or come too close to another aircraft. Simulation results are reported to show the efficacy of the approach.
Keywords :
Markov processes; air traffic control; aircraft control; approximation theory; diffusion; estimation theory; probability; reachability analysis; stochastic systems; Markov chain; aircraft conflict prediction; flight plan; numerical algorithm; probability estimation; reachability analysis; stochastic hybrid system; switching diffusion model; weak approximation; Aerospace control; Air traffic control; Aircraft; Approximation algorithms; Asynchronous transfer mode; Predictive models; Reachability analysis; Stochastic systems; Switches; Traffic control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2008. CDC 2008. 47th IEEE Conference on
Conference_Location :
Cancun
ISSN :
0191-2216
Print_ISBN :
978-1-4244-3123-6
Electronic_ISBN :
0191-2216
Type :
conf
DOI :
10.1109/CDC.2008.4739248
Filename :
4739248
Link To Document :
بازگشت