English
Related papers

Related papers: Stream Runtime Monitoring on UAS

200 papers

This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neural network control systems (NNCS). This research studies a…

Systems and Control · Electrical Eng. & Systems 2023-03-28 Kerianne L. Hobbs , Benjamin K. Heiner , Lillian Busse , Kyle Dunlap , Jonathan Rowanhill , Ashlie B. Hocking , Aditya Zutshi

Gas leaks and arc discharges present significant risks in industrial environments, requiring robust detection systems to ensure safety and operational efficiency. Inspired by human protocols that combine visual identification with acoustic…

Robotics · Computer Science 2025-02-11 Jin-Hee Lee , Dahyun Nam , Robin Inho Kee , YoungKey Kim , Seok-Jun Buu

We present an approach for verifying systems at runtime. Our approach targets distributed systems whose components communicate with monitors over unreliable channels, where messages can be delayed, reordered, or even lost. Furthermore, our…

Logic in Computer Science · Computer Science 2019-09-26 David Basin , Felix Klaedtke , Eugen Zalinescu

Dynamic line rating (DLR) is a methodology that requires timely monitoring data to determine the real-time ampacity of power lines. However, DLR monitoring devices (MD) are vulnerable to connectivity disruptions, leading to missing or…

Signal Processing · Electrical Eng. & Systems 2026-05-22 Yibin Xie , Jin Zhao , Indrakshi Dey , Nicola Marchetti

Although the deep integration of the Automatic Speech Recognition (ASR) system with Large Language Models (LLMs) has significantly improved accuracy, the deployment of such systems in low-latency streaming scenarios remains challenging. In…

Sound · Computer Science 2026-03-13 Yinfeng Xia , Jian Tang , Junfeng Hou , Gaopeng Xu , Haitao Yao

The emerging trend towards distributed (cloud) systems (DS) has widely arrived whether in the automotive, public or the financial sector, but the execution of services of heterogeneous service providers is exposed to several risks. Beside…

Software Engineering · Computer Science 2022-09-29 Lev Sorokin

UAVs, commonly referred to as drones, have witnessed a remarkable surge in popularity due to their versatile applications. These cyber-physical systems depend on multiple sensor inputs, such as cameras, GPS receivers, accelerometers, and…

Software Engineering · Computer Science 2025-10-21 Ivan Tan , Wei Minn , Christopher M. Poskitt , Lwin Khin Shar , Lingxiao Jiang

Unmanned Aerial Vehicles (UAV)-based civilian or military applications become more critical to serving civilian and/or military missions. The significantly increased attention on UAV applications also has led to security concerns…

Cryptography and Security · Computer Science 2018-07-03 Gaurav Choudhary , Vishal Sharma , Ilsun You , Kangbin Yim , Ing-Ray Chen , Jin-Hee Cho

Small Unmanned Aircraft Systems (sUAS) will be an important component of the smart city and intelligent transportation environments of the near future. The demand for sUAS related applications, such as commercial delivery and land…

Multiagent Systems · Computer Science 2020-02-28 Zhao Jin , Ziyi Zhao , Chen Luo , Franco Basti , Adrian Solomon , M. Cenk Gursoy , Carlos Caicedo , Qinru Qiu

Unmanned Aerial Vehicles (UAVs) rely on measurements from Inertial Measurement Units (IMUs) to maintain stable flight. However, IMUs are susceptible to physical attacks, including acoustic resonant and electromagnetic interference attacks,…

Systems and Control · Electrical Eng. & Systems 2025-05-05 Haocheng Meng , Shaocheng Luo , Zhenyuan Liang , Qing Huang , Amir Khazraei , Miroslav Pajic

Complex Cyber-Physical System (CPS) such as Unmanned Aerial System (UAS) got rapid development these years, but also became vulnerable to GPS spoofing, packets injection, buffer-overflow and other malicious attacks. Ensuring the behaviors…

Formal Languages and Automata Theory · Computer Science 2025-01-03 Dong Yang , Wei Dong , Wei Lu , Yanqi Dong , Sirui Liu

In this work uses innovative multi-channel load-sensing techniques to deploy unmanned aerial vehicles (UAVs) for surveillance. The research aims to improve the quality of data transmission methods and improve the efficiency and reliability…

Networking and Internet Architecture · Computer Science 2024-07-19 Raja Vavekanand , Kira Sam , Vijay Singh

As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in…

Software Engineering · Computer Science 2026-01-09 Nathan Shaw , Sanjeetha Pennada , Robert M Hierons , Donghwan Shin

Rapid advancements in Artificial Intelligence have shifted the focus from traditional human-directed robots to fully autonomous ones that do not require explicit human control. These are commonly referred to as Human-on-the-Loop (HotL)…

Human-Computer Interaction · Computer Science 2021-09-07 Ankit Agrawal , Jane Cleland-Huang

This paper develops and evaluates the performance of an allocation agent to be potentially integrated into the onboard Detect and Avoid (DAA) computer of an Unmanned Aircraft System (UAS). We consider a UAS that can be fully controlled by…

Systems and Control · Electrical Eng. & Systems 2022-01-10 Asma Tabassum , He Bai

Recently, Unmanned Aerial Vehicles (UAVs) have attracted the attention of researchers in academia and industry for providing wireless services to ground users in diverse scenarios like festivals, large sporting events, natural and man-made…

Signal Processing · Electrical Eng. & Systems 2024-06-26 Marwan Dhuheir , Aiman Erbad , Ala Al-Fuqaha , Mohsen Guizani

The rapid proliferation of unmanned aerial vehicles (UAVs) and their applications in diverse domains, such as surveillance, disaster management, agriculture, and defense, have revolutionized modern technology. While the potential benefits…

Cryptography and Security · Computer Science 2025-12-01 Kanchon Gharami , Shafika Showkat Moni

Air transportation is essential for society, and it is increasing gradually due to its importance. To improve the airspace operation, new technologies are under development, such as Unmanned Aircraft Systems (UAS). In fact, in the past few…

Systems and Control · Electrical Eng. & Systems 2022-11-29 Euclides Carlos Pinto Neto , Derick Moreira Baum , Jorge Rady de Almeida , Joao Batista Camargo , Paulo Sergio Cugnasca

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

Unmanned aerial vehicles (UAVs) have been increasingly utilized in various civilian and military applications such as remote sensing, border patrolling, disaster monitoring, and communication coverage extension. However, there are still…

Signal Processing · Electrical Eng. & Systems 2020-07-20 Mahsa Keshavarz , Alireza Shamsoshoara , Fatemeh Afghah , Jonathan Ashdown