A PDE model approach to formation control of large-scale mobile sensor networks with boundary uncertainties