Sincronização em Sistemas a Eventos Discretos
Lucas Vinícius Ribeiro Alves1; Patrícia Nascimento Pena1
1 Universidade Federal de Minas Gerais
Baixar PDF doi:10.20906/CPS/CBA2018-0403
Resumo
Propriedades de Autômatos Sincronizáveis são muito úteis no estudo de Sistemas a Eventos Discretos. A habilidade de levar o sistema a um estado conhecido é de grande importância em sistemas industriais suscetíveis a ataques externos e falhas. Neste artigo, mostramos sob quais condições um conjunto de plantas e especificações levam à sintetização de um supervisor sincronizável, usando a Teoria de Controle Supervisório.
Palavras-chave: Sistemas a Eventos Discretos; Autômatos Sincronizáveis; Teoria de Controle Supervisório