Abstrações de supervisores localmente modulares para aplicação na solução de problemas de planejamento

• Autor(a) principal: Michel Rodrigo das Chagas Alves
• Data de Publicação: 2018
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/BUBD-AYRHP5
• topic: Controle Supervisório; Abstrações; Planejamento; Propriedade do Observador; Sistemas a Eventos Discretos; Planejamento; Engenharia elétrica; Abstração

Uma abordagem para solução do problema de planejamento em sistemas de manufatura é a integração de métodos de otimização com a Teoria de Controle Supervisório. Essa teoria permite restringir o espaço de busca somente às soluções que respeitam a segurança e o não bloqueio do sistema. Se, no lugar deste comportamento, usa-se uma abstração do comportamento do sistema sob controle, é possível reduzir ainda mais o espaço de busca da otimização. Este trabalho estende resultado anterior, pela utilização de abstrações de supervisores obtidos pela síntese modular local, no lugar do supervisor monolítico. As abstrações consistem na projeção natural, que têm a propriedade do observador, dos supervisores modulares locais para o alfabeto de eventos controláveis. O resultado principal garante que qualquer cadeia obtida a partir da abstração será executável na sistema físico, com a presença dos eventos não controláveis. Como a síntese monolítica sofre com o problema de explosão de estados, a extensão torna viável o uso das abstrações mesmo quando não é possível tratar o problema monolítico. Além disso, dados experimentais mostram que a abstração reduz o espaço de busca em no mínimo 10 vezes, se comparado ao supervisor original.