Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction

IEEE Transactions on Automatic Control

Volumn 54, Issue 4, 2009, Pages 913-917

  Prandini, Maria ^a   Hu, Jianghai ^b  

^a POLITECNICO DI MILANO   (Italy)

^b Purdue University   (United States)

Author keywords

Air traffic management (ATM) system; Reachability analysis; Stochastic hybrid systems

Indexed keywords

AIR TRAFFIC MANAGEMENT (ATM) SYSTEM; CONFLICT PREDICTIONS; FLIGHT PLANS; FUTURE POSITIONS; NUMERICAL ALGORITHMS; REACHABILITY; REACHABILITY ANALYSIS; SIMULATION RESULTS; STOCHASTIC HYBRID SYSTEMS; SWITCHING DIFFUSIONS; TECHNICAL NOTES;

AIR TRAFFIC CONTROL; AIRCRAFT; ASYNCHRONOUS TRANSFER MODE; AUTOMATIC TELLER MACHINES; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SENSORS; INTERNET PROTOCOLS; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

HYBRID SYSTEMS;

EID: 67349254661     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.2011011     Document Type: Article

References (13)

1. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, "A probabilistic approach to aircraft conflict detection," IEEE Trans. Intell. Transport. Syst., Special Issue Air Traffic Control - Part I, vol. 1, no. 4, pp. 199-220, Dec. 2000.
2. J. Hu and M. Prandini, "Aircraft conflict detection: A method for computing the probability of conflict based on Markov chain approximation," in Proc. Eur. Control Conf., Cambridge, U.K., Sep. 2003, [CD ROM].
3. J. Hu, M. Prandini, and S. Sastry, "Aircraft conflict prediction in presence of a spatially correlated wind field," IEEE Trans. Intell. Transport. Syst., vol. 6, no. 3, pp. 326-340, Sep. 2005.
4. W. Glover and J. Lygeros, A Multi-Aircraft Model for Conflict Detection and Resolution Algorithm Evaluation Deliverable D1.3, HYBRIDGE project, 2004 [Online]. Available: http://www.nlr.nl/public/hosted-sites/hybridge/
5. M. L. Bujorianu, R. Alur and G. Pappas, Eds., "Extended stochastic hybrid systems and their reachability problem," in Hybrid Systems: Computation and Control. New York: Springer Verlag, 2004, vol. 2993, LNCS, pp. 234-249.
6. S. Prajna, A. Jadbabaie, and G. J. Pappas, "A framework for worst-case and stochastic safety verification using barrier certificates," IEEE Trans. Automat. Control, vol. 52, no. 8, pp. 1415-1428, Aug. 2007.
7. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems," Automatica, vol. 44, no. 11, pp. 2724-2734, Nov. 2008.
8. J. Lygeros and O. Watkins, "Stochastic reachability for discrete time systems: An application to aircraft collision avoidance," in Proc. 42nd Conf. Decision Control, Maui, HI, 2003, pp. 5314-5319.
9. M. Prandini and J. Hu, C. G. Cassandras and J. Lygeros, Eds., "Stochastic reachability: Theory and numerical approximation," in Stochastic Hybrid Systems. London, U.K.: Taylor & Francis, 2006, vol. 24, pp. 107-138.
10. H. J. Kushner and P. G. Dupuis, Numerical Methods for Stochastic Control Problems in Continuous Time. New York: Springer-Verlag, 2001.
11. J. Krystul and A. Bagchi, "Approximation of first passage times of switching diffusion," in Proc. 16th Int. Symp. Math. Theory Networks Syst., Leuven, Belgium, Jul. 2004, [CD ROM].
12. M. Z. Kwiatkowska, G. Norman, and D. A. Parker, "Probabilistic symbolic model checking using PRISM: A hybrid approach," J. Software Tools Technol. Transfer, vol. 6, no. 2, pp. 128-142, 2004.
13. J.-P. Katoen, M. Khattri, and I. S. Zapreev, "A Markov reward model checker," in Quantitative Evaluation of Systems (QEST). New York: IEEE CS Press, 2005, pp. 243-245.