• Home
  • Search
  • DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems
  • Cite Icon104
  • https://doi.org/10.1109/dasc.2015.7311421Copy DOI Icon

DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

  • Sep 1, 2015
  • Cesar Munoz +6 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

This paper presents DAIDALUS (Detect and Avoid Alerting Logic for Unmanned Systems), a reference implementation of a detect and avoid concept intended to support the integration of Unmanned Aircraft Systems into civil airspace. DAIDALUS consists of self-separation and alerting algorithms that provide situational awareness to UAS remote pilots. These algorithms have been formally specified in a mathematical notation and verified for correctness in an interactive theorem prover. The software implementation has been verified against the formal models and validated against multiple stressing cases jointly developed by the US Air Force Research Laboratory, MIT Lincoln Laboratory, and NASA. The DAIDALUS reference implementation is currently under consideration for inclusion in the appendices to the Minimum Operational Performance Standards for Unmanned Aircraft Systems presently being developed by RTCA Special Committee 228.

Similar Papers
  • Conference Article

Review of the U.S. Air Force Research Laboratory's 10-kW RADICL laser

  • Jan 25, 2001
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
  • Charles A Helms
  • Research Article
  • Citations1

Symposium: Neuroergonomics, technology, and cognition

  • Jan 01, 2012
  • Work
  • Raja Parasuraman +6
  • Single Report

Second-Order Active NLO Chromophores for DNA Based Electro-Optics Materials

  • Sep 21, 2010
  • Chantal Andraud
  • Research Article
  • Citations1

Protonex to extend soldier-worn portable power management

  • Nov 01, 2010
  • Fuel Cells Bulletin
  • Conference Article

Flow Analysis of a Flapping SD7003 Airfoil at Transitional Reynolds Numbers

  • Jun 14, 2009
  • Weixing Yuan +1
  • Research Article
  • Citations5

Measurements of Mesospheric Sodium Abundance above the Hawaiian Islands11Based on observations made at the Maui Space Surveillance System, operated by Detachment 15 of the US Air Force Research Laboratory’s Directed Energy Directorate.

  • Jul 01, 2007
  • Publications of the Astronomical Society of the Pacific
  • Lewis C Roberts, Jr +3
  • Research Article
  • Citations58

Characterization of the AEOS Adaptive Optics System11Based on observations made at the Maui Space Surveillance System operated by Detachment 15 of the US Air Force Research Laboratory's Directed Energy Directorate.

  • Nov 01, 2002
  • Publications of the Astronomical Society of the Pacific
  • Lewis C Roberts, Jr +1
  • Research Article
  • Citations3

Accuracy Analysis of Aerodynamic Calculation of Twodimensional Ballistic correction Projectile based on Missile Datcom

  • Oct 01, 2019
  • IOP Conference Series: Materials Science and Engineering
  • Hanzhou Wu +4
  • Conference Article
  • Citations44

HIFiRE-1: Payload Design, Manufacture, Ground Test, and Lessons Learned

  • Jun 14, 2009
  • David Adamczak +2
  • Conference Article
  • Citations9

A comparison of two non-homogeneity detection methods for space-time adaptive processing

  • Aug 04, 2002
  • M Rangaswamy +3
  • Research Article
  • Citations6

Nonlinear Flight Control Systems Design for Hypersonic Vehicles: Results and Open Problems

  • Sep 01, 2010
  • IFAC Proceedings Volumes
  • Andrea Serrani
  • Conference Article
  • Citations39

A Wearable Flexible Hybrid Electronics ECG Monitor

  • May 01, 2016
  • Mark Poliks +9
  • Research Article
  • Citations29

Effects of diluent on laminar burning speed and flame structure of gas to liquid fuel air mixtures at high temperatures and moderate pressures

  • May 29, 2018
  • Fuel
  • Ziyu Wang +4
  • Conference Article
  • Citations16

Processing technology, laser, optical and thermal properties of ceramic laser gain materials

  • Jun 01, 2005
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
  • Mark Dubinskii +14
  • Dissertation

Experimental Study of a Cascade of Low Pressure Turbine Blades with Upstream Periodic Stator Wakes

  • Nov 02, 2015
  • Carlos Gonzalez Rodriguez
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.