Formation control of mobile agents with second-order nonlinear dynamics in unknown environments containing obstacles | IEEE Conference Publication | IEEE Xplore