Rigid-body attitude stabilization with attitude and angular rate constraints. (April 2018)