Desenvolvimento de Algoritmos e Ferramentas de Síntese e Validação de Estratégias para o Controle em Manobras ou Navegação de Veículos ou Robôs Móveis Multiarticulados