Aplicação de autômatos sincronizáveis na segurança de sistemas a eventos discretos

Detalhes bibliográficos
Ano de defesa: 2020
Autor(a) principal: Lucas Vinícius Ribeiro Alves
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Brasil
ENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICA
Programa de Pós-Graduação em Engenharia Elétrica
UFMG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://hdl.handle.net/1843/35025
Resumo: Manufacturing systems are increasingly subject to external attacks and failures, whether by defects in sensors and actuators or by communication problems. In this context, the security of these systems is an increasingly studied problem, including in the field of Discrete Event Systems (DES) using Supervisory Control Theory (SCT). In this work we propose to deal with security problems in DES using the Synchronizing Automata Theory, which allows us to use a synchronizing word to synchronize the supervisors and plants in case the state that the supervisor estimates the plant does not correspond to the physical state of the plant. The results of this work allow us to model systems and to extend the SCT to deal with models based in synchronizing automata, using the monolithic synthesis or applying local modular control, and to deal with complimentary techniques such as the supervisor reduction and supervisor localization. In addition, we propose a way to model systems that are not originally synchronizing as synchronizing automata inserting recovery events.