Abstração do Supervisor para Sistemas com Retrabalho visando a Solução de um Problema de Planejamento

Automatos de Estados Finitos e a Teoria de Controle Supervisorio (TCS) tem sido usados para modelar e solucionar problemas de planejamento de tarefas em sistemas de manufatura. Ao modelar o sistema usando a TCS, garante-se seguranca e nao bloqueio do sistema sob controle, alem de e garantir que as solucoes geradas poderao ser executadas no sistema. Trabalhar com PO-Abstracoes do comportamento em malha fechada permite reduzir ainda mais o universo de busca do problema de planejamento sem perder as qualidades advindas da TCS. No presente trabalho, faz-se uma extensao de resultado anterior, para o caso em que a abstracao do comportamento em malha fechada nao e PO-Abstracao. Um procedimento para construir, a partir de uma sequencia selecionada por seu desempenho sob algum criterio, uma linguagem que seja executavel ate o final na planta. Esta extensao torna possivel o uso de abstracoes do comportamento em malha fechada de sistemas que por natureza nao sao PO-Abstracoes.