Sensing-based shape formation on modular multi-robot systems: a theoretical study.