Implementação distribuída de controle supervisório para sistemas a eventos discretos

Abstract

Sistemas a Eventos Discretos têm sido fonte de muitos estudos nos últimos anos já que podem modelar um grande número de sistemas reais. No entanto, apesar das teorias que tratam de lógicas de controle para resolução dos problemas, como a Teoria de Controle Supervisório (TCS) de Ramadge e Wonham, ainda não foram feitos muitos avanços no sentido da implementação destes sistemas para processos considerados de médio/grande porte. Algumas extensões da TCS, como o Controle Modular Local, propõem novas técnicas que reduzem tanto os esforços computacionais gastos na síntese quanto a memória necessária para a implementação das estruturas do sistema de controle. Mesmo assim pode ser necessário distribuir a implementação deste sistema em mais de um dispositivo de controle para viabilizar sua utilização. Neste trabalho é estudada uma metodologia de distribuição do sistema de controle supervisório que abrange aspectos de comunicação e sincronização. Neste trabalho são levantadas questões práticas e propostas contribuições teóricas à teoria de distribuição utilizada. Esta metodologia é aplicada na resolução de um problema de controle real considerando-se três configurações de distribuição distintas, cada uma delas atendendo a uma gama de problemas específicos.