Finite-time enclosing control for multiple moving targets with control input saturation | IEEE Conference Publication | IEEE Xplore