原文传递
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.
| 题名： | Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. |
| 作者： | Munoz, C.; Narkawicz, A. |
| 关键词： | Aerospace systems, Collision avoidance, Unmanned aircraft systems, Pilotless aircraft, Boundaries, International law, Safety |
| 摘要： | This paper concerns the application of formal methods to the definition of a detect and avoid concept for unmanned aircraft systems (UAS). In particular, it illustrates how formal analysis was used to explain and correct unexpected behaviors of the logic that issues alerts when two aircraft are predicted not to be well clear from one another. As a result of this analysis, a recommendation was proposed to, and subsequently adopted by, the US standards organization that defines the minimum operational requirements for the UAS detect and avoid concept. |
| 总页数： | Munoz, C.; Narkawicz, A. |
| 报告类型： | 科技报告 |
相关文献
- Family of Well-Clear Boundary Models for the Integration of UAS in the NAS.
- Family of Well-Clear Boundary Models for the Integration of UAS in the NAS
- Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions.
- Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems.
- Analysis of Well-Clear Boundary Models for the Integration of UAS in the NAS
- Final Overview of ACES Simulation for Evaluation SARP Well-Clear Definitions
检索历史
应用推荐
