@article{DENG2019, title = "Scalable compiler for the TERMES distributed assembly system", journal = "Robotics and Autonomous Systems", year = "2019", issn = "0921-8890", doi = "https://doi.org/10.1016/j.robot.2019.07.010", url = "http://www.sciencedirect.com/science/article/pii/S0921889019301897", author = "Yawen Deng and Yiwen Hua and Nils Napp and Kirstin Petersen", keywords = "Multi-robot systems, Assembly, Construction, Autonomy, Compiler", abstract = "The TERMES system is a robot collective capable of autonomous construction of 3D user-specified structures. A key component of the framework is an off-line compiler which takes in a structure blueprint and generates a directed map, in turn permitting an arbitrary number of robots to perform decentralized construction in a provably correct manner. In past work, this compiler was limited to a non-optimized search approach which scaled poorly with the structure size. Here, we recast the process as a constraint satisfaction problem and present new scalable compiler schemes and the ability to quickly generate provably correct maps (or find that none exist) of structures with up to 1 million bricks. We compare the performance of the compilers on a range of structures, and show how the structure completion time is related to the inter-dependencies between built locations. We then show how the transition probability between locations in the structure affect assembly time, and may be optimized to drastically improve system efficiency. This work represents an important step towards collective robotic construction of real-world structures." }