Formation Control of Multi-Agent Systems with Region Constraint. (4th December 2019)