A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
By: Marcelo Rosa, José E. R. Cury, Fabio L. Baldissera
In this paper, we deal with the problem of coordinating multiple robots to build 3-D structures. This problem consists of a set of mobile robots that interact with each other in order to autonomously build a predefined 3-D structure. Our approach is based on Supervisory Control Theory, and it allows us to synthesize from models that represent a single robot and the target structure a correct-by-construction reactive controller, called supervisor. When this supervisor is replicated for the other robots, then the target structure can be completed by all robots
Similar Papers
Hierarchical Planning and Scheduling for Reconfigurable Multi-Robot Disassembly Systems under Structural Constraints
Robotics
Robots take apart things without breaking them.
Dynamic Reconfiguration of Robotic Swarms: Coordination and Control for Precise Shape Formation
Robotics
Robots in groups move together perfectly.
A Network-Based Framework for Modeling and Analyzing Human-Robot Coordination Strategies
Robotics
Helps robots and people work together better.