Open Access
Next-Generation Airborne Collision Avoidance System
Reads0
Chats0
TLDR
The Traffic Alert and Collision Avoidance System (TACSA) as discussed by the authors is an onboard collision avoidance system for large aircraft that has significantly improved the safety of air travel, but major changes to the airspace planned over the coming years will require substantial modification to the system.Abstract:
: 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 development of an onboard collision avoidance system. In its current manifestation, the Traffic Alert and Collision Avoidance System is mandated worldwide on all large aircraft and has significantly improved the safety of air travel, but major changes to the airspace planned over the coming years will require substantial modification to the system. Recently, Lincoln Laboratory has been pioneering the development of a new approach to collision avoidance systems that completely rethink show such systems are engineered, allowing the system to provide a higher degree of safety without interfering with normal, safe operations.read more
Citations
More filters
Book ChapterDOI
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
TL;DR: In this paper, the authors presented a scalable and efficient technique for verifying properties of deep neural networks (or providing counter-examples) based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU) activation function.
Proceedings Article
Efficient Formal Safety Analysis of Neural Networks
TL;DR: This paper presents a new efficient approach for rigorously checking different safety properties of neural networks that significantly outperforms existing approaches by multiple orders of magnitude and believes that this approach to estimating tight output bounds of a network for a given input range can also help improve the explainability of Neural networks and guide the training process of more robust neural networks.
Posted Content
Formal Security Analysis of Neural Networks using Symbolic Intervals
TL;DR: This paper designs, implements, and evaluates a new direction for formally checking security properties of DNNs without using SMT solvers, and leverages interval arithmetic to compute rigorous bounds on the DNN outputs, which is easily parallelizable.
Proceedings ArticleDOI
Policy compression for aircraft collision avoidance systems
TL;DR: A deep neural network is used to learn a complex non-linear function approximation of the lookup table, which reduces the required storage space by a factor of 1000 and surpasses the original table on the performance metrics and encounter sets evaluated here.
Proceedings Article
Learning plannable representations with causal InfoGAN
TL;DR: This work asks how to imagine goal-directed visual plans – a plausible sequence of observations that transition a dynamical system from its current configuration to a desired goal state, which can later be used as a reference trajectory for control.
References
More filters
Book
Markov Decision Processes: Discrete Stochastic Dynamic Programming
TL;DR: Puterman as discussed by the authors provides a uniquely up-to-date, unified, and rigorous treatment of the theoretical, computational, and applied research on Markov decision process models, focusing primarily on infinite horizon discrete time models and models with discrete time spaces while also examining models with arbitrary state spaces, finite horizon models, and continuous time discrete state models.
Journal ArticleDOI
What is dynamic programming
TL;DR: Sequence alignment methods often use something called a 'dynamic programming' algorithm, which can be a good idea or a bad idea, depending on the method used.
The Traffic Alert and Collision Avoidance System
James K. Kuchar,A.C. Drumm +1 more
TL;DR: TCAS is one component of a multi-layered defense against mid-air collisions, and illustrates the particular challenge of developing effective decision aids for use in emergency situations involving extreme time pressure.
Journal ArticleDOI
Airspace Encounter Models for Estimating Collision Risk
TL;DR: A methodology for encounter model construction based on a Bayesian statistical framework connected to an extensive set of national radar data is described and examples of using several such high-fidelity models to evaluate the safety of collision avoidance systems for manned and unmanned aircraft are provided.