English
Related papers

Related papers: The High-Assurance ROS Framework

200 papers

The Robot Operating System 2 (ROS 2) is the second generation of ROS representing a step forward in the robotic framework. Several new types of nodes and executor models are integral to control where, how, and when information is processed…

Robotics · Computer Science 2023-05-18 Steve Macenski , Alberto Soragna , Michael Carroll , Zhenpeng Ge

Modern manufacturing under High-Mix-Low-Volume requirements increasingly relies on flexible and adaptive matrix production systems, which depend on interconnected heterogeneous devices and rapid task reconfiguration. To address these needs,…

Robotics · Computer Science 2026-03-26 Jiangtao Shuai , Marvin Carl May , Sonja Schimmler , Manfred Hauswirth

The application of autonomous mobile robots in robotic security platforms is becoming a promising field of innovation due to their adaptive capability of responding to potential disturbances perceived through a wide range of sensors.…

Robotics · Computer Science 2021-03-09 Mashnoon Islam , Touhid Ahmed , Abu Tammam Bin Nuruddin , Mashuda Islam , Shahnewaz Siddique

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

Fog Robotics renders networked robots with greater mobility, on-demand compute capabilities and better energy efficiency by offloading heavy robotics workloads to nearby Edge and distant Cloud data centers. However, as the de-facto standard…

Robotics · Computer Science 2022-10-24 Kaiyuan Chen , Jiachen Yuan , Nikhil Jha , Jeffrey Ichnowski , John Kubiatowicz , Ken Goldberg

This article describes a software package called ROS georegistration intended for use with the Robot Operating System (ROS) and the Gazebo 3D simulation environment. ROSgeoregistration provides tools for the simulation, test and deployment…

Robotics · Computer Science 2022-01-21 Andrew R. Willis , Kevin Brink , Kathleen Dipple

Autonomous robots must operate in diverse environments and handle multiple tasks despite uncertainties. This creates challenges in designing software architectures and task decision-making algorithms, as different contexts may require…

Artificial Intelligence · Computer Science 2025-05-05 Gustavo Rezende Silva , Juliane Päßler , S. Lizeth Tapia Tarifa , Einar Broch Johnsen , Carlos Hernández Corbato

Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to detect software errors to protect against harm. We propose a…

Software Engineering · Computer Science 2022-02-01 Deborah S. Katz , Christopher S. Timperley , Claire Le Goues

In decision-making under uncertainty, Contextual Robust Optimization (CRO) provides reliability by minimizing the worst-case decision loss over a prediction set. While recent advances use conformal prediction to construct prediction sets…

Machine Learning · Statistics 2025-12-25 Yajie Bao , Yang Hu , Haojie Ren , Peng Zhao , Changliang Zou

Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a…

Software Engineering · Computer Science 2025-03-03 João-Vitor Zacchi , Edoardo Clementi , Núria Mata

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Software Engineering · Computer Science 2020-07-15 Cristiane Aparecida Lana , Milena Guessi , Pablo Oliveira Antonino , Dieter Rombach , Elisa Yumi NakagawaA

The methodology of Software-Defined Robotics hierarchical-based and stand-alone framework can be designed and implemented to program and control different sets of robots, regardless of their manufacturers' parameters and specifications,…

Robotics · Computer Science 2017-08-22 Ali Al-Bayaty

We present the Light Augmented Reality System LARS as an open-source and cost-effective tool. LARS leverages light-projected visual scenes for indirect robot-robot and human-robot interaction through the real environment. It operates in…

Robotics · Computer Science 2024-11-04 Mohsen Raoufi , Pawel Romanczuk , Heiko Hamann

We present MOSS, a multi-objective optimization framework for constructing stable sets of decision rules. MOSS incorporates three important criteria for interpretability: sparsity, accuracy, and stability, into a single multi-objective…

Optimization and Control · Mathematics 2025-07-31 Brian Liu , Rahul Mazumder

The third generation of artificial intelligence (AI) introduced by neuromorphic computing is revolutionizing the way robots and autonomous systems can sense the world, process the information, and interact with their environment. The…

Robotics · Computer Science 2021-10-06 Julien Dupeyroux , Stein Stroobants , Guido de Croon

The field of high-speed autonomous racing has seen significant advances in recent years, with the rise of competitions such as RoboRace and the Indy Autonomous Challenge providing a platform for researchers to develop software stacks for…

Robotics · Computer Science 2025-03-14 Aron Harder , Amar Kulkarni , Madhur Behl

Modern robotic systems integrate multiple independent software and hardware components, each responsible for distinct functionalities such as perception, decision-making, and execution. These components interact extensively to accomplish…

Software Engineering · Computer Science 2025-07-15 Zhixiang Chen , Zhuangbin Chen , Xingjie Cai , Wei Li , Zibin Zheng

Because robots can directly perceive and affect the physical world, security issues take on particular importance. In this paper, we describe the results of our work on scanning the entire IPv4 address space of the Internet for instances of…

Cryptography and Security · Computer Science 2018-08-13 Nicholas DeMarinis , Stefanie Tellex , Vasileios Kemerlis , George Konidaris , Rodrigo Fonseca

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

Robot systems are increasingly integrating into numerous avenues of modern life. From cleaning houses to providing guidance and emotional support, robots now work directly with humans. Due to their far-reaching applications and…

Robotics · Computer Science 2022-01-24 Upinder Kaur , Haozhe Zhou , Xiaxin Shen , Byung-Cheol Min , Richard M. Voyles
‹ Prev 1 4 5 6 7 8 10 Next ›