Systematic review of collision-avoidance approaches for unmanned aerial vehicles

J Tang, S Lao, Y Wan - IEEE Systems Journal, 2021 - ieeexplore.ieee.org
Over the past decade, unmanned aerial vehicles (UAVs) have demonstrated increasing
attention and promise. They demonstrate great potential for application in both civilian and …

Reluplex: An efficient SMT solver for verifying deep neural networks

G Katz, C Barrett, DL Dill, K Julian… - … Aided Verification: 29th …, 2017 - Springer
Deep neural networks have emerged as a widely used and effective means for tackling
complex, real-world problems. However, a major obstacle in applying them to safety-critical …

Policy compression for aircraft collision avoidance systems

KD Julian, J Lopez, JS Brush, MP Owen… - 2016 IEEE/AIAA 35th …, 2016 - ieeexplore.ieee.org
One approach to designing the decision making logic for an aircraft collision avoidance
system is to frame the problem as Markov decision process and optimize the system using …

Confidence-aware motion prediction for real-time collision avoidance1

D Fridovich-Keil, A Bajcsy, JF Fisac… - … Journal of Robotics …, 2020 - journals.sagepub.com
One of the most difficult challenges in robot motion planning is to account for the behavior of
other moving agents, such as humans. Commonly, practitioners employ predictive models to …

Next generation airborne collision avoidance system

MJ Kochenderfer, JE Holland… - Lincoln Laboratory …, 2012 - apps.dtic.mil
In response to a series of midair collisions involving commercial airliners, Lincoln Laboratory
was directed by the Federal Aviation Administration in the 1970s to participate in the …

Reluplex: a calculus for reasoning about deep neural networks

G Katz, C Barrett, DL Dill, K Julian… - Formal Methods in …, 2022 - Springer
Deep neural networks have emerged as a widely used and effective means for tackling
complex, real-world problems. However, a major obstacle in applying them to safety-critical …

Well-clear recommendation for small unmanned aircraft systems based on unmitigated collision risk

A Weinert, S Campbell, A Vela, D Schuldt… - Journal of air …, 2018 - arc.aiaa.org
Unmanned aircraft systems must demonstrate a capability to sense and avoid air traffic as
part of a layered conflict management system to enable safe operations in the National …

Learning probabilistic trajectory models of aircraft in terminal airspace from position data

ST Barratt, MJ Kochenderfer… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Models for predicting aircraft motion are an important component of modern aeronautical
systems. These models help aircraft plan collision avoidance maneuvers and help conduct …

Safety assessment and risk estimation for unmanned aerial vehicles operating in national airspace system

X Zhang, Y Liu, Y Zhang, X Guan… - Journal of Advanced …, 2018 - Wiley Online Library
This paper proposes an effective approach for modelling and assessing the risks associated
with unmanned aerial vehicles (UAVs) integrated into national airspace system (NAS). Two …

[PDF][PDF] Robust airborne collision avoidance through dynamic programming

MJ Kochenderfer, JP Chryssanthacopoulos - Massachusetts Institute of …, 2011 - ll.mit.edu
EXECUTIVE SUMMARY The Traffic Alert and Collision Avoidance System (TCAS), currently
mandated on all large transport aircraft, has been shown to significantly reduce the risk of …