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

• Autor(a) principal: Lucas Vinícius Ribeiro Alves
• Data de Publicação: 2020
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/35025
• topic: Sistemas a eventos discretos; Teoria de controle supervisório; Autômatos sincronizáveis; Engenharia elétrica; Teoria do controle; Sistemas de tempo discreto

Sistemas de manufatura estão cada vez mais sujeitos a ataques externos e falhas, seja por defeitos em sensores e atuadores ou seja por problemas de comunicação. Nesse contexto, a segurança desses sistemas é um problema cada vez mais estudado, inclusive na área de Sistemas a Eventos Discretos (SEDs) utilizando a Teoria de Controle Supervisório (TCS). Neste trabalho propomos tratar problemas de segurança em SEDs utilizando a Teoria de Autômatos Sincronizáveis, que nos permite utilizar uma palavra de sincronização para sincronizar os supervisores e plantas no caso onde, devido a uma falha, o estado que o supervisor estima que a planta se encontra não corresponde ao estado físico da planta. Os resultados desse trabalho permitem modelar sistemas e estender a TCS para lidar com modelos baseados em autômatos sincronizáveis, tanto pela síntese monolítica quando aplicando controle modular local, tratando também de técnicas complementares, como a redução e localização de supervisores. Além disso, propõe-se uma maneira de modelar sistemas que não são originalmente sincronizáveis como autômatos sincronizáveis pela adição de eventos de recuperação.