MCSA-PPGPEE

Sistemas a Eventos Discretos (SEDs): Conceituação, Classificação, Propriedades, Exemplos. Linguagens como Modelos para SEDs: Linguagens, Operações sobre Linguagens, Representação de SEDs por Linguagens, Expressões Regulares. Autômatos como Modelos para SEDs: Autômatos Determinísticos e não Determínisticos de Estados Finitos, Bloqueio num SED, Minimização de Autômatos, Composição de Autômatos. Controle Supervisório de SED: O Problema de Controle, Controlabilidade, Modelagem da Planta, Modelagem das Especificações, Síntese de Supervisores Ótimos, Implementação do Supervisor.