<--- Back to Details
First PageDocument Content
Traffic collision avoidance system / Risk / Tricyclic antidepressant / Simulation / Safety / Technology / Aircraft collision avoidance systems / Avionics / Warning systems
Date: 2012-10-11 10:34:40
Traffic collision avoidance system
Risk
Tricyclic antidepressant
Simulation
Safety
Technology
Aircraft collision avoidance systems
Avionics
Warning systems

Add to Reading List

Source URL: www.ll.mit.edu

Download Document from Source Website

File Size: 2,89 MB

Share Document on Facebook

Similar Documents

Policy Compression for Aircraft Collision Avoidance Systems Kyle D. Julian∗ , Jessica Lopez† , Jeffrey S. Brush† , Michael P. Owen‡ and Mykel J. Kochenderfer∗ ∗ Department of Aeronautics and Astronautics, St

DocID: 1uPwJ - View Document

Avionics / Aircraft collision avoidance systems / Warning systems / Traffic collision avoidance system / Technology

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov

DocID: 1rqeg - View Document

Avionics / Aircraft collision avoidance systems / NASA STI Program / Unmanned aerial vehicle / Technology / Engineering / Traffic collision avoidance system / NASA / Electronics

NASA/TMUnmanned Aircraft Systems Human-in-theLoop Controller and Pilot Acceptability Study: Collision Avoidance, Self-Separation, and Alerting Times (CASSAT) James R. Comstock, Jr., Rania W. Ghatas, Michael

DocID: 1rmbN - View Document

Avionics / Warning systems / Aeronautics / Aviation / Aircraft collision avoidance systems / Air traffic control / Safety / Traffic collision avoidance system / Automatic dependent surveillance  broadcast / ARINC / Honeywell Aerospace / Surveillance

C61no quote:C61qxd

DocID: 1qFMt - View Document

Avionics / Theoretical computer science / Aircraft collision avoidance systems / Warning systems / Traffic collision avoidance system / Air traffic control / Formal methods / Self-separation / Unmanned aerial vehicle / Formal verification

Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)? C´esar A. Mu˜ noz NASA Langley Research Center, Hampton, Virginia

DocID: 1pFT0 - View Document