Sensing-based Shape Formation Tasks on Modular Multi-Robot Systems: A Theoretical Study