4 accepted papers
Driven by the need for physically accurate and haptically convincing models of lunar and planetary regolith for model-mediated teleoperation in space, we present an approach to modelling regolith in an efficient yet realistic way. Model parameters are derived from physical characteristics of the reg…
We address the problem of overapproximative short-term prediction of arm movement, for safe human-robot co-existence. A trajectory planner for a robot manipulator which formally verifies non-collision requires fast prediction of human future occupancy, which must be accurate yet still account for al…
Human motion is fast and hard to predict. To implement a provably safe collision-avoidance strategy for robots in collaborative spaces with humans, an overapproximative prediction of the occupancy of the human is required, which needs to be calculated faster than real time. We present a method for c…
A failsafe control strategy is presented for online safety certification of robot movements in a collaborative workspace with humans. This approach plans, predicts and uses formal guarantees on reachable sets of a robot arm and a human obstacle to verify the safety and feasibility of a trajectory in…