Atlas / Learn / Research papers
Academia · 5,347 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,108 matches · arXiv eess.SY
- arXiv 2017 ARXIV arXiv preprint
TrackerBots: Autonomous Unmanned Aerial Vehicle for Real-Time Localization and Tracking of Multiple Radio-Tagged Animals
Autonomous aerial robots provide new possibilities to study the habitats and behaviors of endangered species through the efficient gathering of location information at temporal and spatial granularities not possible with…
- arXiv 2017 ARXIV arXiv preprint
Hidden attractors in aircraft control systems with saturated inputs
In the paper, the control problem with limitations on the magnitude and rate of the control action in aircraft control systems, is studied.
- arXiv 2017 ARXIV arXiv preprint
Coordinated trajectory tracking of multiple vertical take-off and landing UAVs
This paper investigates the coordinated trajectory tracking problem of multiple vertical takeooff and landing (VTOL) unmanned aerial vehicles (UAVs).
- arXiv 2017 ARXIV arXiv preprint
A Model-Based Approach to Security Analysis for Cyber-Physical Systems
Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transport…
- arXiv 2017 ARXIV arXiv preprint
Optimal Measurement Policy for Predicting UAV Network Topology
In recent years, there has been a growing interest in using networks of Unmanned Aerial Vehicles (UAV) that collectively perform complex tasks for diverse applications.
- arXiv 2017 ARXIV arXiv preprint
Rudder Augmented Trajectory Correction for Small UAV to Minimize Lateral Image Errors
Civil applications for unmanned aerial vehicles (UAVs) have increased rapidly over the last few years. In the realm of civil applications, many aircraft carry cameras that are physically fixed to the airframe.
- arXiv 2017 ARXIV arXiv preprint
Beam Tracking for UAV Mounted SatCom on-the-Move with Massive Antenna Array
Unmanned aerial vehicle (UAV)-satellite communication has drawn dramatic attention for its potential to build the integrated space-air-ground network and the seamless wide-area coverage.
- arXiv 2017 ARXIV arXiv preprint
A Generic Formation Controller and State Observer for Multiple Unmanned Systems
In this paper, we present a novel decentralized controller to drive multiple unmanned aerial vehicles (UAVs) into a symmetric formation of regular polygon shape surrounding a mobile target.
- arXiv 2017 ARXIV arXiv preprint
Automatic Crack Detection in Built Infrastructure Using Unmanned Aerial Vehicles
This paper addresses the problem of crack detection which is essential for health monitoring of built infrastructure. Our approach includes two stages, data collection using unmanned aerial vehicles (UAVs) and crack dete…
- arXiv 2017 ARXIV arXiv preprint
Adaptive Second-order Sliding Mode Control of UAVs for Civil Applications
Quadcopters, as unmanned aerial vehicles (UAVs), have great potential in civil applications such as surveying, building monitoring, and infrastructure condition assessment.
- arXiv 2017 ARXIV arXiv preprint
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements.
- arXiv 2017 ARXIV arXiv preprint
On the Selection of Calculable Residual Generators for UAV Fault Diagnosis
Structural Analysis is an established method for Fault Detection and Identification (FDI) in large-scale systems, enabling the discovery of Analytical Redundancy Relations (ARRs) which serve as residual generators.
- arXiv 2017 ARXIV arXiv preprint
Geometric tracking control of thrust vectoring UAVs
In this paper a geometric approach to the trajectory tracking control of Unmanned Aerial Vehicles with thrust vectoring capabilities is proposed.
- arXiv 2017 ARXIV arXiv preprint
Cooperative Localisation of a GPS-Denied UAV in 3-Dimensional Space Using Direction of Arrival Measurements
This paper presents a novel approach for localising a GPS (Global Positioning System)-denied Unmanned Aerial Vehicle (UAV) with the aid of a GPS-equipped UAV in three-dimensional space.
- 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
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 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
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
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
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
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
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
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
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
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
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
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
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
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.
- arXiv 2015 ARXIV arXiv preprint
Reachable Set Approach to Collision Avoidance for UAVs
In this paper, we propose a reachable set based collision avoidance algorithm for unmanned aerial vehicles (UAVs). UAVs have been deployed for agriculture research and management, surveillance and sensor coverage for thr…
- arXiv 2015 ARXIV arXiv preprint
Achieving Sensor Fusion for Collaborative Multi-level Monitoring of Pipeline Infrastructures
Large scale monitoring systems enable efficient field level data collection at high temporal and spatial resolutions. One example is the deployment of such systems in pipeline infrastructure applications which have to be…
- arXiv 2015 ARXIV arXiv preprint
Control with Probabilistic Signal Temporal Logic
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces.
- arXiv 2015 ARXIV arXiv preprint
A survey on unmanned aerial vehicle collision avoidance systems
Collision avoidance is a key factor in enabling the integration of unmanned aerial vehicle into real life use, whether it is in military or civil application.
- arXiv 2015 ARXIV arXiv preprint
Safe Platooning of Unmanned Aerial Vehicles via Reachability
Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations such as package delivery, firefighting, and fast disaster response.
- arXiv 2015 ARXIV arXiv preprint
Real-Time Stochastic Optimal Control for Multi-agent Quadrotor Systems
This paper presents a novel method for controlling teams of unmanned aerial vehicles using Stochastic Optimal Control (SOC) theory. The approach consists of a centralized high-level planner that computes optimal state tr…
- arXiv 2014 ARXIV arXiv preprint
Vehicle Parameter Independent Gain Matrix Selection for a Quadrotor using State-Space Controller Design Methods
With quadrotor use seeing extensive growth in recent years, the autonomous control of these Unmanned Aerial Vehicles (UAVs) is an increasing relevant and intersting field.
- arXiv 2014 ARXIV arXiv preprint
Flight control of tethered kites in autonomous pumping cycles for airborne wind energy
Energy harvesting based on tethered kites benefits from exploiting higher wind speeds at higher altitudes. The setup considered in this paper is based on a pumping cycle.
- arXiv 2014 ARXIV arXiv preprint
Real-Time First Order Guidance Strategies for Trajectory Optimization in UAVs by Utilizing Wind Energy
This paper presents real-time guidance strategies for unmanned aerial vehicles (UAVs) that can be used to enhance their flight endurance by utilizing {\sl insitu} measurements of wind speeds and wind gradients.
- arXiv 2014 ARXIV arXiv preprint
UAV Circumnavigating an Unknown Target Under a GPS-denied Environment with Range-only Measurements
One typical application of unmanned aerial vehicles is the intelligence, surveillance, and reconnaissance mission, where the objective is to improve situation awareness through information acquisition.