Controle baseado em função de Lyapunov com tempo pré-definido para encontro e acoplamento de espaçonaves | Synapse