Atlas / Learn / Research papers
Academia · 5,423 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,073 matches · arXiv eess.SY
- 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.
- arXiv 2014 ARXIV arXiv preprint
Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles
This paper presents a decentralized hybrid supervisory control approach for a team of unmanned helicopters that are involved in a leader-follower formation mission.
- arXiv 2013 ARXIV arXiv preprint
Design and Implementation of an Unmanned Vehicle using a GSM Network with Microcontrollers
Now-a-days, a lot of research is being carried out in the development of USVs (Unmanned surface vehicles), UAVs (Unmanned Aerial Vehicles) etc.
- arXiv 2013 ARXIV arXiv preprint
Sensors and Navigation Algorithms for Flight Control of Tethered Kites
We present the sensor setup and the basic navigation algorithm used for the flight control of the SkySails towing kite system. Starting with brief summaries on system setup and equations of motion of the tethered kite sy…
- arXiv 2012 ARXIV arXiv preprint
Learning Monocular Reactive UAV Control in Cluttered Natural Environments
Autonomous navigation for large Unmanned Aerial Vehicles (UAVs) is fairly straight-forward, as expensive sensors and monitoring devices can be employed.
- arXiv 2012 ARXIV arXiv preprint
Control of Towing Kites for Seagoing Vessels
In this paper we present the basic features of the flight control of the SkySails towing kite system. After introduction of coordinate definitions and basic system dynamics we introduce a novel model used for controller …
- arXiv 2011 ARXIV arXiv preprint
Nonlinear Robust Tracking Control of a Quadrotor UAV on SE(3)
This paper provides nonlinear tracking control systems for a quadrotor unmanned aerial vehicle (UAV) that are robust to bounded uncertainties.
- arXiv 2011 ARXIV arXiv preprint
Hybrid 3-D Formation Control for Unmanned Helicopters
Teams of Unmanned Aerial Vehicles (UAVs) form typical networked cyber-physical systems that involve the interaction of discrete logic and continuous dynamics.
- arXiv 2010 ARXIV arXiv preprint
Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)
This paper provides new results for control of complex flight maneuvers for a quadrotor unmanned aerial vehicle (UAV). The flight maneuvers are defined by a concatenation of flight modes or primitives, each of which is a…