This paper addresses the coverage problem of multiple mobile agents in the environment. A new formulation is proposed for some coverage problems. Meanwhile, a distributed control method is developed for each agent to optimize the global configuration in parallel with collision avoidance. Moreover, it is proved that locally optimal configuration can be achieved with the aid of navigation functions.