English
Related papers

Related papers: Avis: In-Situ Model Checking for Unmanned Aerial V…

200 papers

Designing robust machine learning systems remains an open problem, and there is a need for benchmark problems that cover both environmental changes and evaluation on a downstream task. In this work, we introduce AVOIDDS, a realistic object…

Computer Vision and Pattern Recognition · Computer Science 2023-12-29 Elysia Q. Smyers , Sydney M. Katz , Anthony L. Corso , Mykel J. Kochenderfer

This paper presents an agile Unmanned Aerial Vehicle (UAV) landing control by considering the effect of ship's oscillations and moving, and also disturbance (i.e., crosswind) is considered. The presented control system can make the…

Systems and Control · Electrical Eng. & Systems 2024-11-11 James Mordaunt , Xinhua Wang

Automated Driving Systems (ADS) open up a new domain for the automotive industry and offer new possibilities for future transportation with higher efficiency and comfortable experiences. However, autonomous driving under adverse weather…

Robotics · Computer Science 2023-01-18 Yuxiao Zhang , Alexander Carballo , Hanting Yang , Kazuya Takeda

Condition monitoring of industrial systems is crucial for ensuring safety and maintenance planning, yet notable challenges arise in real-world settings due to the limited or non-existent availability of fault samples. This paper introduces…

Signal Processing · Electrical Eng. & Systems 2024-10-28 Maryam Ahang , Mostafa Abbasi , Todd Charter , Homayoun Najjaran

Autonomous Vehicles (AVs) refer to systems capable of perceiving their states and moving without human intervention. Among the factors required for autonomous decision-making in mobility, positional awareness of the vehicle itself is the…

Cryptography and Security · Computer Science 2025-12-25 Ji Hyuk Jung , Ji Won Yoon

Due to their capability of acquiring aerial imagery, camera-equipped Unmanned Aerial Vehicles (UAVs) are very cost-effective tools for acquiring traffic information. However, not enough attention has been given to the validation of the…

Signal Processing · Electrical Eng. & Systems 2020-05-14 Eduardo Sánchez Morales , Friedrich Kruber , Michael Botsch , Bertold Huber , Andrés García Higuera

Micro Aerial Vehicles (MAVs) rely on onboard attitude and position sensors for autonomous flight. Due to their size, weight, and power (SWaP) constraints, most modern MAVs use miniaturized inertial measurement units (IMUs) to provide…

Robotics · Computer Science 2019-07-19 Zhan Tu , Fan Fei , Matthew Eagon , Dongyan Xu , Xinyan Deng

In this work, we study vulnerability of unmanned aerial vehicles (UAVs) to stealthy attacks on perception-based control. To guide our analysis, we consider two specific missions: ($i$) ground vehicle tracking (GVT), and ($ii$) vertical…

Robotics · Computer Science 2023-03-06 Amir Khazraei , Haocheng Meng , Miroslav Pajic

Each new concept of operation and equipment generation in aviation becomes more automated, integrated and interconnected. In the case of Unmanned Aircraft Systems (UAS), this evolution allows drastically decreasing aircraft weight and…

This paper investigates the problem of detection and classification of unmanned aerial vehicles (UAVs) in the presence of wireless interference signals using a passive radio frequency (RF) surveillance system. The system uses a multistage…

Signal Processing · Electrical Eng. & Systems 2019-09-13 Martins Ezuma , Fatih Erden , Chethan Kumar Anjinappa , Ozgur Ozdemir , Ismail Guvenc

Micro aerial vehicles (MAVs) have high potential for information gathering tasks to support situation awareness in search and rescue scenarios. Manually controlling MAVs in such scenarios requires experienced pilots and is error-prone,…

Robotics · Computer Science 2022-08-15 Daniel Schleich , Marius Beul , Jan Quenzel , Sven Behnke

Conducting safety simulations in various simulators, such as the Gazebo simulator, became a very popular means of testing vehicles against potential safety risks (i.e. crashes). However, this was not the case with security testing.…

Cryptography and Security · Computer Science 2023-09-19 Irdin Pekaric , David Arnold , Michael Felderer

This paper addresses efficient feasibility evaluation of possible emergency landing sites, online navigation, and path following for automatic landing under engine-out failure subject to turbulent weather. The proposed Multi-level Adaptive…

Robotics · Computer Science 2022-09-12 Haotian Gu , Hamidreza Jafarnejadsani

Autonomous vehicles (AV) depend on the sensors like RADAR and camera for the perception of the environment, path planning, and control. With the increasing autonomy and interactions with the complex environment, there have been growing…

Systems and Control · Computer Science 2021-06-22 Abu Hasnat Mohammad Rubaiyat , Yongming Qin , Homa Alemzadeh

The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safety validation through large-scale testing. Multiple…

Software Engineering · Computer Science 2024-04-16 Huijia Sun , Christopher M. Poskitt , Yang Sun , Jun Sun , Yuqi Chen

Autonomous landing in cluttered or unstructured environments remains a safety-critical challenge for unmanned aerial vehicles (UAVs), particularly under noisy perception caused by sensor uncertainty and platform-induced disturbances such as…

UASs form a large part of the fighting ability of the advanced military forces. In particular, these systems that carry confidential information are subject to security attacks. Accordingly, an Intrusion Detection System (IDS) has been…

Cryptography and Security · Computer Science 2020-03-12 Reza Fotohi

The remarkable growth of unmanned aerial vehicles (UAVs) has also sparked concerns about safety measures during their missions. To advance towards safer autonomous aerial robots, this work presents a vision-based solution to ensuring safe…

Robotics · Computer Science 2023-10-09 Phuoc Nguyen Thuan , Tomi Westerlund , Jorge Peña Queralta

In this work, we present SafePlanner, a systematic testing framework for identifying safety-critical flaws in the Plan model of Automated Driving Systems (ADS). SafePlanner targets two core challenges: generating structurally meaningful…

Software Engineering · Computer Science 2026-01-15 Dohyun Kim , Sanggu Han , Sangmin Woo , Joonha Jang , Jaehoon Kim , Changhun Song , Yongdae Kim

Unmanned Aerial Vehicles (UAVs) have become increasingly popular in various applications, especially with the emergence of 6G systems and networks. However, their widespread adoption has also led to concerns regarding security…

Cryptography and Security · Computer Science 2025-11-05 Safaa Menssouri , Mamady Delamou , Khalil Ibrahimi , El Mehdi Amhoud