Towards safe human-robot interaction

Authors:
Elena Corina Grigore;Kerstin Eder;Alexander Lenz;Sergey Skachek;Anthony G. Pipe;Chris Melhuish
Affiliations:
Computer Science Department, University of Bristol, Bristol, UK;Computer Science Department, University of Bristol and Bristol Robotics Laboratory, Bristol, UK;Bristol Robotics Laboratory, Bristol, UK;Bristol Robotics Laboratory, Bristol, UK;Bristol Robotics Laboratory, Bristol, UK;Bristol Robotics Laboratory, Bristol, UK
Venue:
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Year:
2011

Citing 4
Cited 1

Model checking

Model checking
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs
Towards long-lived robot genes

Robotics and Autonomous Systems
Incremental Component-Based Construction and Verification of a Robotic System

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence

Comparing task-based and socially intelligent behaviour in a robot bartender

Proceedings of the 15th ACM on International conference on multimodal interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of human-assistive robots challenges engineering and introduces new ethical and legal issues. One fundamental concern is whether human-assistive robots can be trusted. Essential components of trustworthiness are usefulness and safety; both have to be demonstrated before such robots could stand a chance of passing product certification. This paper describes the setup of an environment to investigate safety and liveness aspects in the context of human-robot interaction. We present first insights into setting up and testing a humanrobot interaction system in which the role of the robot is that of serving drinks to a human. More specifically, we use this system to investigate when the right time is for the robot to release the drink such that the action is both safe and useful. We briefly outline follow-on research that uses the safety and liveness properties of this scenario as specification.