Yuchen Zhou, Aneesh Raghavan, John S. Baras: Time varying control set design for UAV collision avoidance using reachable tubes. CDC 2016: 6857-6862