Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Abstract Purpose of Review The review presents an overview of research approaches on
human-robot interfaces in industrial and service robotics. Recent Findings Research …

Simulation is a favoured technique for analysis of robotic systems. Currently, however,
simulations are programmed in an ad hoc way, for specific simulators, using either …

Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …

Robot software controllers are often concurrent and time critical, and requires modern
engineering approaches for validation and verification. With this motivation, we have …

We present an approach for determining suitable locations for human-robot interaction
tasks. Therefore, we introduce the task specific Interaction Workspace as a representation of …

In the context of Industry 4.0, flexible manufacturing systems play an important role. They are
designed to provide the possibility to adapt the production process by reacting to changes …

To facilitate continuous development of novel HRI systems, it is beneficial to have tools that
enable quick adjustments, flexibility, or re-invention of the human interfaces when system …

The behaviour of a robot affects and is affected by its environment. So, many of the expected
and desirable properties of a robotic system depend on properties of its environment. While …

We introduce a multi-functional robotic gripper equipped with a set of actions required for
disassembly of electromechanical devices. The gripper consists of a robot arm with 5 …