SINCRONIZAÇÃO EM SISTEMAS A EVENTOS DISCRETOS
Keywords:
Sistemas a Eventos Discretos, Autômatos Sincronizáveis, Teoria de Controle Supervisório
Abstract
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.