Deep neural network approximates collision avoidance table for aircraft systems.
problem High dimensionality of collision avoidance state space leads to large numeric tables.
method Used deep neural networks to approximate the numeric tables, using asymmetric loss functions and gradient descent.
result Reduced storage space by a factor of 1000, enabling current avionics systems.
The article develops a model for predicting aircraft motion in terminal airspace.
problem Predicting aircraft motion for collision avoidance and safety analysis.
method Fits a probabilistic generative model to historical position data of aircraft landings and takeoffs.
result The model generates realistic trajectories, provides accurate predictions, and captures statistical properties of aircraft trajectories.
Safe neural networks for input-output specifications.
problem Ensuring machine learning models adhere to input-output constraints.
method Designing constrained predictors and combining them safely.
result Demonstrated on synthetic and real-world datasets.
Reduces necessary conditions for collision avoidance on curved spaces.
problem Finding non-intersecting trajectories for multiple agents on curved spaces.
method Reduction by Lie group symmetries of variational collision avoidance problems.
result Derives necessary conditions for reduced extremals.
Machine learning competition predicts spacecraft collision risks.
problem Predicting future collision risks between orbiting satellites.
method Machine learning models trained on satellite collision data.
result Models accurately predicted collision risks with high precision.
Study motion planning for points avoiding obstacles in a plane.
problem Avoiding collisions for multiple points in a plane with unknown obstacles.
method Algebraic and topological tools for motion planning.
result New topological complexity for planar motion planning.
CARML uses meta-learning to avoid obstacles in 2D vehicle navigation.
problem Collision avoidance in 2D vehicle navigation.
method Model-Agnostic Meta-Learning for multi-objective reinforcement learning.
result CARML outperforms a baseline TD3 solution in obstacle avoidance.
Symbolic neural network for analyzing and patching complex systems.
problem Analyzing and verifying complex neural networks.
method Symbolic representation of piecewise-linear neural networks for efficient computation.
result Demonstrated applications in weakest preconditions, strongest postconditions, and patching.
New method avoids surface self-collision in geometric optimization.
problem Avoiding self-collision in surface optimization.
method Developed a numerical framework using tangent-point energy and fractional Sobolev inner product.
result Successfully accelerated collision avoidance scheme for triangle meshes.
SafeCritic predicts safe trajectories for pedestrians and cyclists avoiding collisions.
problem Predicting safe trajectories for pedestrians and cyclists in urban environments.
method Generative adversarial networks and reinforcement learning to generate safe trajectories, evaluated by a Discriminator.
result Significant improvement over state-of-the-art models in safety classification.
The introduction of automated flight control and management systems have made possible aircraft designs that sacrifice arodynamic stability in order to incorporate stealth technology intro their shape, operate more efficiently, and are highly maneuverable. Therefore, modern flight management systems are reliant on mult…
Hybrid RL combines simulated and real data for robust autonomous flight.
problem Challenges in training deep RL models for real-world robotic tasks.
method Combines real-world and simulated data to improve generalization.
result Quadrotor avoids collisions using only a monocular camera.
This paper tackles collision avoidance for many UAVs using MFG and ML.
problem Collision avoidance for many UAVs in real-time missions.
method Mean-field game (MFG) theory combined with machine learning (ML) to reduce computation and communication energy.
result The proposed MFG learning control method achieves collision avoidance with low communication and acceptable computation energy.
Deep RL mimics human driving for collision avoidance in self-driving cars.
problem Developing human-like driving policies for autonomous vehicles in mixed traffic environments.
method Model-free, deep reinforcement learning approach using a combination of rule-based and expert-driven data.
result Demonstrated human-like driving policies through Gaussian process modeling of track position and speed distributions.
Paper automates car negotiation in intersections using Q-learning.
problem Automated vehicles negotiate with human-driven cars in intersections.
method Deep Q-learning applied to simulated traffic with various driver behaviors.
result 98% success rate in avoiding collisions with other vehicles.
CriticSMC improves planning efficiency in constrained environments.
problem Planning with hard constraints in dynamic environments.
method Sequential Monte Carlo with learned heuristic factors.
result CriticSMC reduces collision rates with low computational cost.
Survey of algorithms for testing AI-driven CPS safety.
problem Testing AI-driven CPS for safety in complex environments.
method Survey of applied algorithms for safety validation.
result Survey of existing tools and techniques for safety validation.
Bayesian deep learning predicts satellite collisions.
problem Space debris poses planetary risk.
method Bayesian deep learning with LSTM networks.
result Predicts conjunction event evolution with uncertainties.
A novel pedestrian path-planning model using reinforcement learning.
problem Challenges in replicating natural pedestrian navigation behavior.
method Reinforcement learning for collision avoidance and path planning.
result Path planning by the agent closely resembles human pedestrian behavior.
Classi-Fly uses machine learning to infer aircraft categories from open data.
problem Lack of metadata for aircraft in open data sources.
method Machine learning approach based on aircraft movement patterns.
result Correct aircraft category inference with over 88% accuracy.
Bayesian RNNs improve safety in RL tasks.
problem Lack of explainability and safety in RL algorithms.
method Fully Bayesian Recurrent Neural Networks (RNNs) with uncertainty estimates.
result Significantly outperforms existing methods in collision avoidance tasks.
Deep neural networks have become widely used, obtaining remarkable results in domains such as computer vision, speech recognition, natural language processing, audio recognition, social network filtering, machine translation, and bio-informatics, where they have produced results comparable to human experts. However, th…
Paper uses LSTM autoencoder for ADS-B data to detect surveillance aircraft.
problem Detecting surveillance aircraft from ADS-B flight data.
method LSTM-based sequence autoencoder for ADS-B data.
result LSTM autoencoder effectively learns features for detecting surveillance aircraft.
Researchers develop PAIN to improve self-driving safety through adversarial training.
problem Overfitting and poor generalizability of neural networks in self-driving vehicles.
method PAIN combines adversarial training in CARLA simulation to generate edge cases.
result Trained self-driving vehicles are more resilient to environmental uncertainty and less prone to collisions.
Paper uses diffusion models to design electric aircraft quickly.
problem Designing electric aircraft efficiently and accurately.
method Simulation-based inference with hierarchical diffusion models.
result Rediscovers known aircraft design trends and laws.
Develops game theory framework for UAS integration into NAS.
problem Predicting outcomes of UAS integration into NAS.
method Game theory, reinforcement learning, level-k reasoning.
result Proposes a modeling framework for human pilot behavior.
New approach checks neural networks for safety properties efficiently.
problem Ensuring neural networks are robust to adversarial and accidental perturbations.
method Efficient formal safety analysis of neural networks using tight output bounds.
result Significantly outperforms existing techniques for larger networks.
Machine learning improves aircraft performance prediction by analyzing flight data.
problem Limited aircraft performance models based on industry-wide guidelines.
method Use machine learning on flight data to estimate drag and lift coefficients.
result Excellent accuracy in real-life data, supporting aerodynamics principles.
Bayesian optimization reduces computational effort in aircraft design optimization.
problem High computational cost in industrial aircraft design optimization.
method Constrained Bayesian optimization (Super Efficient Global Optimization with Mixture of Experts)
result Significant computational efficiency improvements over existing Isight optimizers.
DeepHybrid uses radar data to classify objects accurately.
problem Challenges in classifying objects using automotive radar sensors.
method Combines radar signal processing and Deep Learning; uses neural architecture search.
result Improves object classification performance compared to models using only spectra.
A modern aircraft may require on the order of thousands of custom shims to fill gaps between structural components in the airframe that arise due to manufacturing tolerances adding up across large structures. These shims are necessary to eliminate gaps, maintain structural performance, and minimize pull-down forces req…
Bayesian optimization improves with transfer learning for aircraft design.
problem Cold start problem in Bayesian optimization for aircraft design.
method Ensemble of surrogate models using transfer learning in a constrained Bayesian optimization framework.
result Significant improvement in convergence and prediction accuracy.
New algorithm for multi-player bandits in decentralized, asynchronous systems.
problem Challenges in decentralized, asynchronous multi-player bandits, including coordination and player detection.
method Adaptive exploration-exploitation algorithm that reduces collisions and detects player presence.
result Achieves regret of O ( T log T + log T / Δ 2 ) \mathcal{O}(\sqrt{T \log T} + {\log T}/{Δ^2}) O ( T log T + log T / Δ 2 ) . Quantifier elimination enhances safety assurance of deep neural networks.
problem Rigorously assure safe operation of sophisticated, autonomous systems like DNNs.
method Use quantifier elimination as a formal method to enhance safety assurance.
result Initial results show QE can precisely analyze robustness of DNNs.
Optimizes electric aircraft deployment for Canadian aviation to reduce emissions.
problem Limited fleet capacity and operational structure hinder electric aircraft transition.
method Multi-period mixed-integer linear programming (MILP) framework.
result Electric aircraft can reduce emissions by over 70% within five years.
Collision avoidance is a critical task in many applications, such as ADAS (advanced driver-assistance systems), industrial automation and robotics. In an industrial automation setting, certain areas should be off limits to an automated vehicle for protection of people and high-valued assets. These areas can be quaranti…
Detecting early signs of failures (anomalies) in complex systems is one of the main goal of preventive maintenance. It allows in particular to avoid actual failures by (re)scheduling maintenance operations in a way that optimizes maintenance costs. Aircraft engine health monitoring is one representative example of a fi…
A federated learning framework improves RUL prognosis for aircraft engines without sharing data.
problem Limited run-to-failure data samples for accurate RUL prognosis.
method Federated learning framework, decentralized validation, and robust aggregation methods.
result The federated learning framework leads to more accurate RUL prognosis for five out of six airlines.
The paper evaluates Bayesian neural networks for safety in autonomous driving.
problem Safety guarantees for deep neural network controllers in autonomous driving.
method Developed a framework using a state-of-the-art simulator to evaluate Bayesian controllers.
result Bayesian inference methods can provide statistical guarantees for uncertainty computation in autonomous driving.
Residual neural networks improve collision prediction in planetary simulations.
problem Accurate prediction of planetary collisions in N-body simulations.
method Residual neural networks trained on collision data.
result Residual neural networks outperform existing methods in prediction accuracy and generalization.
Study nonholonomic systems with collisions using variational principles.
problem Variational problems on nonholonomic systems with collisions.
method Extended variational principle, introduced connection on principal bundles, applied Lagrange–Poincaré–Pontryagin reduction.
result Implicit Lagrange–d'Alembert–Pontryagin equations for nonholonomic systems with collisions.
Model forecasts motor vehicle collision rates with high accuracy.
problem Forecasting motor vehicle collision rates with high accuracy.
method Adopted Heston Stochastic Volatility model and extended it to account for seasonality and accelerated safety periods.
result Short-term forecasts show high accuracy (over 95%) and outperform existing models.
Paper analyzes dynamics of nonholonomic systems with collisions using variational techniques.
problem Analyzing the dynamics of nonholonomic mechanical systems with impacts.
method Variational techniques extended to nonsmooth context for collisions.
result Variational formulation for implicit nonholonomic mechanical systems with energy-momentum preserving collisions.
Paper examines how dimension reduction affects aircraft load prediction.
problem Efficiently predicting aircraft loads for derivative models.
method Compared PCA, polynomial fitting, and combined techniques on regression trees.
result AdaBoost with Random Forest offers promising results for load estimation.
New method optimizes aircraft design with reduced computation using multi-fidelity models.
problem Efficiently solve complex aircraft design problems with limited computational resources.
method Proposes novel multi-fidelity selection strategies that consider both objective and constraint information.
result Shows 86 % 86\% 86% to 200 % 200\% 200% more constraint compliant solutions with a limited budget. Adapts Bayesian optimization for mixed constraints in aircraft design.
problem Optimizing expensive black box functions with mixed constraints.
method Super efficient global optimization with upper trust bound for constraints, Gaussian process uncertainty, refinement procedure.
result Superior performance on aircraft design problem compared to state-of-the-art solvers.
Improved particle-flow event reconstruction for future colliders using scalable neural networks.
problem Efficient and accurate particle reconstruction in future particle detectors.
method Comparative study of scalable machine learning models (graph neural network and kernel-based transformer) for event reconstruction.
result Graph neural network model improves jet transverse momentum resolution by up to 50%.
New algorithms estimate and test collision probability with near-optimal sample complexity.
problem Estimating and testing collision probability in discrete distributions.
method Developed algorithms for ( α , β ) (α, β) ( α , β ) -local differential privacy and sequential testing. result Achieved nearly optimal sample complexity for estimating and testing collision probability.