26 search results - page 5 / 6 » Abstraction refinement by controllability and cooperativenes... |
IROS
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— This work presents the control of multiple untethered rectilinear magnetic micro-robots (Mag-µBots) with dimensions 250 × 130 × 100 µm3 actuated by pulsed external ...
JCST
2010
13 years 5 months ago
2010
Abstract Location-aware technology spawns numerous unforeseen pervasive applications in a wide range of living, production, commence, and public services. This article provides an ...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In the framework of physical Human-Robot Interaction (pHRI), methodologies and experimental tests are presented for the problem of detecting and reacting to collisions ...
IJDSN
2006
13 years 7 months ago
2006
Abstract-- We present a novel formulation of the problem of energy misbehavior and develop an analytical framework for quantifying its impact on other nodes. Specifically, we formu...