Modelagem e Controle de Sistemas a Eventos Discretos sujeitos a falhas e ataques cibernéticos

Descrição

Este projeto investiga métodos formais para aumentar a segurança e a resiliência de sistemas ciberfísicos (CPS) modelados como Sistemas a Eventos Discretos (CPDES). O foco é enfrentar dois desafios centrais: (i) a preservação da integridade diante de ataques encobertos, nos quais o adversário manipula sinais de sensores e/ou comandos de atuadores de modo a permanecer indistinguível do comportamento nominal, reduzindo a efetividade de estratégias baseadas apenas em detecção e diagnose de falhas; e (ii) a recuperação do sistema após a ocorrência de ataques ou falhas, garantindo que ele possa ser conduzido a uma região segura e funcional de operação, mesmo sob interferência persistente. A pesquisa combina modelagem por autômatos, especificação de propriedades de segurança/disponibilidade, e síntese de mecanismos de proteção e supervisores de recuperação com garantias formais. Os resultados esperados incluem caracterizações teóricas (condições necessárias e suficientes), algoritmos de síntese e validação por simulação e estudos de caso, contribuindo para técnicas de controle e diagnóstico aplicáveis a infraestruturas críticas e sistemas automatizados conectados.