Stochastic Reachability for Discrete Time Systems: An Application to Aircraft Collision Avoidance

Proceedings of the IEEE Conference on Decision and Control

Volumn 5, Issue , 2003, Pages 5314-5319

  Watkins, Oliver ^a   Lygeros, John ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; BOUNDARY CONDITIONS; DIFFERENCE EQUATIONS; FUNCTIONS; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; STOCHASTIC CONTROL SYSTEMS; THEOREM PROVING;

AIRCRAFT COLLISION; STOCHASTIC REACHABILITY PROBLEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 1542350066     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. G.J. Bakker and H. Blom. Air traf£ic collision risk modelling. In Conference on Decision and Control, 1993.
2. rd USA/European Air Traf£c Management R & D Seminar, Napoli, Italy, June 13-16 2000.
3. H. Erzberger, R. A. Paielli, D. R. Isaacson, and M. M. Eshow. Conflict detection and resolution in the presence of prediction error. 1997.
4. James K. Kuchar. A Uni£ed Methodology for the Evaluation of Hazard Alerting Systems. PhD thesis, Massacusetts Institute of Technology, 1995.
5. James K. Kuchar and Lee C. Yang. A review of conflict detection and resolution methods. IEEE Transactions on Intelligent Transportation Systems, 1(4): 179-189, 2000.
6. R. A. Paielli. Empircal test of conflict probability estimation. Technical report, NASA Ames Research Center, Moffett Field, CA 94035-1000, 1998. Available from World Wide Web: http://www.ctas.arc.nasa.gov/publications/papers/.
7. R. A. Paielli. Empirical test of conflict probability estimation. Technical report, NASA Ames Research Centre, 1998.
8. R. A. Paielli and H. Erzberger. Conflict probability estimation for free flight. Technical report, NASA Ames Research Center, Moffett Field, CA 94035-1000, 1997. Available from World Wide Web: http://www.ctas.arc.nasa.gov/publications/papers/.
9. M. Prandini, J. Hu, J. Lygeros, and S. Sastry. A probabilistic approach to aircraft conflict detection. IEEE Transactions on Intelligent Transportation Systems, 1 (4), 2000.
10. M. Vidyasagar. A Theory of Learning and Generalization. Springer, 1997.