Implementação de algoritmos para o controle supervisório modular de sistemas condição/evento

Abstract

O presente trabalho visa o desenvolvimento e implementação de algoritmos envolvidos na síntese de supervisores modulares para sistemas modelados através do paradigma de sistemas condição/evento (C/E). Os sistemas condição/evento consistem em uma classe de sistemas a eventos discretos em tempo contínuo, que permitem a modelagem e a análise de sistemas de tempo contínuo como a interconexão de subsistemas com sinais de entrada e saída discretos. Nesta abordagem, pode-se modelar o sistema de modo que os eventos sejam associados a saídas da planta (por exemplo, sinais de sensores) e os comandos gerados pelo agente de controle sejam associados a entradas da planta (condições), o que permite obter modelos cujos sinais de entrada e saída sejam mais próximos aos reais. Além disto, ela se adapta perfeitamente tanto à modelagem de sistemas a eventos discretos (SEDs) quanto à modelagem de sistemas híbridos (SHs) e possibilita que a modelagem destes sistemas seja feita através de diagramas de blocos e de fluxos de sinais, tal como ocorre normalmente na teoria de sistemas. O problema de controle supervisório modular é formulado através do paradigma de modelagem de sistemas C/E, e é resolvido através da teoria de controle supervisório de SEDs. Baseado no contexto da metodologia proposta, algoritmos foram desenvolvidos e implementados, formando uma ferramenta computacional que reúne as funções necessárias para a síntese de supervisores para sistemas modelados através deste paradigma. Um exemplo prático é utilizado para ilustrar a utilização da ferramenta para a resolução de um problema de controle supervisório modular.