Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
The peer-to-peer paradigm shows the potential to provide the same functionality and quality like client/server based systems, but with much lower costs. In order to control the qu...
Kalman Graffi, Dominik Stingl, Julius Rueckert, Al...
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
Georgios E. Fainekos, Sriram Sankaranarayanan, Fra...
— We provide a general approach for learning robotic motor skills from human demonstration. To represent an observed movement, a non-linear differential equation is learned such ...
Peter Pastor, Heiko Hoffmann, Tamim Asfour, Stefan...