Finite thrust control for satellite formation flying with state constraints | IEEE Conference Publication | IEEE Xplore