38 search results - page 3 / 8 » Programming modular robots with locally distributed predicat... |
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
ICRA
2007
IEEE
13 years 12 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
TROB
2002
2002
Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots
13 years 5 months ago
This paper presents a biologically inspired approach to two basic problems in modular self-reconfigurable robots: adaptive communication in self-reconfigurable and dynamic networks...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
PPSN
2004
Springer
13 years 11 months ago
2004
Springer
This paper addresses the cooperative transport of a heavy object, called prey, towards a sporadically changing target location by a group of robots. The study is focused on the sit...