English
Related papers

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

200 papers

Many software systems originate as prototypes or minimum viable products (MVPs), developed with an emphasis on delivery speed and responsiveness to changing requirements rather than long-term code maintainability. While effective for rapid…

Software Engineering · Computer Science 2026-04-06 Ema Smolic , Mario Brcic , Luka Hobor , Mihael Kovac

Unmanned Aerial Systems (UAS), an integral part of the Advanced Air Mobility (AAM) vision, are capable of performing a wide spectrum of tasks in urban environments. The societal integration of UAS is a pivotal challenge, as these systems…

Computational Engineering, Finance, and Science · Computer Science 2023-10-20 Zhenyu Gao , John-Paul Clarke , Javid Mardanov , Karen Marais

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

Small teams in the field can benefit from the capabilities provided by small Uncrewed Aerial Systems (sUAS) for missions such as reconnaissance, hostile attribution, remote emplacement, and search and rescue. The mobility, communications,…

Robotics · Computer Science 2023-01-30 Keegan Quigley , Virginia Goodwin , Luis Alvarez , Justin Yao , Yousef Salaman Maclara

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.…

This paper presents a family of autonomous Unmanned Aerial Vehicles (UAVs) platforms designed for a diverse range of indoor and outdoor applications. The proposed UAV design is highly modular in terms of used actuators, sensor…

An intent modelling and inference framework is presented to assist the defense planning for protecting a geo-fence against unauthorized flights. First, a novel mathematical definition for the intent of an uncrewed aircraft system (UAS) is…

Systems and Control · Electrical Eng. & Systems 2024-09-16 Kesav Kaza , Varun Mehta , Hamid Azad , Miodrag Bolic , Iraj Mantegh

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…

A system of cooperative unmanned aerial vehicles (UAVs) is a group of agents interacting with each other and the surrounding environment to achieve a specific task. In contrast with a single UAV, UAV swarms are expected to benefit…

Systems and Control · Electrical Eng. & Systems 2019-08-09 Arman Sargolzaei , Alireza Abbaspour , Carl D. Crane

Automated inspection with Unmanned Aerial Systems (UASs) is a transformative capability set to revolutionize various application domains. However, this task is inherently complex, as it demands the seamless integration of perception,…

Computer-aided design (CAD) is a promising new area for the application of artificial intelligence (AI) and machine learning (ML). The current practice of design of cyber-physical systems uses the digital twin methodology, wherein the…

Machine Learning · Computer Science 2022-11-16 Adam D. Cobb , Anirban Roy , Daniel Elenius , Susmit Jha

Predicting the outcomes of integrating Unmanned Aerial Systems (UAS) into the National Aerospace (NAS) is a complex problem which is required to be addressed by simulation studies before allowing the routine access of UAS into the NAS. This…

Robotics · Computer Science 2019-04-19 Negin Musavi

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

As unmanned aerial systems (UASs) increasingly integrate into the US national airspace system, there is an increasing need to characterize how commercial and recreational UASs may encounter each other. To inform the development and…

Robotics · Computer Science 2020-11-10 Andrew Weinert

Unmanned Aerial Vehicles (UAVs) have recently rapidly grown to facilitate a wide range of innovative applications that can fundamentally change the way cyber-physical systems (CPSs) are designed. CPSs are a modern generation of systems with…

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

Unmanned Aerial Vehicles (UAVs), previously favored by enthusiasts, have evolved into indispensable tools for effectively managing disasters and responding to emergencies. For example, one of their most critical applications is to provide…

Cryptography and Security · Computer Science 2023-12-13 Senthil Kumar Jagatheesaperumal , Mohamed Rahouti , Kaiqi Xiong , Abdellah Chehri , Nasir Ghani , Jan Bieniek

This workshop paper presents the challenges we encountered when simulating fully-actuated Unmanned Aerial Vehicles (UAVs) for our research and the solutions we developed to overcome the challenges. We describe the ARCAD simulator that has…

Robotics · Computer Science 2023-05-15 Azarakhsh Keipour , Mohammadreza Mousaei , Sebastian Scherer

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

UAVs have the potential to revolutionize urban management and provide valuable services to citizens. They can be deployed across diverse applications, including traffic monitoring, disaster response, environmental monitoring, and numerous…

Cryptography and Security · Computer Science 2026-01-28 Abdullah Khanfor , Raby Hamadi , Noureddine Lasla , Hakim Ghazzai