Distributed finite-time containment control for second-order multi-agent systems | IEEE Conference Publication | IEEE Xplore