Aircraft trajectory modeling and alerting algorithm verification

被引：0
|
作者：
Carreño, V
Muñoz, C
机构：
[1] NASA, Langley Res Ctr, Assessment Technol Branch, Hampton, VA 23681 USA
[2] NASA, Langley Res Ctr, ICASE, Hampton, VA 23681 USA
来源：
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS | 2000年 / 1869卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The Airborne Information for Lateral Spacing (AILS) program at NASA Langley Research Center aims at giving pilots the information necessary to make independent approaches to parallel runways with spacing down to 2500 feet in Instrument Meteorological Conditions. The AILS concept consists of accurate traffic information visible on the navigation display and an alerting algorithm which warns the crew when one of the aircraft involved in a parallel landing is diverting from its intended flight path. In this paper we present a model of aircraft approaches to parallel runways. Based on this model, we analyze the alerting algorithm with the objective of verifying its correctness. The formalization is conducted in the general verification system PVS.
引用
收藏
页码：90 / 105
页数：16
相关论文
共 50 条
  • [1] BOMB TRAJECTORY ALGORITHM FOR STRATEGIC AIRCRAFT
    TOMS, RM
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1976, 12 (03) : 425 - 425
  • [2] Light Propagation Algorithm for Aircraft Trajectory Planning
    Dougui, Nour Elhouda
    Delahaye, Daniel
    Puechmorel, Stephane
    Mongeau, Marcel
    2011 AMERICAN CONTROL CONFERENCE, 2011,
  • [3] Aircraft trajectory prediction based on SDTHE algorithm
    Zhang, Jun-Feng
    Sui, Dong
    Tang, Xin-Min
    1600, Systems Engineering Society of China (34): : 2955 - 2964
  • [4] A Performance Learning Method for Aircraft Trajectory Modeling
    Wang, Yuejingyan
    Zhao, Liang
    Jia, Yuyang
    Cai, Kaiquan
    2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
  • [5] Trajectory optimization of aircraft based on intelligent bionic algorithm
    Guo, Qianchen
    Yin, Anlan
    Wang, Yichen
    2024 IEEE 7TH INTERNATIONAL CONFERENCE ON AUTOMATION, ELECTRONICS AND ELECTRICAL ENGINEERING, AUTEEE, 2024, : 839 - 842
  • [6] Trajectory planning for gliding aircraft based on improved A* algorithm
    Lu Q.
    Zhou J.
    Hu W.-J.
    1600, Chinese Institute of Electronics (38): : 2758 - 2763
  • [7] Prediction and verification of an aircraft takeoff trajectory with high-altitude obstacles
    Shevchenko, Andrey
    Pavlov, Boris
    Nachinkina, Galina
    2019 IEEE 6TH INTERNATIONAL WORKSHOP ON METROLOGY FOR AEROSPACE (METROAEROSPACE), 2019, : 511 - 515
  • [8] TRAJECTORY MODELING OF EMISSIONS FROM LOWER STRATOSPHERIC AIRCRAFT
    SPARLING, LC
    SCHOEBERL, MR
    DOUGLASS, AR
    WEAVER, CJ
    NEWMAN, PA
    LAIT, LR
    JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 1995, 100 (D1) : 1427 - 1438
  • [9] Adaptive Algorithm to Improve Trajectory Prediction Accuracy of Climbing Aircraft
    Thipphavong, David P.
    Schultz, Charles A.
    Lee, Alan G.
    Chan, Steven H.
    JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 2013, 36 (01) : 15 - 24
  • [10] Optimization of Aircraft Flight Trajectory Combined with Thinking Navigation Algorithm
    Yang, Yifan
    ADVANCES IN MULTIMEDIA, 2022, 2022
12345