Formation control for second-order multi-agent systems by impulsive protocol | IEEE Conference Publication | IEEE Xplore