English
Related papers

Related papers: Implementation of the Collision Avoidance System f…

200 papers

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we…

Systems and Control · Electrical Eng. & Systems 2022-05-17 Ali Baheri , Hao Ren , Benjamin Johnson , Pouria Razzaghi , Peng Wei

Vehicle computing represents a fundamental shift in how autonomous vehicles are designed and deployed, transforming them from isolated transportation systems into mobile computing platforms that support both safety-critical, real-time…

Operating Systems · Computer Science 2026-01-26 Yuxin Wang , Yuankai He , Boyang Tian , Lichen Xian , Weisong Shi

This article proposes a novel Nonlinear Model Predictive Control (NMPC) framework for Micro Aerial Vehicle (MAV) autonomous navigation in constrained environments. The introduced framework allows us to consider the nonlinear dynamics of…

Unmanned aerial vehicles (UAVs) play significant roles in multiple fields, which brings great challenges for the airspace safety. In order to achieve efficient surveillance and break the limitation of application scenarios caused by single…

Signal Processing · Electrical Eng. & Systems 2025-03-19 Chao Dong , Yiyang Liao , Ziye Jia , Qihui Wu , Lei Zhang

This paper presents an overview of Waymo's approach to building a reliable case for safety - a novel and thorough blueprint for use by any company building fully autonomous driving systems. A safety case for fully autonomous operations is a…

The development of Automated Driving Systems (ADSs) has made significant progress in the last years. To enable the deployment of Automated Vehicles (AVs) equipped with such ADSs, regulations concerning the approval of these systems need to…

Robotics · Computer Science 2023-09-06 Erwin de Gelder , Olaf Op den Camp

As a variety of automated collision prevention systems gain presence within personal vehicles, rating and differentiating the automated safety performance of car models has become increasingly important for consumers, manufacturers, and…

Robotics · Computer Science 2024-11-28 Luigi Di Lillo , Andrea Triscari , Xilin Zhou , Robert Dyro , Ruolin Li , Marco Pavone

Developing a robust and effective obstacle detection and tracking system for Unmanned Surface Vehicle (USV) at marine environments is a challenging task. Research efforts have been made in this area during the past years by GRAAL lab at the…

Robotics · Computer Science 2025-11-12 Yara AlaaEldin , Enrico Simetti , Francesca Odone

This paper considers how to ensure that a system of fixed wing Unmanned Aerial Vehicles (UAVs) can avoid collisions. To do so we develop a novel method for creating a barrier function, which is similar to a Lyapunov function and can be used…

Robotics · Computer Science 2021-07-22 Eric Squires , Pietro Pierpaoli , Rohit Konda , Samuel Coogan , Magnus Egerstedt

With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but…

Robotics · Computer Science 2018-03-28 Juan-Pablo Afman , Laurent Ciarletta , Eric Feron , John Franklin , Thomas Gurriet , Eric N. Johnson

Fault tolerance is achieved through multiply redundant hardware systems in large civil aircraft. This means of achieving fault tolerance is infeasible for small compact unmanned aerial vehicles. In this paper we apply a fault tolerant…

Optimization and Control · Mathematics 2016-10-12 Rudaba Khan , Paul Williams , Paul Riseborough , Asha Rao , Robin Hill

Unmanned aerial vehicle (UAV)-based integrated sensing and communication (ISAC) systems are poised to revolutionize next-generation wireless networks by enabling simultaneous sensing and communication (S\&C). This survey comprehensively…

The MUSICC project has created a proof-of-concept scenario database to be used as part of a type approval process for the verification of automated driving systems (ADS). This process must include a highly automated means of evaluating test…

Robotics · Computer Science 2020-05-27 Robert Myers , Zeyn Saigol

This paper presents the design and validation of a retrieval-based assistant that supports safety assessment, certification activities, and regulatory compliance for unmanned aircraft systems. The work is motivated by the growing complexity…

Computation and Language · Computer Science 2026-03-12 Gabriele Immordino , Andrea Vaiuso , Marcello Righi

The integration of air and ground smart vehicles is becoming a new paradigm of future transportation. A decent number of smart unmanned vehicles or UAS will be sharing the national airspace for various purposes, such as express delivery,…

Cryptography and Security · Computer Science 2021-10-19 Yongxin Liu , Jian Wang , Yingjie Chen , Shuteng Niu , Zhihan Lv , Lei Wu , Dahai Liu , Houbing Song

This paper presents an automated driving system (ADS) data acquisition and processing platform for vehicle trajectory extraction, reconstruction, and evaluation based on connected automated vehicle (CAV) cooperative perception. This…

Robotics · Computer Science 2022-11-28 Xin Xia , Zonglin Meng , Xu Han , Hanzhao Li , Takahiro Tsukiji , Runsheng Xu , Zhaoliang Zhang , Jiaqi Ma

The exponential growth of Advanced Air Mobility (AAM) services demands assurances of safety in the airspace. This research a Traffic Control Framework (TCF) for developing digital flight rules for Uncrewed Aircraft System (UAS) flying in…

As Automated Driving Systems (ADS) technology advances, ensuring safety and public trust requires robust assurance frameworks, with safety cases emerging as a critical tool toward such a goal. This paper explores an approach to assess how a…

Software Engineering · Computer Science 2025-06-12 Scott Schnelle , Francesca Favaro , Laura Fraade-Blanar , David Wichner , Holland Broce , Justin Miranda

Automated Driving Systems (ADSs) are being manufactured at an accelerated rate, leading to improvements in traffic safety, reduced energy consumption, pollution, and congestion. ADS relies on various data streams from onboard sensors,…

Networking and Internet Architecture · Computer Science 2023-11-27 André Budel , Reem Alhabib , Mark Nicholson , Poonam Yadav

Unmanned Aerial Vehicle (UAV) spectral remote sensing technology is widely used in water quality monitoring. However, in dynamic environments, varying illumination conditions, such as shadows and specular reflection (sun glint), can cause…

Robotics · Computer Science 2026-03-23 Yuanshuang Fu , Qianyao Wang , Qihao Wang , Bonan Zhang , Jiaxin Zhao , Yiming Cao , Zhijun Li