Abstração do Supervisor para Aplicação na Solução de Problemas de Planejamento em Sistemas de Manufatura
Juliana Nogueira Vilela1; Patrícia Nascimento Pena2
1 Universidade Federal de Minas Gerais; 2 Universidade Federal de Minas Gerias
Resumo
Autômatos de estados-finitos determinísticos (ADF) e a Teoria de Controle Supervisório (TCS) têm sido muito uti-lizadas para modelar e resolver problemas de escalonamento dejob-shope problemas de planejamento. Contudo, apesar de sermais fácil e direto trabalhar com ADF e a TCS, esta solução sofre de uma explosão de estados quando o sistema se torna maiore mais complexo. Este artigo apresenta um conjunto de condições suficientes que permitem trabalhar com uma abstração do su-pervisor sobre os eventos controláveis, ao invés do próprio supervisor, como universo de busca para a solução de problemas deplanejamento. Também é apresentado um conjunto de características para modelar o sistema e suas especificações, de tal formaque a abstração do supervisor satisfaz a propriedade do observador diretamente.
Palavras-chave: Planejamento; Supervisor; Abstração; Propriedade do Observador