Distributed multi-robot formation control in dynamic environments