Controle preditivo não linear baseado em modelo aplicado a formações de robôs móveis terrestres com seleção dinâmica de líder Documento