English
Related papers

Related papers: Stream Runtime Monitoring on UAS

200 papers

Employing Unmanned Aircraft Systems (UAS) beyond visual line of sight (BVLOS) is an endearing and challenging task. While UAS have the potential to significantly enhance today's logistics and emergency response capabilities, unmanned flying…

Robotics · Computer Science 2024-06-24 Simon Kohaut , Benedict Flade , Devendra Singh Dhami , Julian Eggert , Kristian Kersting

In order to counter the various threats manifested by Unmanned Aircraft Systems (UAS) adequately, specialized Counter Unmanned Aircraft Systems (C-UAS) are required. Enhancing C-UAS with Emerging and Disruptive Technologies (EDTs) such as…

Machine Learning · Computer Science 2026-02-10 Liisa Janssens , Laura Middeldorp

Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications. This has introduced operational complexities within shared airspaces and an increase in reported incidents, raising safety…

Software Engineering · Computer Science 2024-02-06 Usman Gohar , Michael C. Hunter , Agnieszka Marczak-Czajka , Robyn R. Lutz , Myra B. Cohen , Jane Cleland-Huang

Wildfires represent an important natural risk causing economic losses, human death and important environmental damage. In recent years, we witness an increase in fire intensity and frequency. Research has been conducted towards the…

Robotics · Computer Science 2021-03-08 Moulay A. Akhloufi , Nicolas A. Castro , Andy Couturier

The worldwide growth of maritime traffic and the development of the Automatic Identification System (AIS) has led to advances in monitoring systems for preventing vessel accidents and detecting illegal activities. In this work, we describe…

Machine Learning · Computer Science 2019-08-15 Lucas May Petry , Amilcar Soares , Vania Bogorny , Stan Matwin

Unmanned Aerial Systems (UAS) have a wide variety of applications, and their development in terms of capabilities is continuously evolving. Many missions performed by an Unmanned Aerial Vehicle (UAV) require flying in public airspace. This…

Cryptography and Security · Computer Science 2022-11-11 Ridwane Aissaoui , Jean-Christophe Deneuville , Christophe Guerber , Alain Pirovano

As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise. This necessitates an approach to identify the safety requirements for the increasingly autonomous…

Software Engineering · Computer Science 2021-10-27 Siddhartha Bhattacharyya , Jennifer Davis , Anubhav Gupta , Nandith Narayan , Michael Matessa

Unmanned Aerial Systems (UAS) have gained significant traction for their application in infrastructure inspections. However, considering the enormous scale and complex nature of infrastructure, automation is essential for improving the…

Robotics · Computer Science 2023-12-27 Yuxiang Zhao , Benhao Lu , Mohamad Alipour

Modern technological advances have expanded the scope of applications requiring analysis of large-scale datastreams that comprise multiple indefinitely long time series. There is an acute need for statistical methodologies that perform…

Methodology · Statistics 2021-11-03 Jingshen Wang , Lilun Du , Changliang Zou , Zhenke Wu

Obstacle avoidance for small unmanned aircraft is vital for the safety of future urban air mobility (UAM) and Unmanned Aircraft System (UAS) Traffic Management (UTM). There are many techniques for real-time robust drone guidance, but many…

Robotics · Computer Science 2021-11-16 Jueming Hu , Xuxi Yang , Weichang Wang , Peng Wei , Lei Ying , Yongming Liu

Unmanned Aerial Systems (UASs) or drones become more and more commercially available and cheap. There has been much emphasis on developing and deploying Counter-UAS systems (UASs) with Detection Tracking and Identification (DTI) solutions.…

As unmanned aircraft systems (UASs) continue to integrate into the U.S. National Airspace System (NAS), there is a need to quantify the risk of airborne collisions between unmanned and manned aircraft to support regulation and standards…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-03-10 Andrew Weinert , Ngaire Underhill , Bilal Gill , Ashley Wicks

Stream-based monitoring is a well-established runtime verification approach which relates input streams, representing sensor readings from the monitored system, with output streams that capture filtered or aggregated results. In such…

Logic in Computer Science · Computer Science 2025-07-29 Jan Baumeister , Bernd Finkbeiner , Frederik Scheerer

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

Unmanned aerial vehicles (UAVs) are emerging in commercial spaces and will support many applications and services, such as smart agriculture, dynamic network deployment, and network coverage extension, surveillance and security. The…

Signal Processing · Electrical Eng. & Systems 2020-06-26 Aly Sabri Abdalla , Vuk Marojevic

The rapid growth of small Unmanned Aerial Systems (sUAS) for civil and commercial missions has intensified concerns about their resilience to cyber-security threats. Operating within the emerging UAS Traffic Management (UTM) framework,…

An unmanned aircraft system (UAS) consists of an unmanned aerial vehicle (UAV) and its controller which use radios to communicate. While the remote controller (RC) is traditionally operated by a person who is maintaining visual line of…

Signal Processing · Electrical Eng. & Systems 2021-03-02 Aly Sabri Abdalla , Vuk Marojevic

Runtime monitoring is essential to ensure the safety of ML applications in safety-critical domains. However, current research is fragmented, with independent methods emerging from different communities. In this paper, we propose a unified…

Machine Learning · Computer Science 2026-04-30 Mathieu Dario , Florent Chenevier , Kévin Delmas , Joris Guerin , Jérémie Guiochet

We propose developing an integrated system to keep autonomous unmanned aircraft safely separated and behave as expected in conjunction with manned traffic. The main goal is to achieve safe manned-unmanned vehicle teaming to improve system…

This paper proposes a path planning algorithm for multi-agent unmanned aircraft systems (UASs) to autonomously cover a search area, while considering obstacle avoidance, as well as the capabilities and energy consumption of the employed…

Systems and Control · Electrical Eng. & Systems 2025-04-07 Sebastian Gasche , Christian Kallies , Andreas Himmel , Rolf Findeisen