Atlas / Learn / Research papers
Academia · 5,559 papers
Aviation research, sourced & cited.
Curated index of aviation-relevant research from NASA NTRS, NTSB safety studies, FAA CAMI, and academic sources. Every record links back to its original — we don't host PDFs, we describe each paper and credit the authors. Built for cross-link with the rest of Atlas: search by topic, drill into a CFR section or airframe and see the research that bears on it.
1,872 matches · arXiv
- arXiv 2017 ARXIV arXiv preprint
Path Planning for Multiple Heterogeneous Unmanned Vehicles with Uncertain Service Times
This article presents a framework and develops a formulation to solve a path planning problem for multiple heterogeneous Unmanned Vehicles (UVs) with uncertain service times for each vehicle--target pair.
- arXiv 2017 ARXIV arXiv preprint
Statistical model for the orientation of non-spherical particles settling in turbulence
The orientation of small anisotropic particles settling in a turbulent fluid determines some essential properties of the suspension. We show that the orientation distribution of small heavy spheroids settling through tur…
- arXiv 2017 ARXIV arXiv preprint
FIRED: Frequent Inertial Resets with Diversification for Emerging Commodity Cyber-Physical Systems
A Cyber-Physical System (CPS) is defined by its unique characteristics involving both the cyber and physical domains. Their hybrid nature introduces new attack vectors, but also provides an opportunity to design new secu…
- arXiv 2017 ARXIV arXiv preprint
Cyber-Physical Attacks on UAS Networks- Challenges and Open Research Problems
Assignment of critical missions to unmanned aerial vehicles (UAV) is bound to widen the grounds for adversarial intentions in the cyber domain, potentially ranging from disruption of command and control links to capture …
- arXiv 2017 ARXIV arXiv preprint
Towards the development of a macro-structured water-repellent surface
Drop-surface interaction is predominant in nature as well as in many industrial applications. Freezing rain is the frequent origin of ice accretion on surfaces.
- arXiv 2017 ARXIV arXiv preprint
PI(D) tuning for Flight Control Systems via Incremental Nonlinear Dynamic Inversion
Previous results reported in the robotics literature show the relationship between time-delay control (TDC) and proportional-integral-derivative control (PID).
- arXiv 2017 ARXIV arXiv preprint
Dynamic System Identification, and Control for a cost effective open-source VTOL MAV
This paper describes dynamic system identification, and full control of a cost-effective vertical take-off and landing (VTOL) multi-rotor micro-aerial vehicle (MAV) --- DJI Matrice 100.
- arXiv 2017 ARXIV arXiv preprint
Fast dynamics of water droplets freezing from the outside-in
A drop of water that freezes from the outside-in presents an intriguing problem: the expansion of water upon freezing is incompatible with the self-confinement by a rigid ice shell.
- arXiv 2017 ARXIV arXiv preprint
Design, Control and Visual Navigation of the DelftaCopter
To participate in the Outback Medical Express UAV Challenge 2016, a vehicle was designed and tested that can hover precisely, take-off and land vertically, fly fast forward efficiently and use computer vision to locate a…
- arXiv 2016 ARXIV arXiv preprint
Lazily Adapted Constant Kinky Inference for Nonparametric Regression and Model-Reference Adaptive Control
Techniques known as Nonlinear Set Membership prediction, Lipschitz Interpolation or Kinky Inference are approaches to machine learning that utilise presupposed Lipschitz properties to compute inferences over unobserved f…
- arXiv 2016 ARXIV arXiv preprint
Implementation of dual time stepping and GMRES of implicit gas-kinetic scheme for unsteady flow simulations
A dual time-stepping strategy of gas-kinetic scheme for the simulation of unsteady flows is introduced in this work. The dual time-stepping strategy is always used in the approaches of unsteady flows, and the ability of …
- arXiv 2016 ARXIV arXiv preprint
Automatic Interpretation of Unordered Point Cloud Data for UAV Navigation in Construction
The objective of this work is to develop a data processing system that can automatically generate waypoints for navigation of an unmanned aerial vehicle (UAV) to inspect surfaces of structures like buildings and bridges.…
- arXiv 2016 ARXIV arXiv preprint
Optimal Control-Based UAV Path Planning with Dynamically-Constrained TSP with Neighborhoods
This paper addresses path planning of an unmanned aerial vehicle (UAV) with remote sensing capabilities (or wireless communication capabilities).
- arXiv 2016 ARXIV arXiv preprint
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik…
- arXiv 2016 ARXIV arXiv preprint
Collaborative Visual Area Coverage using Unmanned Aerial Vehicles
This article addresses the visual area coverage problem using a team of Unmanned Aerial Vehicles (UAVs). The UAVs are assumed to be equipped with a downward facing camera covering all points of interest within a circle o…
- arXiv 2016 ARXIV arXiv preprint
A two-scale Stefan problem arising in a model for tree sap exudation
The study of tree sap exudation, in which a (leafless) tree generates elevated stem pressure in response to repeated daily freeze-thaw cycles, gives rise to an interesting multi-scale problem involving heat and multiphas…
- arXiv 2016 ARXIV arXiv preprint
Learning Quadrotor Dynamics Using Neural Network for Flight Control
Traditional learning approaches proposed for controlling quadrotors or helicopters have focused on improving performance for specific trajectories by iteratively improving upon a nominal controller, for example learning …
- arXiv 2016 ARXIV arXiv preprint
A Geometric PID Control Framework for Mechanical Systems
These lectures demonstrate the development of a PID control framework for mechanical systems. Based on the observation that mechanical systems are essentially double integrator systems, we generalize the linear PID contr…
- arXiv 2016 ARXIV arXiv preprint
Active Fault Tolerant Flight Control System Design - A UAV Case Study
Fault tolerance is achieved through multiply redundant hardware systems in large civil aircraft. This means of achieving fault tolerance is infeasible for small compact unmanned aerial vehicles.
- arXiv 2016 ARXIV arXiv preprint
Guidance algorithm for smooth trajectory tracking of a fixed wing UAV flying in wind flows
This paper presents an algorithm for solving the problem of tracking smooth curves by a fixed wing unmanned aerial vehicle travelling with a constant airspeed and under a constant wind disturbance.
- arXiv 2016 ARXIV arXiv preprint
Active Fault Tolerant Flight Control System Design
In this paper we investigate the design of an active fault tolerant control system applicable to autonomous flight. The system comprises a nonlinear model predictive based controller integrated with an unscented Kalman f…
- arXiv 2016 ARXIV arXiv preprint
On the Construction of Safe Controllable Regions for Affine Systems with Applications to Robotics
This paper studies the problem of constructing in-block controllable (IBC) regions for affine systems. That is, we are concerned with constructing regions in the state space of affine systems such that all the states in …
- arXiv 2016 ARXIV arXiv preprint
An empirically grounded agent based model for modeling directs, conflict detection and resolution operations in Air Traffic Management
We present an agent based model of the Air Traffic Management socio-technical complex system that aims at modeling the interactions between aircrafts and air traffic controllers at a tactical level.
- arXiv 2016 ARXIV arXiv preprint
Gone with the Wind: Nonlinear Guidance for Small Fixed-Wing Aircrafts in Arbitrarily Strong Windfields
The recent years have witnessed increased development of small, autonomous fixed-wing Unmanned Aerial Vehicles (UAVs). In order to unlock widespread applicability of these platforms, they need to be capable of operating …
- arXiv 2016 ARXIV arXiv preprint
Asynchronous Splitting Design for Model Predictive Control
This paper focuses on the design of an asynchronous dual solver suitable for embedded model predictive control (MPC) applications. The proposed solver relies on a state-of-the-art variance reduction (VR) scheme, previous…
- arXiv 2016 ARXIV arXiv preprint
Reversal and amplification of zonal flows by boundary enforced thermal wind
Zonal flows in rapidly-rotating celestial objects such as the Sun, gas or ice giants form in a variety of surface patterns and amplitudes.
- arXiv 2016 ARXIV arXiv preprint
Designing a Nonlinear Model Predictive Controller for Fault Tolerant Flight Control
This paper describes the design process for developing a nonlinear model predictive controller for fault tolerant flight control. After examining and implementing a number of numerical techniques, this paper identifies p…
- arXiv 2016 ARXIV arXiv preprint
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are suitable for this domain.
- arXiv 2016 ARXIV arXiv preprint
Sedimentation analysis of small ice crystals by Lattice Boltzmann Method
Lattice Boltzmann Method (LBM) is used to simulate and analyze the sedimentation of small ($15-80 \,μm$) columnar ice particles in the atmosphere.
- arXiv 2016 ARXIV arXiv preprint
Limit regimes of ice formation in turbulent supercooled water
A study of ice formation in stationary turbulent conditions is carried out in various limit regimes of crystal growth, supercooling and ice entrainment at the water surface.
- arXiv 2016 ARXIV arXiv preprint
A Networked Swarm Model for UAV Deployment in the Assessment of Forest Environments
Autonomous Unmanned Aerial Vehicles (UAVs) have gained popularity due to their many potential application fields. Alongside sophisticated sensors, UAVs can be equipped with communication adaptors aimed for inter-UAV comm…
- arXiv 2016 ARXIV arXiv preprint
A Harmonic Potential Approach For Simultaneous Planning And Control Of A Generic UAV Platform
Simultaneous planning and control of a large variety of unmanned aerial vehicles (UAVs) is tackled using the harmonic potential field (HPF) approach.
- arXiv 2016 ARXIV arXiv preprint
Secure Estimation for Unmanned Aerial Vehicles against Adversarial Cyber Attacks
In the coming years, usage of Unmanned Aerial Vehicles (UAVs) is expected to grow tremendously. Maintaining security of UAVs under cyber attacks is an important yet challenging task, as these attacks are often erratic an…
- arXiv 2016 ARXIV arXiv preprint
Reconciling heat-flux and salt-flux estimates at a melting ice-ocean interface
The ratio of heat and salt flux is employed in ice-ocean models to represent ice-ocean interactions. In this study, this flux ratio is determined from direct numerical simulations of free convection beneath a melting, ho…
- arXiv 2016 ARXIV arXiv preprint
Implementation of real-time moving horizon estimation for robust air data sensor fault diagnosis in the RECONFIGURE benchmark
This paper presents robust fault diagnosis and estimation for the calibrated airspeed and angle-of-attack sensor faults in the RECONFIGURE benchmark. We adopt a low-order longitudinal model augmented with wind dynamics.
- arXiv 2016 ARXIV arXiv preprint
A Distributed Quaternion Kalman Filter With Applications to Fly-by-Wire Systems
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 effic…
- arXiv 2016 ARXIV arXiv preprint
The mixed-phase version of moist-air entropy
The aim of this note is to derive the mixed-phase version of the moist-air entropy potential temperature $θ_s$ derived in Marquet (2011).
- arXiv 2016 ARXIV arXiv preprint
An Approximation Algorithm for a Shortest Dubins Path Problem
The problem of finding the shortest path for a vehicle visiting a given sequence of target points subject to the motion constraints of the vehicle is an important problem that arises in several monitoring and surveillanc…
- arXiv 2016 ARXIV arXiv preprint
Robust MRAC augmentation of flight control laws for center of gravity adaptation
When an aircraft is flying and burning fuel the center of gravity (c.g.) of the aircraft shifts slowly. The c.g. can also be shifted abruptly when e.g. a fighter aircraft releases a weapon. The shift in c.g.
- arXiv 2016 ARXIV arXiv preprint
Fluctuations of electrical conductivity: a new source for astrophysical magnetic fields
We consider the generation of magnetic field by the flow of a fluid for which the electrical conductivity is nonuniform. A new amplification mechanism is found which leads to dynamo action for flows much simpler than tho…
- arXiv 2016 ARXIV arXiv preprint
Proof of Control of a UAV and a UGV Cooperating to Manipulate an Object
This paper focuses on the control of a system composed of an Unmanned Aerial Vehicle (UAV) and an Unmanned Ground Vehicle (UGV) which cooperate to manipulate an object.
- arXiv 2016 ARXIV arXiv preprint
Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways
Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ensure the safety and goal satisfaction of …
- arXiv 2016 ARXIV arXiv preprint
Smoothed Particle Hydrodynamics Method for Two-dimensional Stefan Problem
Smoothed particle hydrodynamics (SPH) is developed for modelling of melting and solidification. Enthalpy method is used to solve heat conduction equations which involved moving interface between phases.
- arXiv 2016 ARXIV arXiv preprint
A Review of Control Algorithms for Autonomous Quadrotors
The quadrotor unmanned aerial vehicle is a great platform for control systems research as its nonlinear nature and under-actuated configuration make it ideal to synthesize and analyze control algorithms.
- arXiv 2016 ARXIV arXiv preprint
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis of controllers in a model predictive cont…
- arXiv 2016 ARXIV arXiv preprint
Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe.
- arXiv 2016 ARXIV arXiv preprint
Rotation of a ice disc during the melting on a solid plate
Ice discs were released at the surface of a thermalized aluminium plate. The fusion of the ice creates a lubrication film between the ice disc and the plate. The disc becomes very mobile.
- arXiv 2016 ARXIV arXiv preprint
A Scalable Low-Cost-UAV Traffic Network (uNet)
This article proposes a new Unmanned Aerial Vehicle (UAV) operation paradigm to enable a large number of relatively low-cost UAVs to fly beyond-line-of-sight without costly sensing and communication systems or substantia…
- arXiv 2015 ARXIV arXiv preprint
Effect of small floating disks on the propagation of gravity waves
A dispersion relation for gravity waves in water covered by disk-like impurities embedded in a viscous matrix is derived. The macroscopic equations are obtained by ensemble-averaging the fluid equations at the disk scale…
- arXiv 2015 ARXIV arXiv preprint
Secure Estimation based Kalman Filter for Cyber-Physical Systems against Adversarial Attacks
Cyber-physical systems are found in many applications such as power networks, manufacturing processes, and air and ground transportation systems.