Distributed Formation Control of Second-order System with Input Saturation and Obstacle Avoidance | IEEE Conference Publication | IEEE Xplore