English
Related papers

Related papers: ROS2-Based Simulation Framework for Cyberphysical …

200 papers

Quest2ROS2 is an open-source ROS2 framework for bi-manual teleoperation designed to scale robot data collection. Extending Quest2ROS, it overcomes workspace limitations via relative motion-based control, calculating robot movement from VR…

Robotics · Computer Science 2026-01-27 Jialong Li , Zhenguo Wang , Tianci Wang , Maj Stenmark , Volker Krueger

Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to…

Software Engineering · Computer Science 2025-01-28 Ankit Agrawal , Philipp Zech , Michael Vierhauser

Small, low-size, weight, power, and cost (SWaP-C) uncrewed aerial vehicles (UAVs) are increasingly used for intelligence, surveillance, and reconnaissance (ISR) missions due to their affordability, attritability, and suitability for…

Systems and Control · Electrical Eng. & Systems 2026-02-27 Alfonso Sciacchitano , Douglas L. Van Bossuyt

Automated driving is currently a prominent area of scientific work. In the future, highly automated driving and new Advanced Driver Assistance Systems will become reality. While Advanced Driver Assistance Systems and automated driving…

Robotics · Computer Science 2025-10-29 Jorin Kouril , Bernd Schäufele , Ilja Radusch , Bettina Schnor

Cyber-Physical Systems (CPS) often leverage Reinforcement Learning (RL) techniques to adapt dynamically to changing environments and optimize performance. However, it is challenging to construct safety cases for RL components. We therefore…

Software Engineering · Computer Science 2025-03-13 Katherine Dearstyne , Pedro , Alarcon Granadeno , Theodore Chambers , Jane Cleland-Huang

We present a simulation tool for evaluating team formation in autonomous multi-UAV (Unmanned Aerial Vehicle) missions that operate Beyond Visual Line of Sight (BVLOS). The tool models UAV collaboration and mission execution in dynamic and…

Robotics · Computer Science 2025-05-01 Kıvanç Şerefoğlu , Önder Gürcan , Reyhan Aydoğan

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

Systems and Control · Electrical Eng. & Systems 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai

Unmanned Aerial Vehicles (UAVs) are remote-controlled vehicles capable of flight and are present in a variety of environments from military operations to domestic enjoyment. These vehicles are great assets, but just as their pilot can…

Cryptography and Security · Computer Science 2024-09-05 David Rudo , Kai Zeng

Unmanned Aerial Vehicles (UAVs) have revolutionized numerous application fields since their introduction. Alongside this, advancements in mechanics and electronics have simplified and decreased the cost of system design. As a consequence,…

Systems and Control · Electrical Eng. & Systems 2023-08-29 Tanay Kumar , Mangal Kothari

In this paper we present a simulation framework for the evaluation of the navigation and localization metrological performances of a robotic platform. The simulator, based on ROS (Robot Operating System) Gazebo, is targeted to a…

Robotics · Computer Science 2020-06-18 Riccardo Giubilato , Andrea Masili , Sebastiano Chiodini , Marco Pertile , Stefano Debei

Significant challenges are posed by simulation and testing in the field of low-altitude unmanned aerial vehicle (UAV) traffic due to the high costs associated with large-scale UAV testing and the complexity of establishing low-altitude…

Robotics · Computer Science 2026-01-01 Zonghan Li , Tianwen Tao , Rao Fu , Liang Wang , Dongyuan Zhang , Quan Quan

We present a new framework for motion planning that wraps around existing kinodynamic planners and guarantees recursive feasibility when operating in a priori unknown, static environments. Our approach makes strong guarantees about overall…

Robotics · Computer Science 2019-03-08 David Fridovich-Keil , Jaime F. Fisac , Claire J. Tomlin

In the last few years, Unmanned Aerial Vehicles (UAVs) are making a revolution as an emerging technology with many different applications in the military, civilian, and commercial fields. The advent of autonomous drones has initiated…

Robotics · Computer Science 2019-04-23 Azza Allouch , Anis Koubaa , Mohamed Khalgui , Tarek Abbes

Unmanned Aerial Vehicles(UAVs) are attaining more and more maneuverability and sensory ability as a promising teleoperation platform for intelligent interaction with the environments. This work presents a novel 5-degree-of-freedom (DoF)…

Robotics · Computer Science 2022-10-28 Caiwu Ding , Hongwu Peng , Lu Lu , Caiwen Ding

This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis…

Software Engineering · Computer Science 2021-03-03 André Santos , Alcino Cunha , Nuno Macedo

Unmanned vehicles able to conduct advanced operations without human intervention are being developed at a fast pace for many purposes. Not surprisingly, they are also expected to significantly change how military operations can be…

Cryptography and Security · Computer Science 2024-10-30 Henrik Madsen , Gudmund Grov , Federico Mancini , Magnus Baksaas , Åvald Åslaugson Sommervoll

Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of application scenarios, UAS have become…

Software Engineering · Computer Science 2024-06-17 Jianyu Zhang , Long Zhang , Yixuan Wu , Linru Ma , Feng Yang

Safety-critical cyber-physical systems (CPS), such as quadrotor UAVs, are particularly prone to cyber attacks, which can result in significant consequences if not detected promptly and accurately. During outdoor operations, the nonlinear…

Robotics · Computer Science 2025-01-15 Pengyu Wang , Zhaohua Yang , Jialu Li , Ling Shi

In unmanned aerial vehicle (UAV) networks, communication protocols and algorithms are essential for cooperation and collaboration between UAVs. Simulation provides a cost-effective solution for prototyping, debugging, and analyzing…

Networking and Internet Architecture · Computer Science 2025-07-15 Zihao Zhou , Zipeng Dai , Linyi Huang , Cui Yang , Youjun Xiang , Jie Tang , Kai-kit Wong

The Robot Operating System (ROS) is one of the most popular middleware for developing robot applications, but it is subject to major shortcomings when applied to real-time robotic systems in safety-critical environments. For this reason,…

Logic in Computer Science · Computer Science 2025-01-10 Jahid Chowdhury Choton , Lipsy Gupta , Pavithra Prabhakar