The use of drones, formally known as unmanned aerial vehicles (UAVs), has significantly
increased across a variety of applications over the past few years. This is due to the rapid …

Recent advances in unmanned aerial vehicles (UAVs), or drones, have made them able to
communicate and collaborate, forming flying ad hoc networks (FANETs). FANETs are …

Simulation platforms are critical and indispensable tools for application developments of
unmanned aerial vehicles (UAVs) because the UAVs are generally costly, have certain …

Unmanned aerial vehicles (UAVs), also known as drones, communicate, collaborate, and
form flying ad hoc networks (FANETs) to perform many different missions, ranging from …

Formal verification provides assurance to the modeling and design of robotic applications in
executing autonomous operations. With the advancement of technologies, robotic …

Currently, computer modeling is one of the most important scientific tools for investigating
the behavior of complex dynamic systems. The choice of an algorithmic language depends …

A complete virtual test environment is a powerful tool for Autonomous Surface Vessels
(ASVs) research, and the simulation of ship motion and shipborne sensors is one of the …

In this work, we propose to implement a path planning algorithm for simulating an UAS
Traffic Management system using ROS and Gazebo environment. From the 3D model …

This article presents a software-in-the-loop simulation environment focused on multiple
unmanned aerial vehicle (UAVs) systems for test and validation of cooperative control …

This paper meticulously examines, with a keen focus, the intricate correlation between
global unmanned aerial vehicle (UAV) regulations and the dynamic evolution of autonomy …