Network abstract linear programming with application to minimum-time formation control | IEEE Conference Publication | IEEE Xplore