Ferramentas para controle supervisório
última modificação
06/07/2021 21h47
O objetivo geral deste trabalho consiste em investigar o uso da Teoria de Controle Supervisório na modelagem formal do comportamento de sistemas (incluindo enxames de robôs e veículos aéreos não tripulados) e a elaboração de um framework para a manipulação destes modelos formais visando a obtenção automática de código fonte para o controle destes sistemas.