DAIDALUS: Detect and avoid alerting logic for unmanned systems

  title={DAIDALUS: Detect and avoid alerting logic for unmanned systems},
  author={C{\'e}sar Mu{\~n}oz and Anthony Narkawicz and G. Hagen and Jason Upchuch and Aaron Dutle and Maria C. Consiglio and James M. Chamberlain},
  journal={2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)},
This article consists of a collection of slides from the author's conference presentation. 
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 22 extracted citations


Publications referenced by this paper.
Showing 1-8 of 8 references


  • J. P. Chamberlain, M. C. Consiglio
  • R. C. Jr., R. W. Ghatas, and C. A. Muñoz, “NASA…
  • 2015

and R

  • A. Dutle, C. Muñoz, A. Narkawicz
  • Butler, “Software validation via model animation…
  • 2015

and J

  • C. Muñoz, A. Narkawicz, J. Chamberlain, M. Consiglio
  • Upchurch, “A family of well-clear boundary models…
  • 2014

and K

  • M. Consiglio, J. Chamberlain, C. Muñoz
  • Hoffler, “Concept of integration for UAS…
  • 2012

and N

  • S. Owre, J. Rushby
  • Shankar, “Pvs: A prototype verification system…
  • 1992

Concept of Integration for UAS Operations in the NAS

  • A. Narkawicz, J. Chamberlain
  • Proceedings of 28 th International Congress of…

PVS : A prototype verification system , ” in Proceeding of the 11 th international conference on automated deduc - tioncade , D . Kapur

  • C. Muñoz A. Dutle, A. Narkawicz

Similar Papers

Loading similar papers…