Towards a Formal Semantics of Flight Plans and Trajectories

By: Administration (Nasa), National Aeronaut

Technical Report Hagen, George E. and Butler, Ricky W. Langley Research Center NASA/TM-2014-218662, L-20476, NF1676L-19834 WBS 411931.02.02.07.13.01 SEMANTICS; FLIGHT PLANS; TRAJECTORIES; NATIONAL AIRSPACE SYSTEM; FLIGHT MANAGEMENT SYSTEMS; TRAJECTORY PLANNING; AIR TRAFFIC CONTROL; AIR TRAFFIC CONTROLLERS (PERSONNEL); AIRCRAFT PILOTS; ALGORITHMS; TRANSLATING; RECEIVERS; PROGRAMMING LANGUAGES; PREDICTION ANALYSIS TECHNIQUES; KINEMATICS; COMPUTATION; FLIGHT SIMULATION; TRACKING (POSITION); GROUND SPEED; VELOCITY; ROUTES; PROCEDURES

• Format: Paperback
• Language: English
• ISBN: B08F6CGBJT
• ISBN13: 9798672850139
• Release Date: January 1
• Publisher: Independently Published
• Length: 44 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"