Formation control of first-order multi-agents with region constraint. (1st October 2020)