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.
Improved UAV navigation and landing using deep learning.
problem Autonomous navigation and landing of UAVs with high accuracy.
method Multimodal fusion of visual and inertial sensor data using deep neural networks.
result 25% improvement in pose estimation accuracy compared to traditional methods.
This study predicts flight delays for American Airlines using data mining and machine learning.
problem Flight delays and cancellations by American Airlines.
method Data mining and machine learning approaches, specifically Gradient Boosting Classifier Model.
result Achieved a maximum accuracy of 85.73% in predicting flight delays.
VerifAI toolkit improves neural network-based aircraft taxiing system safety.
problem Improving safety of autonomous aircraft taxiing systems using neural networks.
method Unified approach to formal analysis and retraining of AI systems, including falsification, debugging, and retraining.
result Improved neural network performance and reduced failure cases in aircraft taxiing system.
Airlines optimize fuel loading with better flight time predictions.
problem Flight time uncertainties and their impact on fuel consumption.
method Developed a spatial weighted recurrent neural network model.
result The model provides more accurate flight time predictions, reducing fuel consumption.
This dissertation uses deep reinforcement learning to improve drone flight control.
problem Inadequate traditional control methods for unpredictable CPS interactions.
method Developed a full solution stack for neuro-flight controllers using deep neural networks.
result Reinforcement learning enables training neural network controllers for stable and precise flight.
Analyzes Lévy flights on manifolds for finding small targets.
problem Finding small targets using Lévy flights on various manifolds.
method Analytic description of Lévy flights on closed Riemannian manifolds, including asymptotics of expected stopping time.
result Computes the expected time for finding a small target by Lévy flight on surfaces.
A new method for real-time anomaly detection in flight data.
problem Challenges in clustering dynamically growing flight data for anomaly detection.
method Incremental Gaussian Mixture Model (GMM) using EM algorithm.
result Significantly reduced processing time and memory usage compared to offline methods.
This paper proposes a new method to learn combinatorial patterns for airline crew pairing optimization.
problem Enhancing airline crew pairing optimization for large-scale, complex flight networks.
method Variational Graph Auto-Encoder for learning combinatorial patterns among flight-connection graphs.
result The proposed method generates new pairings for the optimizer, improving the efficacy of airline crew pairing optimization.
Truncated Lévy flights are random walks in which the arbitrarily large steps of a Lévy flight are eliminated. Since this makes the variance finite, the central limit theorem applies, and as time increases the probability distribution of the increments becomes Gaussian. Here, truncated Lévy flights with correlated fluct…
Survey examines challenges of ML in avionic systems certification.
problem Challenges in current certification standards for ML in avionic systems.
method Literature review focusing on robustness and explainability of ML results.
result Current certification standards do not support ML in avionic systems.
The problem of an arbitrary truncated Levy flight description using the method of cumulant approach has been solved. The set of cumulants of the truncated Levy distribution given the assumption of arbitrary truncation has been found. The influence of truncation shape on the truncated Levy flight properties in the Gauss…
Study of Lévy flights on Zoll surfaces, revealing geometric information.
problem Understanding the mean first capture time of Lévy flights on Zoll surfaces.
method Analysis of geodesic Lévy processes on Zoll surfaces, focusing on the first correction term.
result The first correction term encodes geometric information, specifically the degree of the conjugate point.
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.
Machine learning predicts flight connections for airline crew scheduling.
problem Predicting the next connecting flight for airline crews.
method Adapted neural network for multiclass classification from historical data.
result High accuracy (99.7%) in flight connection prediction.
Paper addresses CPA line forecasting in online advertising mid-flight.
problem Forecasting ad campaign performance mid-flight considering bidding mechanisms.
method Generates relationships between metrics and optimization signals, estimates sensitivity, and characterizes advertiser spends vs. eCPA.
result Demonstrates promising accuracy in forecasting against actual deliveries.
UAVs learn to collect data from IoT sensors efficiently.
problem Efficient UAV path planning for wireless data collection.
method Deep reinforcement learning (DDQN) with experience replay and convolutional layers.
result UAV control policy generalizes over changing scenario parameters.
Paper presents a TL approach to reduce drone training time and energy consumption.
problem Limited power and compute capability of edge drones.
method Transfer Learning for deep neural network training via Deep Reinforcement Learning.
result 3.7x reduction in energy consumption and 1.8x reduction in training latency.
UAVs use RL to outperform a greedy shooter in 2D engagements.
problem Optimizing UAV pursuit-evasion strategies in 2D environments.
method Reinforcement learning applied to a greedy shooter strategy in a 2D aerial engagement.
result Deep Q-learning UAV outperforms greedy shooter UAV in simulations.
LFGCN uses Levy Flights for graph semi-supervised learning.
problem Semi-supervised learning on graphs with improved performance.
method Lévy Flights into random walks, preferential P-DropEdge method.
result Significant improvement in classification performance, especially for heterogeneous graphs.
In this work we consider the problem of anomaly detection in heterogeneous, multivariate, variable-length time series datasets. Our focus is on the aviation safety domain, where data objects are flights and time series are sensor readings and pilot switches. In this context the goal is to detect anomalous flight segmen…
Modeling financial market dynamics with 2D Levy flights.
problem Capturing the complex, scaling laws in financial market dynamics.
method 2D Lévy flight model applied to S\&P 500 index prices.
result Empirical spectral properties match model predictions.
This study analyzes and predicts airline delays using machine learning models.
problem Improving the accuracy of predicting airline flight delays.
method The study combines airline and weather datasets, using various machine learning models (Logistic Regression, Naive Bayes, K-NN, Decision Tree, Random Forest) to predict flight delays.
result The Random Forest model achieved an accuracy of 82% in predicting flight delays of 15 minutes or more.
The generalized correlation approach, which has been successfully used in statistical radio physics to describe non-Gaussian random processes, is proposed to describe stochastic financial processes. The generalized correlation approach has been used to describe a non-Gaussian random walk with independent, identically d…
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…
EDU method finds diverse optimal solutions for expensive simulators.
problem Optimizing expensive black-box simulators for diverse solutions.
method EDU method searches for diverse locally-optimal solutions within a tolerance level.
result EDU yields a closed-form acquisition function facilitating efficient sequential queries.
Gradient-enhanced deep GPs improve multifidelity model accuracy.
problem Improving accuracy in multifidelity models using gradient data.
method Extending deep Gaussian processes to incorporate gradient data.
result Gradient-enhanced deep GP outperforms other models in predicting aerodynamic coefficients.
SA-ABR uses UAV sensor data to optimize video streaming quality.
problem Dynamic UAV flight states cause fluctuating video streaming quality.
method SA-ABR integrates sensor data with network observations to train a DRL model.
result SA-ABR outperforms existing ABR algorithms by 21.4% in QoE.
We study a simple modification to the conventional time of flight mass spectrometry (TOFMS) where a \emph{variable} and (pseudo)-\emph{random} pulsing rate is used which allows for traces from different pulses to overlap. This modification requires little alteration to the currently employed hardware. However, it requi…
We compare our results on empirical analysis of financial data with simulations of two stochastic models of the dynamics of stock market prices. The two models are (i) the truncated Lévy flight recently introduced by us and (ii) the ARCH(1) and GARCH(1,1) processes. We find that the TLF well describes the scaling and i…
Travel providers such as airlines and on-line travel agents are becoming more and more interested in understanding how passengers choose among alternative itineraries when searching for flights. This knowledge helps them better display and adapt their offer, taking into account market conditions and customer needs. Som…
We consider the problem of efficiently constructing cheap and novel round trip flight itineraries by combining legs from different airlines. We analyse the factors that contribute towards the price of such itineraries and find that many result from the combination of just 30% of airlines and that the closer the departu…
This paper uses deep reinforcement learning to optimize UAV-assisted vehicular networks.
problem Optimizing UAV-assisted vehicular networks for efficient communication in smart cities.
method Formulated a Markov decision process (MDP) problem and solved it using deep deterministic policy gradient (DDPG) method.
result Proposed solutions maximize total throughput per unit energy and encourage UAV mobility.
The study improves deep learning models for safer autonomous vehicles.
problem Robustness of deep neural network models in autonomous driving.
method Analyzes and proposes solutions for deep learning model robustness.
result Enhanced deep learning models for safer autonomous vehicles.
The recent crisis and the following flight to simplicity put most derivative businesses around the world under considerable pressure. We argue that the traditional modeling techniques must be extended to include product design. We propose a quantitative framework for creating products which meet the challenge of being …
This work improves safety validation of autonomous vehicles by finding interpretable failures.
problem Finding interpretable failures of autonomous systems in simulation.
method Signal temporal logic expressions optimized for high likelihood and human interpretability.
result Our methodology finds more interpretable failures with higher likelihood compared to baseline approaches.
Proves rigidity of 3D partially hyperbolic systems via autonomous dynamics.
problem Rigidity of partially hyperbolic diffeomorphisms in 3D.
method Introducing autonomous dynamical systems to prove rigidity.
result Rigidity of partially hyperbolic diffeomorphisms on 3-manifolds.
DeFi exploits lead to reduced CP spreads, contrary to contagion hypothesis.
problem Vulnerabilities in DeFi destabilize traditional short-term funding markets.
method Analysis of commercial paper spreads and regulatory segmentation.
result DeFi exploits lead to a 'Flight-to-Quality' pattern, narrowing rather than widening CP spreads.
A drone catches another agile drone using competitive reinforcement learning.
problem Intercepting an agile drone with another agile drone.
method Formulated as a Competitive Reinforcement Learning problem, trained with PPO, using a high-fidelity simulation environment.
result Trained policies outperform common heuristic baselines in catch rate, time to catch, and crash rate.
The paper reviews machine learning safety techniques for autonomous vehicles.
problem Challenges in machine learning safety for autonomous vehicles.
method Organizes practical safety techniques to complement engineering safety.
result Enhances dependability and safety of machine learning algorithms in autonomous vehicles.
Reliable 4D aircraft trajectory prediction, whether in a real-time setting or for analysis of counterfactuals, is important to the efficiency of the aviation system. Toward this end, we first propose a highly generalizable efficient tree-based matching algorithm to construct image-like feature maps from high-fidelity m…
The paper assesses how equity tail risk impacts US Treasury bond returns.
problem The effects of equity tail risk on the US government bond market.
method Estimating equity tail risk using option-implied stock market volatility and assessing its predictive power in reduced-form regressions and a term structure model.
result Equity tail risk significantly predicts one-month excess returns on Treasuries.
Study analyzes fluctuations in Mexican financial market index.
problem Understanding intra-day fluctuations in Mexican financial market index.
method Statistical analysis of high frequency tick-to-tick data, temporal aggregation, and comparison of distributions.
result Intra-day fluctuations do not follow alpha-stable distributions, suggesting autocorrelations.
Autoencoders improve feature extraction for aviation ML tasks.
problem Manual feature processing is labor-intensive, inefficient, and prone to loss.
method Unsupervised learning using autoencoders to extract features.
result Autoencoders can automatically extract effective features and reduce data cleaning workload.
Generalizes energy-momentum method for non-autonomous Hamiltonian systems.
problem Stability analysis of non-autonomous Hamiltonian systems with symmetries.
method Develops a new approach to relative equilibrium points and stability conditions for non-autonomous systems.
result Conditions ensuring stability of relative equilibrium points in non-autonomous Hamiltonian systems.
This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.
problem Ensuring safety of autonomous systems like self-driving cars and drones.
method Formal verification techniques based on formal methods, analyzing three assumptions and their limitations.
result Preliminary work to improve the strength of evidence provided by formal verification.
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.
We enhance autonomous materials research with problem-aware models.
problem Complex decision-making in autonomous materials.
method Bayesian framework, machine learning, physics-based models, operational considerations.
result Improved models reflect problem-specific structure.