Distributed formation control of non-holonomic mobile robots