Control of Redundant Robots Under Hard Joint Constraints: Saturation in the Null Space | Synapse