English
Related papers

Related papers: SafeDrones: Real-Time Reliability Evaluation of UA…

200 papers

A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathematically designed control system of the aircraft satisfies…

Systems and Control · Electrical Eng. & Systems 2020-06-22 Omar A. Jasim , Sandor M. Veres

As drones are getting more and more entangled in our society, more untrained users require the capability to operate them. This scenario is to be achieved through the development of artificial intelligence capabilities assisting the human…

Unmanned aerial vehicles (UAVs) suffer from sensor drifts in GPS denied environments, which can lead to potentially dangerous situations. To avoid intolerable sensor drifts in the presence of GPS spoofing attacks, we propose a safety…

Systems and Control · Electrical Eng. & Systems 2020-04-14 Wenbin Wan , Hunmin Kim , Naira Hovakimyan , Lui Sha , Petros G. Voulgaris

In this paper, a combat Unmanned Air Vehicle (UAV) is modeled in the simulation environment. The rotary wing UAV is successfully performed various tasks such as locking on the targets, tracking, and sharing the relevant data with…

Robotics · Computer Science 2022-06-28 A. Huzeyfe Demir , Berke Yavas , Mehmet Yazici , Dogukan Aksu , M. Ali Aydin

The safe operation of drone swarms beyond visual line of sight requires multiple safeguards to mitigate the risk of collision between drones flying in close-proximity scenarios. Cooperative navigation and flight coordination strategies that…

Robotics · Computer Science 2025-08-06 Manduhu Manduhu , Alexander Dow , Petar Trslic , Gerard Dooly , Benjamin Blanck , James Riordan

Unmanned Aerial Systems (UAS) are being increasingly deployed for commercial, civilian, and military applications. The current UAS state-of-the-art still depends on a remote human controller with robust wireless links to perform several of…

Machine Learning · Computer Science 2020-09-10 Jithin Jagannath , Anu Jagannath , Sean Furman , Tyler Gwin

Uncrewed Aerial Vehicle (UAV) research faces challenges with safety, scalability, costs, and ecological impact when conducting hardware testing. High-fidelity simulators offer a vital solution by replicating real-world conditions to enable…

In upcoming 6G networks, unmanned aerial vehicles (UAVs) are expected to play a fundamental role by acting as mobile base stations, particularly for demanding vehicle-to-everything (V2X) applications. In this scenario, one of the most…

Robotics · Computer Science 2024-02-07 Leonardo Spampinato , Enrico Testi , Chiara Buratti , Riccardo Marini

With the increasing prevalence of drones in various industries, the navigation and tracking of unmanned aerial vehicles (UAVs) in challenging environments, particularly GNSS-denied areas, have become crucial concerns. To address this need,…

Robotics · Computer Science 2023-10-16 Iacopo Catalano , Xianjia Yu , Jorge Pena Queralta

Consumer unmanned aerial vehicles (UAVs) have evolved into capable computing platforms, yet their embedded firmware remains largely inaccessible to the security community. Entry-level models, in particular those marketed to first-time and…

Cryptography and Security · Computer Science 2026-05-13 Sandesh More , Sneha Sudhakaran , Marco Carvalho

Safely integrating unmanned aerial vehicles into civil airspace is contingent upon development of a trustworthy collision avoidance system. This paper proposes an approach whereby a parameterized resolution logic that is considered trusted…

Robotics · Computer Science 2016-02-22 Zachary N. Sunberg , Mykel J. Kochenderfer , Marco Pavone

Unmanned Aerial Vehicle (UAV) technologies are gaining high interest for many domains, which makes UAV security of utmost importance. ArduPilot is among the most widely used open-source autopilot UAV frameworks; yet, many studies…

Cryptography and Security · Computer Science 2025-12-02 Yasaswini Konapalli , Lotfi Ben Othmane , Cihan Tunc , Feras Benchellal , Likhita Mudagere

We present a high-fidelity Mixed Reality sensor emulation framework for testing and evaluating the resilience of Unmanned Aerial Vehicles (UAVs) against false data injection (FDI) attacks. The proposed approach can be utilized to assess the…

Robotics · Computer Science 2024-07-15 Kartik A. Pant , Li-Yu Lin , Jaehyeok Kim , Worawis Sribunma , James M. Goppert , Inseok Hwang

The deployment of unmanned aerial vehicles (UAVs) in many different settings has provided various solutions and strategies for networking paradigms. Therefore, it reduces the complexity of the developments for the existing problems, which…

Networking and Internet Architecture · Computer Science 2025-02-25 Baris Yamansavascilar , Atay Ozgovde , Cem Ersoy

The use of Unmanned Aerial Vehicles (UAVs) as a substitute for ordinary vehicles in applications of search and rescue is being studied all over the world due to its flexible mobility and less obstruction, including two main tasks: search…

Robotics · Computer Science 2021-10-06 Nikite Mesvan

Unmanned aerial vehicles (UAVs) are becoming more common, and their operational range is expanding tremendously, making the security aspect of the inquiry essential. This study does a thorough assessment of the literature to determine the…

Cryptography and Security · Computer Science 2022-12-12 Tirth Patel , Niyatiben Salot , Vrusha Parikh

We present a multirotor Unmanned Aerial Vehicle control (UAV) and estimation system for supporting replicable research through realistic simulations and real-world experiments. We propose a unique multi-frame localization paradigm for…

Robotics · Computer Science 2025-04-24 Tomas Baca , Matej Petrlik , Matous Vrba , Vojtech Spurny , Robert Penicka , Daniel Hert , Martin Saska

Landing safely in crowded urban environments remains an essential yet challenging endeavor for Unmanned Aerial Vehicles (UAVs), especially in emergency situations. In this work, we propose a risk-aware approach that harnesses semantic…

Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been done to prevent an attacker who has either compromised a…

Cryptography and Security · Computer Science 2025-04-15 Arthur Amorim , Max Taylor , Trevor Kann , Gary T. Leavens , William L. Harrison , Lance Joneckis

As artificial intelligence (AI) technology advances, ensuring the robustness and safety of AI-driven systems has become paramount. However, varying perceptions of robustness among AI developers create misaligned evaluation metrics,…