English
Related papers

Related papers: Integrated Modeling, Verification, and Code Genera…

200 papers

We propose a maturity-based framework for certifying embodied AI systems through explicit measurement mechanisms. We argue that certifiable embodied AI requires structured assessment frameworks, quantitative scoring mechanisms, and methods…

Artificial Intelligence · Computer Science 2026-01-09 Michael C. Darling , Alan H. Hesu , Michael A. Mardikes , Brian C. McGuigan , Reed M. Milewicz

The development of multi-modal learning for Unmanned Aerial Vehicles (UAVs) typically relies on a large amount of pixel-aligned multi-modal image data. However, existing datasets face challenges such as limited modalities, high construction…

Computer Vision and Pattern Recognition · Computer Science 2025-02-14 Liang Yao , Fan Liu , Shengxiang Xu , Chuanyi Zhang , Xing Ma , Jianyu Jiang , Zequan Wang , Shimin Di , Jun Zhou

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

Unmanned aerial vehicles (UAVs), especially multicopters, have recently gained popularity for use in surveillance, monitoring, inspection, and search and rescue missions. Their maneuverability and ability to operate in confined spaces make…

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

Recently unmanned aerial vehicles (UAV) have been widely deployed in various real-world scenarios such as disaster rescue and package delivery. Many of these working environments are unstructured with uncertain and dynamic obstacles. UAV…

Robotics · Computer Science 2022-01-11 Yanze Liu , Xuhui Chen , Yanhai Du , Rui Liu

Unmanned Aerial Vehicle (UAVs) have become very popular in the last decade due to some advantages such as strong terrain adaptation, low cost, zero casualties, and so on. One of the most interesting advances in this field is the automation…

Robotics · Computer Science 2024-03-01 Cristian Ramirez-Atencia , David Camacho

Unmanned Aerial Vehicles (UAVs) are becoming more dependent on mission success than ever. Due to their increase in demand, addressing security vulnerabilities to both UAVs and the Flying Ad-hoc Networks (FANET) they form is more important…

Networking and Internet Architecture · Computer Science 2023-06-12 Jordan Quinn , Safdar Hussain Bouk

Unmanned aerial vehicle (UAV)-enabled positioning that uses UAVs as aerial anchor nodes is a promising solution for providing positioning services in harsh environments. In previous research, the state sensing and control of UAVs were…

Systems and Control · Electrical Eng. & Systems 2021-08-24 Zijie Wang , Rongke Liu , Qirui Liu , Lincong Han

The rapid technological growth observed in the sUAS sector over the past decade has been unprecedented and has left gaps in policies and regulations to adequately provide for a safe and trusted environment in which to operate these devices.…

Unmanned Aerial Vehicles (UAVs) are emerging as very important tools in search and rescue (SAR) missions at sea, enabling swift and efficient deployment for locating individuals or vessels in distress. The successful execution of these…

Robotics · Computer Science 2024-10-10 Martin Messmer , Andreas Zell

Unmanned aerial vehicles (UAVs) have become very popular for many military and civilian applications including in agriculture, construction, mining, environmental monitoring, etc. A desirable feature for UAVs is the ability to navigate and…

Robotics · Computer Science 2021-11-02 Taha Elmokadem

Over the past decade, machine learning has demonstrated impressive results, often surpassing human capabilities in sensing tasks relevant to autonomous flight. Unlike traditional aerospace software, the parameters of machine learning models…

Machine Learning · Computer Science 2023-10-06 Jean-Guillaume Durand , Arthur Dubois , Robert J. Moss

Mysterious sightings of Unmanned Aircraft Systems (UAS) over U.S. military facilities, suburban neighborhoods, and commercial airports have intensified scrutiny of drone activity. To increase accountability, the Federal Aviation…

Cryptography and Security · Computer Science 2025-12-02 Jason Veara , Manav Jain , Kyle Moy , Aanjhan Ranganathan

This paper presents a real-time control system for surface inspection using multiple unmanned aerial vehicles (UAVs). The UAVs are coordinated in a specific formation to collect data of the inspecting objects. The communication platform for…

Robotics · Computer Science 2019-07-09 Van Truong Hoang , Manh Duong Phung , Tran Hiep Dinh , Quang P. Ha

Developing aerial robots that can both safely navigate and execute assigned mission without any human intervention - i.e., fully autonomous aerial mobility of passengers and goods - is the larger vision that guides the research, design, and…

Robotics · Computer Science 2023-12-07 Sakshi Mishra , Praveen Palanisamy

The design of embedded safety-critical systems such as those used in next-generation automotive and autonomous platforms, is increasingly challenged by escalating system complexity, hardware-software heterogeneity, and the integration of…

Artificial Intelligence · Computer Science 2026-05-04 Behnaz Ranjbar , Kirankumar Raveendiran , Sudeep Pasricha , Samarjit Chakraborty , Cecilia Carbonelli , Akash Kumar

Crisis management (CM) for critical infrastructures, natural disasters such as wildfires and hurricanes, terrorist actions, or civil unrest requires high speed communications and connectivity, and access to high performance computational…

Systems and Control · Electrical Eng. & Systems 2024-10-04 Hossein Rastgoftar , Salim Hariri

In this paper, we propose a data-driven framework for collaborative wideband spectrum sensing and scheduling for networked unmanned aerial vehicles (UAVs), which act as the secondary users to opportunistically utilize detected spectrum…

Signal Processing · Electrical Eng. & Systems 2023-08-10 Sravan Reddy Chintareddy , Keenan Roach , Kenny Cheung , Morteza Hashemi

Unmanned Aerial Vehicles (UAVs) have gained widespread recognition for their diverse applications, ranging from surveillance to delivery services. Among the various control algorithms employed to stabilize and navigate UAVs, the…

Robotics · Computer Science 2023-11-14 Hans Oersted , Yudong Ma

In cloud manufacturing, unmanned aerial vehicles (UAVs) can support both product collection and mobile edge computing (MEC). This joint operation forms a hybrid scheduling problem, where physical logistics decisions are coupled with…

Artificial Intelligence · Computer Science 2026-05-14 Hanwen Zhang , Dusit Niyato , Wei Zhang , Xin Lou , Malcolm Yoke Hean Low