UAVs working in conjunction with unattended ground sensors 캠, 영상처리, 교통
Hardware-in-the-loop simulation platform for image-based object tracking method using small UAV Pixhawk, MAVLINK, SURF 영상처리
Model-based transition of IMA architecture into configuration data
Flight simulation study of airplane state awareness and prediction technologies
Collision avoidance for unmanned aircraft using coordination tables
Probabilistic model checking of the next-generation airborne collision avoidance system
FACTS2: A service oriented simulation framework for aeronautical communication system evaluation
RACE: Building airspace simulations faster and better with actors
The open source, formally-proven seL4 microkernel: Considerations for use in avionics
Flexible open architecture for UASs integration into the airspace: Paparazzi autopilot system