Designing controllers for reachability | IEEE Conference Publication | IEEE Xplore