Formation of Second-Order Multi-Agent Systems via Reset Control | IEEE Conference Publication | IEEE Xplore