A Formal Approach to the Analysis of Aircraft Protected Zone
暂无分享,去创建一个
[1] W. R. Fried,et al. Avionics Navigation Systems , 1969 .
[2] V. J. Rossow,et al. Overview of Wake-Vortex Hazards During Cruise , 1999 .
[3] Vernon J. Rossow. Reduction of Uncertainties in Prediction of Wake-Vortex Locations , 2000 .
[4] Yiyuan J. Zhao,et al. A modularized approach to comprehensive system-wide computer simulation of air traffic systems , 2002 .
[5] N. A. Spencer,et al. Development and operation of the Traffic Alert and Collision Avoidance System (TCAS) , 1989, Proc. IEEE.
[6] Steven D. Thompson. Terminal Area Separation Standards: Historical Development, Current Standards, and Processes for Change, , 1997 .
[7] Ronald A. Hess,et al. A Qualitative Model of Human Interaction with Complex Dynamic Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.
[8] CalingaertPeter. System performance evaluation , 1967 .
[9] Weiping Li,et al. Applied Nonlinear Control , 1991 .
[10] James K. Kuchar,et al. Survey of conflict detection and resolution modeling methods , 1997 .
[11] Tom G. Reynolds,et al. ANALYSIS OF SEPARATION MINIMA USING A SURVEILLANCE STATE VECTOR APPROACH , 2000 .
[12] James K. Kuchar. Methodology for Alerting-System Performance Evaluation , 1996 .
[13] Yiyuan Zhao,et al. Required Ranges for Conflict Resolutions in Air Traffic Management , 2001 .
[14] M. Kayton,et al. Global positioning system: signals, measurements, and performance [Book Review] , 2002, IEEE Aerospace and Electronic Systems Magazine.
[15] James K. Kuchar,et al. Prototype Conflict Alerting System for Free Flight , 1997 .
[16] Rodney Teo. Computing danger zones for provably safe closely spaced parallel approaches: Theory and experiment , 2003 .
[17] A. W. Warren,et al. Vertical path trajectory prediction for next generation ATM , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).
[18] Myron Kayton. Avionics Navigation Systems, Second Edition , 1998 .
[19] G. J. Bakker,et al. Conflict probability and incrossing probability in air traffic management , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..