DocumentCode
1208038
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, Milan
Volume
54
Issue
4
fYear
2009
fDate
4/1/2009 12:00:00 AM
Firstpage
913
Lastpage
917
Abstract
Aircraft conflict prediction can be naturally formulated as a reachability analysis problem in a stochastic hybrid system framework. In this technical note, a switching diffusion model is adopted to predict the future positions of an aircraft following a given flight plan, and the probability that the aircraft will enter an unsafe region of the airspace is estimated through a numerical algorithm for reachability computations. Simulation results are reported to illustrate the approach.
Keywords
air traffic; air traffic control; aircraft; probability; reachability analysis; stochastic systems; aircraft conflict prediction; probability; reachability analysis; stochastic hybrid systems; switching diffusion model; Air safety; Air traffic control; Aircraft; Asynchronous transfer mode; Computational modeling; Predictive models; Reachability analysis; Stochastic systems; Switches; Traffic control; Air traffic management (ATM) system; reachability analysis; stochastic hybrid systems;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/TAC.2008.2011011
Filename
4806175
Link To Document