English
Related papers

Related papers: Security Landscape for Robotics

200 papers

Robotic systems are complex and safety-critical software systems. As such, they need to be tested thoroughly. Unfortunately, robot software is intrinsically hard to test compared to traditional software, mainly since the software needs to…

Software Engineering · Computer Science 2026-02-03 Nils Chur , Thiago Santos de Moura , Argentina Ortega , Sven Peldszus , Thorsten Berger , Nico Hochgeschwender , Yannic Noller

Aim of this paper is to provide a review of the state of the art in Search and Rescue (SAR) robotics. Suitable robotic applications in the SAR domain are described, and SAR-specific demands and requirements on the various components of a…

Robotics · Computer Science 2019-12-11 Frank E. Schneider , Dennis Wildermuth

Autonomous systems are emerging in many application domains. With the recent advancements in artificial intelligence and machine learning, sensor technology, perception algorithms and robotics, scenarios previously requiring strong human…

Cryptography and Security · Computer Science 2023-12-05 Mohammad Hamad , Sebastian Steinhorst

In this paper, we present an approach for quantifying the propagated uncertainty of robot systems in an online and data-driven manner. Especially in Human-Robot Collaboration, keeping track of the safety compliance during run time is…

Robotics · Computer Science 2023-02-22 Woo-Jeong Baek , Torsten Kröger

Security of robotics systems, as well as of the related middleware infrastructures, is a critical issue for industrial and domestic IoT, and it needs to be continuously assessed throughout the whole development lifecycle. The next…

Robotics · Computer Science 2018-10-19 Ruffin White , Gianluca Caiazza , Henrik I. Christensen , Agostino Cortesi

As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the…

Robotics · Computer Science 2017-06-01 Brian Axelrod , Leslie Pack Kaelbling , Tomás Lozano-Pérez

Industrial robotics has established itself as an integral component of large-scale manufacturing enterprises. Simultaneously, collaborative robotics is gaining prominence, introducing novel paradigms of human-machine interaction. These…

Robotics · Computer Science 2026-05-27 Daniel Hartmann , Kristýna Hamříková , Aleš Vysocký , Vendula Laciok , Aleš Bernatík

Endowing robots with the capability of assessing risk and making risk-aware decisions is widely considered a key step toward ensuring safety for robots operating under uncertainty. But, how should a robot quantify risk? A natural and common…

Robotics · Computer Science 2017-11-02 Anirudha Majumdar , Marco Pavone

This paper aims to provide a clear and rigorous understanding of commonly recognized safety constraints in physical human-robot interaction, particularly regarding ISO/TS 15066. We investigate the derivation of these constraints, critically…

Systems and Control · Electrical Eng. & Systems 2026-04-03 Riccardo Zanella , Federico Califano , Stefano Stramigioli

As artificial intelligence continues to advance and becomes more integrated into sensitive areas like healthcare, education, and everyday life, it's crucial for these systems to be both resilient and robust. This paper shows how resilience…

Robotics · Computer Science 2025-10-27 Domenico Palmisano , Giuseppe Palestra , Berardina Nadja De Carolis

Ensuring safety for human-interactive robotics is important due to the potential for human injury. The key challenge is defining safety in a way that accounts for the complex range of human behaviors without modeling the human as an…

Robotics · Computer Science 2021-10-12 Jeevana Priya Inala , Yecheng Jason Ma , Osbert Bastani , Xin Zhang , Armando Solar-Lezama

Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and…

As the Internet of Things (IoT) penetrates different domains and application areas, it has recently entered also the world of robotics. Robotics constitutes a modern and fast-evolving technology, increasingly being used in industrial,…

Robotics · Computer Science 2020-01-17 Andreas Kamilaris , Nicolo Botteghi

Ensuring the safety of the equipment, its environment and most importantly, the operator during robot operations is of paramount importance. Robots and complex robotic systems are appearing in more and more industrial and professional…

The rise of connectivity, digitalization, robotics, and artificial intelligence (AI) is rapidly changing our society and shaping its future development. During this technological and societal revolution, security has been persistently…

Cryptography and Security · Computer Science 2018-07-06 Alberto Giaretta , Michele De Donno , Nicola Dragoni

Autonomous robots must utilize rich sensory data to make safe control decisions. To process this data, compute-constrained robots often require assistance from remote computation, or the cloud, that runs compute-intensive deep neural…

Robotics · Computer Science 2024-12-05 Sai Shankar Narasimhan , Sharachchandra Bhat , Sandeep P. Chinchali

The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formally verify a series of increasingly powerful safety…

Systems and Control · Computer Science 2019-06-20 Stefan Mitsch , Khalil Ghorbal , David Vogelbacher , André Platzer

Assuring safety of artificial intelligence (AI) applied to safety-critical systems is of paramount importance. Especially since research in the field of automated driving shows that AI is able to outperform classical approaches, to handle…

Computers and Society · Computer Science 2025-04-28 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the…

Formal Languages and Automata Theory · Computer Science 2023-05-03 Matt Luckcuck , Marie Farrell , Louise Dennis , Clare Dixon , Michael Fisher

To better optimise the global food supply chain, robotic solutions are needed to automate tasks currently completed by humans. Namely, phenotyping, quality analysis and harvesting are all open problems in the field of agricultural robotics.…

Robotics · Computer Science 2022-08-24 Jack Foster , Mazvydas Gudelis , Amir Ghalamzan Esfahani