Programming robotic assembly for industrial small-batch production is challenging; hence, it
is vital to increase robustness and reduce development effort in order to achieve flexible …

Robotic assembly tasks are in general difficult to program and require a high degree of
precision. As the complexity of the task increases it becomes increasingly unlikely that tasks …

rfun is a small first-order reversible functional language introduced by Yokoyama et al. in
2012. The present paper aims to further the understanding of reversible functional …

In this work, a novel Dynamic Movement Primitive (DMP) formulation is proposed which
supports reversibility, ie backwards reproduction of a learned trajectory. Apart from sharing …

This paper presents CoreFun, a typed reversible functional language, which seeks to reduce
typed reversible functional programming to its essentials. We present a complete formal …

Recently, a number of reversible functional programming languages have been proposed.
Common to several of these is the assumption of totality, a property that is not necessarily …

We introduce a process calculus with a new prefixing operator that allows us to model
locally controlled reversibility. Actions can be undone spontaneously, as in other reversible …

Reversible computing is a computational paradigm in which computations are deterministic
in both the forward and backward direction, so that programs have well-defined forward and …

High-level reversible programming languages are few and far between and in general offer
only rudimentary abstractions from the details of the underlying machine. Modern …

In this paper we present an initial approach towards reversible robot movement primitives.
Our approach is a modification of Dynamic Movement Primitives (DMPs), a widely used …