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 …
attention and promise. They demonstrate great potential for application in both civilian and …
Reluplex: An efficient SMT solver for verifying deep neural networks
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 …
complex, real-world problems. However, a major obstacle in applying them to safety-critical …
Policy compression for aircraft collision avoidance systems
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 …
system is to frame the problem as Markov decision process and optimize the system using …
Confidence-aware motion prediction for real-time collision avoidance1
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 …
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 …
was directed by the Federal Aviation Administration in the 1970s to participate in the …
Reluplex: a calculus for reasoning about deep neural networks
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 …
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
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 …
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 …
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 …
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 …
mandated on all large transport aircraft, has been shown to significantly reduce the risk of …