原文传递
Formal Verification of Safety Buffers for Sate-Based Conflict Detection and Resolution
| 题名： | Formal Verification of Safety Buffers for Sate-Based Conflict Detection and Resolution |
| 作者： | Herencia-Zapana, Heber; Jeannin, Jean-Baptiste; Munoz, Cesar A. |
| 关键词： | solution；buffer；detection；flic；safety；esol；cati；base；fica；icat |
| 摘要： | The information provided by global positioning systems is never totally exact, and there are always errors when measuring position and velocity of moving objects such as aircraft. This paper studies the effects of these errors in the actual separation of aircraft in the context of state-based conflict detection and resolution. Assuming that the state information is uncertain but that bounds on the errors are known, this paper provides an analytical definition of a safety buffer and sufficient conditions under which this buffer guarantees that actual conflicts are detected and solved. The results are presented as theorems, which were formally proven using a mechanical theorem prover. |
| 报告类型： | 科技报告 |
相关文献
- Tactical Conflict Detection and Resolution in a 3-D Airspace
- Handling Trajectory Uncertainties for Airborne Conflict Management.
- Handling Trajectory Uncertainties for Airborne Conflict Management
- State-Based Implicit Coordination and Applications
- Conflict Detection and Resolution for Future Air Transportation Management
- Stratway Program for Strategic Conflict Resolution: User's Guide.
检索历史
应用推荐
