Este artigo propõe uma metodologia para a síntese de supervisores ótimos para sistemas automatizados de manufatura. A metodologia se baseia na abordagem de controle supervisório modular local, uma extensão da Teoria de Controle Supervisório que tem o objetivo de evitar a explosão de estados na modelagem e na síntese de supervisores. A modelagem considera que os sistemas de manufatura sejam formados por diversos subsistemas concorrentes que devem ser sincronizados de forma a atender a uma série de especificações. O processo de síntese explora a modularidade das especificações, bem como a estrutura descentralizada natural de sistemas de manufatura, para gerar supervisores minimamente restritivos e de tamanhos reduzidos. A metodologia proposta é aplicada a um exemplo hipotético de sistema integrado de manufatura. Os resultados obtidos mostram considerável redução da complexidade computacional e do tamanho dos supervisores.
Controle supervisório; sistemas de manufatura; sistemas a eventos discretos; síntese de sistemas de controle; controle decentralizado