Deep Neural Network Compression for Aircraft Collision Avoidance Systems
Not on the map. Why?
Abstract (arXiv)
One approach to designing decision making logic for an aircraft collision avoidance system frames the problem as a Markov decision process and optimizes the system using dynamic programming. The resulting collision avoidance strategy can be represented as a numeric table. This methodology has been used in the development of the Airborne Collision Avoidance System X (ACAS X) family of collision avoidance systems for manned and unmanned aircraft, but the high dimensionality of the state space leads to very large tables. To improve storage efficiency, a deep neural network is used to approximate the table. With the use of an asymmetric loss function and a gradient descent algorithm, the parameters for this network can be trained to provide accurate estimates of table values while preserving the relative preferences of the possible advisories for each state. By training multiple networks to represent subtables, the network also decreases the required runtime for computing the collision avoidance advisory. Simulation studies show that the network improves the safety and efficiency of the collision avoidance system. Because only the network parameters need to be stored, the required storage space is reduced by a factor of 1000, enabling the collision avoidance system to operate using current avionics systems.
Key facts. Cited by 58 papers in the map (data through 7 Oct 2026). First posted on arXiv 9 Oct 2018.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 12; 2022: 15; 2023: 10; 2024: 10; 2025: 5; 2026: 6.
58 papers.
Sort:
By area:
- 2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networkscited by 81
- 2022Causality-based Neural Network Repaircited by 44
- 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networkscited by 42
- 2021Provable Repair of Deep Neural Networkscited by 39
- 2022Neural Network Verification with Proof Productioncited by 22
- 2022Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systemscited by 18
- 2023Incremental Verification of Neural Networkscited by 14
- 2021Sound and Complete Neural Network Repair with Minimality and Locality Guaranteescited by 12
- 2023Incremental Randomized Smoothing Certificationcited by 12
- 2021MDPFuzz: Testing Models Solving Markov Decision Processescited by 11
- 2022Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networkscited by 11
- 2021SyReNN: A Tool for Analyzing Deep Neural Networkscited by 10
38 more
- 2022Backward Reachability Analysis for Neural Feedback Loopscited by 9
- 2022QEBVerif: Quantization Error Bound Verification of Neural Networkscited by 9
- 2023Architecture-Preserving Provable Repair of Deep Neural Networkscited by 9
- 2022Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachabilitycited by 8
- 2021Verifying Low-dimensional Input Neural Networks via Input Quantizationcited by 7
- 2022Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applicationscited by 6
- 2022A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loopscited by 6
- 2023Towards a Certified Proof Checker for Deep Neural Network Verificationcited by 6
- 2024DeepCDCL: An CDCL-based Neural Network Verification Frameworkcited by 6
- 2021Static analysis of ReLU neural networks with tropical polyhedracited by 5
- 2022Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Componentscited by 5
- 2021Generating Probabilistic Safety Guarantees for Neural Network Controllerscited by 4
- 2021Self-Correcting Neural Networks For Safe Classificationcited by 4
- 2023Repairing Deep Neural Networks Based on Behavior Imitationcited by 4
- 2024System Safety Monitoring of Learned Components Using Temporal Metric Forecastingcited by 4
- 2025Proof Minimization in Neural Network Verificationcited by 4
- 2023A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networkscited by 3
- 2025PICID: Proof-Driven Clause Learning in Neural Network Verificationcited by 3
- 2021Scaling up Memory-Efficient Formal Verification Tools for Tree Ensemblescited by 2
- 2021ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputscited by 2
- 2022Deep Binary Reinforcement Learning for Scalable Verificationcited by 2
- 2022Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance Systemcited by 2
- 2023Neural Abstraction-Based Controller Synthesis and Deploymentcited by 2
- 2024Self-organized free-flight arrival for urban air mobilitycited by 2
- 2024Complexity of Injectivity and Verification of ReLU Neural Networkscited by 2
- 2024Exploring Critical Testing Scenarios for Decision-Making Policies: An LLM Approachcited by 2
- 2025Verification of Bit-Flip Attacks against Quantized Neural Networkscited by 2
- 2025Statistical Runtime Verification for LLMs via Robustness Estimationcited by 2
- 2021Overestimation learning with guaranteescited by 1
- 2021Croesus: Multi-Stage Processing and Transactions for Video-Analytics in Edge-Cloud Systemscited by 1
- 2022EcoFlow: Efficient Convolutional Dataflows for Low-Power Neural Network Acceleratorscited by 1
- 2023Vertex-based reachability analysis for verifying ReLU deep neural networkscited by 1
- 2024Concurrent Self-testing of Neural Networks Using Uncertainty Fingerprintcited by 1
- 2024Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networkscited by 1
- 2024ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNscited by 1
- 2024Training Verification-Friendly Neural Networks via Neuron Behavior Consistencycited by 1
- 2026Defining Operational Conditions for Safety-Critical AI-Based Systems from Datacited by 1
- 2026From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systemscited by 1
50 most cited of 58 All 58 (JSON)
- 2026Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems21 Aug 2026
- 2026On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks20 Aug 2026
- 2026Rethinking Evaluation Paradigms in IBP-based Certified Training1 Jun 2026
- 2026From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems2 Apr 2026
- 2026SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression16 Mar 2026
- 2026Defining Operational Conditions for Safety-Critical AI-Based Systems from Data29 Jan 2026
- 2025Proof Minimization in Neural Network Verification11 Nov 2025
- 2025Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance23 Oct 2025
- 2025Statistical Runtime Verification for LLMs via Robustness Estimation24 Apr 2025
- 2025PICID: Proof-Driven Clause Learning in Neural Network Verification15 Mar 2025
- 2025Verification of Bit-Flip Attacks against Quantized Neural Networks22 Feb 2025
- 2024Training Verification-Friendly Neural Networks via Neuron Behavior Consistency17 Dec 2024
38 more
- 2024Exploring Critical Testing Scenarios for Decision-Making Policies: An LLM Approach9 Dec 2024
- 2024ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs31 Oct 2024
- 2024Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks14 Jun 2024
- 2024Complexity of Injectivity and Verification of ReLU Neural Networks30 May 2024
- 2024System Safety Monitoring of Learned Components Using Temporal Metric Forecasting21 May 2024
- 2024Self-organized free-flight arrival for urban air mobility4 Apr 2024
- 2024DeepCDCL: An CDCL-based Neural Network Verification Framework12 Mar 2024
- 2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networks25 Jan 2024
- 2024Concurrent Self-testing of Neural Networks Using Uncertainty Fingerprint2 Jan 2024
- 2023Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions16 Nov 2023
- 2023Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control15 Nov 2023
- 2023Towards a Certified Proof Checker for Deep Neural Network Verification12 Jul 2023
- 2023Neural Abstraction-Based Controller Synthesis and Deployment7 Jul 2023
- 2023Incremental Randomized Smoothing Certification31 May 2023
- 2023Repairing Deep Neural Networks Based on Behavior Imitation5 May 2023
- 2023Architecture-Preserving Provable Repair of Deep Neural Networks7 Apr 2023
- 2023Incremental Verification of Neural Networks4 Apr 2023
- 2023Vertex-based reachability analysis for verifying ReLU deep neural networks27 Jan 2023
- 2023A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks26 Jan 2023
- 2022QEBVerif: Quantization Error Bound Verification of Neural Networks6 Dec 2022
- 2022Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance System1 Dec 2022
- 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks25 Oct 2022
- 2022A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops14 Oct 2022
- 2022Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems28 Sep 2022
- 2022Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications28 Sep 2022
- 2022Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks2 Jul 2022
- 2022Neural Network Verification with Proof Production1 Jun 2022
- 2022Causality-based Neural Network Repair20 Apr 2022
- 2022Backward Reachability Analysis for Neural Feedback Loops14 Apr 2022
- 2022Long Short-Term Memory for Spatial Encoding in Multi-Agent Path Planning21 Mar 2022
- 2022Deep Binary Reinforcement Learning for Scalable Verification11 Mar 2022
- 2022Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components7 Feb 2022
- 2022EcoFlow: Efficient Convolutional Dataflows for Low-Power Neural Network Accelerators4 Feb 2022
- 2022Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability17 Jan 2022
- 2021Croesus: Multi-Stage Processing and Transactions for Video-Analytics in Edge-Cloud Systems31 Dec 2021
- 2021MDPFuzz: Testing Models Solving Markov Decision Processes6 Dec 2021
- 2021Sound and Complete Neural Network Repair with Minimality and Locality Guarantees14 Oct 2021
- 2021Verifying Low-dimensional Input Neural Networks via Input Quantization18 Aug 2021
50 newest of 58 All 58 (JSON)
- 2022Causality-based Neural Network Repaircited by 44
- 2022Causality-based Neural Network Repair20 Apr 2022
- 2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networkscited by 81
- 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networkscited by 42
- 2021Provable Repair of Deep Neural Networkscited by 39
- 2022Neural Network Verification with Proof Productioncited by 22
- 2022Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systemscited by 18
- 2023Incremental Verification of Neural Networkscited by 14
- 2021Sound and Complete Neural Network Repair with Minimality and Locality Guaranteescited by 12
- 2023Incremental Randomized Smoothing Certificationcited by 12
- 2021MDPFuzz: Testing Models Solving Markov Decision Processescited by 11
- 2022Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networkscited by 11
- 2021SyReNN: A Tool for Analyzing Deep Neural Networkscited by 10
- 2022Backward Reachability Analysis for Neural Feedback Loopscited by 9
12 most cited of 57 All 57 (JSON)
- 2026Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems21 Aug 2026
- 2026On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks20 Aug 2026
- 2026Rethinking Evaluation Paradigms in IBP-based Certified Training1 Jun 2026
- 2026From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems2 Apr 2026
- 2026SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression16 Mar 2026
- 2026Defining Operational Conditions for Safety-Critical AI-Based Systems from Data29 Jan 2026
- 2025Proof Minimization in Neural Network Verification11 Nov 2025
- 2025Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance23 Oct 2025
- 2025Statistical Runtime Verification for LLMs via Robustness Estimation24 Apr 2025
- 2025PICID: Proof-Driven Clause Learning in Neural Network Verification15 Mar 2025
- 2025Verification of Bit-Flip Attacks against Quantized Neural Networks22 Feb 2025
- 2024Training Verification-Friendly Neural Networks via Neuron Behavior Consistency17 Dec 2024
12 newest of 57 All 57 (JSON)