Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas

Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que satisfaçam esses sistemas sujeitos a restrições. Por extensão, é proposto um método para reduzir o número de controladores denominado Fusão de Controladores.

• Assuntos:

  • Controle supervisório
  • rede de Petri colorida
  • sistemas a eventos discretos