SED0001

Fundamentos de Sistemas a Eventos Discretos (SEDs). Autômatos de estados finitos, operações sobre autômatos, bloqueio em SEDs , autômatos como modelos para SEDs. Controle supervisório de SEDs, o problema de controle supervisório, controlabilidade, modelagem de SEDs, especificações de controle, estruturas de controle supervisório, abordagens de síntese de supervisores. Técnicas de implementação da estrutura de controle supervisório. Ferramentas computacionais para a modelagem, análise e síntese de supervisores. Aplicações e desenvolvimento de projetos práticos de controle supervisório de SEDs.