SINCRONIZAÇÃO EM SISTEMAS A EVENTOS DISCRETOS

  • LUCAS V. R. ALVES
  • PATRICIA NASCIMENTO PENA Universidade Federal de Minas Gerais
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.

Published
2020-10-02
Section
Articles