中文
相关论文

相关论文: Stream Runtime Monitoring on UAS

200 篇论文

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…

机器人学 · 计算机科学 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…

机器学习 · 计算机科学 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…

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…

机器人学 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

统计方法学 · 统计学 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…

机器人学 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

机器学习 · 计算机科学 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…

信号处理 · 电气工程与系统科学 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…

信号处理 · 电气工程与系统科学 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…

机器学习 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 2025-04-07 Sebastian Gasche , Christian Kallies , Andreas Himmel , Rolf Findeisen