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
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;
Conference_Titel :
Decision and Control, 2008. CDC 2008. 47th IEEE Conference on
Conference_Location :
Cancun
Print_ISBN :
978-1-4244-3123-6
Electronic_ISBN :
0191-2216
DOI :
10.1109/CDC.2008.4739248