4166 search results - page 110 / 834 » A modular module system |
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes a multi-layered hierarchical motion planning strategy for a class of self-reconfigurable modular robotic systems, I-Cubes. The approach is based on the synthe...
DARS
2000
Springer
14 years 1 months ago
2000
Springer
In this paper, we address the issue of motion planning for a bipartite class of modular self-reconfiguring robotic system (I-Cubes) that is a collection of active elements providin...
ATAL
2008
Springer
13 years 11 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 ...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...