Time varying control set design for UAV collision avoidance using reachable tubes | IEEE Conference Publication | IEEE Xplore