Guaranteed reachable domain and control design for a cable robot subject to input constraints | IEEE Conference Publication | IEEE Xplore