Languages, behaviors, hybrid architectures, and motion control
Mathematical control theory
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Automatic generation of persistent formations for multi-agent networks under range constraints
Proceedings of the 1st international conference on Robot communication and coordination
Solving coverage problems with embedded graph grammars
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Biologically inspired coalition formation of multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A compositional framework for programming stochastically interacting robots
International Journal of Robotics Research
Graph process specifications for hybrid networked systems
Discrete Event Dynamic Systems
Hi-index | 0.00 |
This paper presents a framework for going from specifications to implementations of decentralized control strategies for multi-robot systems. In particular, we show how the use of Embedded Graph Grammars (EGGs) provides a tool for characterizing local interaction and control laws. This paper highlights some key implementation aspects of the EGG formalism, and develops and discusses experimental results for a hexapod-based multi-robot system, as well as a multi-robot system of wheeled robots.