Sistemas e Eventos Discretos

Ementa

Classificação de sistemas: dinamicidade, variância no tempo, linearidade, espaço de estados. Sistemas a eventos discretos (SEDs): variáveis aleatórias, comportamento estocástico e determinístico. Modelagem de SED: métodos formais, redes de Petri, máquinas de estados, linguagens formais e expressões regulares, processamento computacional de modelos, complexidade computacional. Simulação de SED: teste, verificação, validação. Controle de SED: Teoria de Controle Supervisório, controle monolítico e modular, modelos distinguidores, modelos estendidos com variáveis, abstração de modelos, tratamento computacional, geração automática de modelos por processamento de log, integração com inteligência artificial. Aplicações em SED: sistemas de manufatura, ambientes de produção industrial, sistemas de grande porte, manufatura flexível e enxuta, agricultura e medicina de precisão, indústria 4.0.Implementação: geração de código a partir de modelos formais, implantação em hardware. Monitoramento: sistemas SCADA, IoT industrial, redes de comunicação, interface homem-máquina.

Bibliografia

CASSANDRAS, Christus; LAFORTUNE, Stephane. Introduction to Discrete Event Systems. Springer Cham, 2021.

WONHAM, W. M.; Cai, K. Supervisory Control of Discrete-Event Systems. Springer Cham, 2019.

OGATA, K. Discrete Time Control Systems. 2nd Edition. Prentice-Hall, 1995.