Controle supervisório modular de sistemas de grande porte

Abstract

Proposta de uma abordagem mais eficiente para a síntese de controladores modulares para sistemas a eventos discretos de grande porte. A abordagem desenvolvida baseia-se na modelagem por linguagens controláveis da dinâmica do sistema em malha aberta (planta) e da especificação do comportamento desejado. O modelo de Ramadge e Wonham é utilizado para propiciar um processo automático de síntese de supervisores minimamente restritivos. Entretanto, o crescimento exponencial do número de estados do modelo com a agregação de subsistemas pode inviabilizar a síntese de controladores para sistemas mais complexos, que caracteristicamente envolvem múltiplas especificações sobre um grande número de subsistemas concorrentes. Para resolver esse problema, o presente trabalho faz um refinamento do controle modular clássico explorando aspectos de modularidade da planta e das especificações, no sentido de agregar o mínimo necessário de subsistemas em cada módulo de controle. Como resultado, obtém-se uma estrutura de controle naturalmente descentralizada em que cada módulo supervisiona apenas os subsistemas diretamente afetados pela respectiva especificação. Com base nessa abordagem, propõe-se ainda uma nova metodologia para a síntese de supervisores para sistemas de manufatura. Essa metodologia é aplicada a um modelo de sistema integrado de manufatura