Sciweavers

2383 search results - page 312 / 477
» Anticipatory Behavioral Control
Sort
View
JSA
2008
131views more  JSA 2008»
15 years 3 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 2 months ago
A robotic module for stochastic fluidic assembly of 3D self-reconfiguring structures
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
Jonas Neubert, Abraham P. Cantwell, Stephane Const...
150
Voted
ICRA
2010
IEEE
154views Robotics» more  ICRA 2010»
15 years 2 months ago
A dipole field for object delivery by pushing on a flat surface
—This paper introduces a simple algorithm for non-prehensile object transportation by a pushing robot on a flat surface. We assume that the global position and orientation of the...
Takeo Igarashi, Yoichi Kamiyama, Masahiko Inami
IVA
2010
Springer
15 years 2 months ago
Using Artificial Team Members for Team Training in Virtual Environments
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
Jurriaan van Diggelen, Tijmen Muller, Karel van de...
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
15 years 1 months ago
Towards optimally efficient field estimation with threshold-based pruning in real robotic sensor networks
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
Amanda Prorok, Christopher M. Cianci, Alcherio Mar...