原文传递
Search for Effective Algorithms for Recovery from Loss of Separation.
| 题名： | Search for Effective Algorithms for Recovery from Loss of Separation. |
| 作者： | Butler, R. W.; Hagen, G. E.; Maddalon, J. M.; Munoz, C. A.; Narawicz, A. J. |
| 关键词： | Air Traffic Control; Algorithms; Proving; Safety; Situational Awareness; Theorems; Trajectories; Workloads(psychophysiology) |
| 摘要： | Our previous work presented an approach for developing high confidence algorithms for recovering aircraft from loss of separation situations. The correctness theorems for the algorithms relied on several key assumptions, namely that state data for all local aircraft is perfectly known, that resolution maneuvers can be achieved instantaneously, and that all aircraft compute resolutions using exactly the same data. Experiments showed that these assumptions were adequate in cases where the aircraft are far away from losing separation, but are insufficient when the aircraft have already lost separation. This paper describes the results of this experimentation and proposes a new criteria specification for loss of separation recovery that preserves the formal safety properties of the previous criteria while overcoming some key limitations. Candidate algorithms that satisfy the new criteria are presented. |
| 报告类型： | 科技报告 |
相关文献
- Chorus Conflict and Loss of Separation Resolution Algorithms.
- UAS Well Clear Recovery Against Non-Cooperative Intruders Using Vertical Maneuvers
- The Effects of Speed Uncertainty on a Separation Assurance Algorithm
- Risk-Based Causal Modeling of Airborne Loss of Separation.
- Assessment and Rehabilitation Methods for Longitudinal Cracks and Joint Separations in Concrete Pavement
检索历史
应用推荐
