Predefined-time Lyapunov function-based sliding mode control for spacecraft rendezvous and docking | Synapse