Automatic translation of blocking flexible job shop scheduling problems to automata using the Supervisory Control Theory

Abstract

Este trabalho apresenta um algoritmo para traduzir automaticamente a modelagem de um Problema Bloqueador de Programação Flexível de Job Shop em autômatos usando a Teoria de Controle Supervisório. Diferentes problemas da literatura são analisados ​​em sua forma textual e o algoritmo retorna um autômato que implementa o comportamento em malha fechada sob a Teoria do Controle Supervisório. Uma heurística é aplicada para encontrar, entre todas as sequências, a sequência que minimiza o makespan. Com nossa abordagem, encontramos valores makespan próximos aos da literatura. Esta metodologia enfrenta limites de uso de memória, mas foi capaz de encontrar soluções para instâncias de alguns problemas bem conhecidos.