Design principles for safety in human-robot interaction

M Giuliani, C Lenz, T Müller, M Rickert… - International Journal of …, 2010 - Springer
The interaction of humans and robots has the potential to set new grounds in industrial
applications as well as in service robotics because it combines the strengths of humans …

Analyzing empathetic interactions based on the probabilistic modeling of the co-occurrence patterns of facial expressions in group meetings

S Kumano, K Otsuka, D Mikami… - 2011 IEEE International …, 2011 - ieeexplore.ieee.org
This paper presents a novel research framework for the estimation of emotional interactions
produced between meeting participants. The types of emotional interaction targeted in this …

The formal classification and verification of Simpson's 4-slot asynchronous communication mechanism

N Henderson, SE Paynter - FME 2002: Formal Methods—Getting IT Right …, 2002 - Springer
This paper critiques and extends Lamport's taxonomy of asynchronous registers,[8],[9]. This
extended taxonomy is used to characterise Simpson's 4-slot asynchronous communication …

Towards an integrated model checker for railway signalling data

M Huber, S King - FME 2002: Formal Methods—Getting IT Right …, 2002 - Springer
Abstract Geographic Data for Solid State Interlocking (SSI) systems detail site-specific
behaviour of the railway interlocking. This report demonstrates how five vital safety …

Data communication in systems with heterogeneous timing

F **a, AV Yakovlev, IG Clark, D Shang - IEEE Micro, 2002 - ieeexplore.ieee.org
Asynchronous communication mechanisms permit the implementation of data interfaces
between heterogeneously timed entities at various hardware levels. A systematic approach …

Register-communication between mutually asynchronous domains

J Kessels - … Symposium on Asynchronous Circuits and Systems, 2005 - ieeexplore.ieee.org
We present the design of several so-called communication registers, which are modules that
support non-blocking communication between two mutually asynchronous domains. For that …

Asynchronous circuit synthesis via direct translation

D Shang, F **a, A Yakovlev - 2002 IEEE International …, 2002 - ieeexplore.ieee.org
In asynchronous circuit synthesis, the direct translation method, whereby circuits are derived
from Petri net (PN) specifications directly, has not evolved any automatic tools. This paper …

[PDF][PDF] A wait-free realtime system for optimal distribution of vision tasks on multicore architectures

T Müller, P Ziaie, A Knoll - Proceedings of the 5th International …, 2008 - mediatum.ub.tum.de
A WAIT-FREE REALTIME SYSTEM FOR OPTIMAL DISTRIBUTION OF VISION TASKS ON
MULTICORE ARCHITECTURES Page 1 A WAIT-FREE REALTIME SYSTEM FOR OPTIMAL …

Automating synthesis of asynchronous communication mechanisms

K Gorgônio, J Cortadella, F **a… - Fundamenta …, 2007 - content.iospress.com
Asynchronous data communication mechanisms (ACMs) have been extensively studied as
data connectors between independently timed processes in digital systems. In previous …

[PDF][PDF] The 'Asynchronous' Bibliography

AMG Peeters - Available for anony-mous ftp on Internet. Uniform …, 2004 - Citeseer
[20] AJ Acosta, R. Jiménez, A. Barriga, MJ Bellido, M. Valencia, and JL Huertas,“Design and
characterisation of a CMOS VLSI self-timed multiplier architecture based on a bit-level …