Linhas de pesquisa

Ciências da automação

As ciências da automação lidam com técnicas matemáticas e computacionais para resolver problemas provenientes das tecnologias de automação. Esta é uma área multidisciplinar que abrange modelos e técnicas das ciências da computação, da teoria de controle e da pesquisa operacional. A principal classe de sistemas abordada nas ciências da automação são os sistemas a eventos discretos (SED), que são sistemas dinâmicos com espaço de estados discretos e evolução regida pela ocorrência assíncrona de eventos instantâneos.

Os SEDs são usados para representar diversos fenômenos nas tecnologias de automação, como sistemas de manufatura flexível, protocolos de comunicação em redes industriais e os chamados sistemas ciberfísicos. Não há um único paradigma de modelagem para os sistemas a eventos discretos; existem modelos determinísticos e estocásticos, bem como várias estruturas matemáticas e computacionais, incluindo inúmeras representações de máquinas de estados, como autômatos, linguagens formais, cadeias de Markov, Redes de Petri, Álgebras de Processos, como a álgebra Max-Plus, e a Teoria de Filas, entre outros.

Nas últimas duas décadas, pesquisadores das ciências da automação têm se dedicado a problemas relacionados à segurança cibernética de sistemas industriais de automação e controle. Técnicas consolidadas nas ciências da automação, como controle supervisório, diagnóstico de falhas, model checking, identificação de sistemas e opacidade, têm sido empregadas para proteção contra ataques cibernéticos, ocultação de informações, detecção de ataques cibernéticos e mitigação dos efeitos de ataques cibernéticos em sistemas industriais de automação e controle. Isso abrange diversos domínios de aplicação, como o setor elétrico, o setor de abastecimento de água, a manufatura e as infraestruturas críticas.

Gestão de engenharia

A linha de pesquisa em Gestão de Engenharia tem parceria com o Portal de Engenharia de Sistemas do IME, gerada a partir do acervo da Disciplina do PGED, "Tópicos Especiais em Engenharia de Sistemas". Texto em elaboração.