<--- Back to Details
First PageDocument Content
FLARM / Science / Scientific modeling / Simulation / Computer simulation / Molecular dynamics / Traffic simulation / Aircraft collision avoidance systems / Avionics / Warning systems
Date: 2007-10-31 10:46:06
FLARM
Science
Scientific modeling
Simulation
Computer simulation
Molecular dynamics
Traffic simulation
Aircraft collision avoidance systems
Avionics
Warning systems

Add to Reading List

Source URL: www.xirrus.ch

Download Document from Source Website

File Size: 144,41 KB

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