Resumo de Supervisores DE SISTEMAS A EVENTOS DISCRETOS COM DECISÃO PARA FALHAS.. - Eduard M. M. Costa; Gilberto B. da S. Góes

Várias formalizações para o controle de SEDs temporizados são encontradas na literatura. Entre elas, encontra-se a abordagem da TCS para SEDs temporizados de Brandin e Wonham, utilizando autômatos que incluem a representação do tempo definida por meio de um evento sincronizado ao relógio global, denominado evento ‘tick’. Quando se trata da necessidade de sincronização entre eventos, a álgebra de dióides tem sido largamente utilizada, seja para os autômatos temporizados, seja para as redes de Petri temporizadas. Outros formalismos para a síntese de supervisores de SEDs temporizados que não utilizam a álgebra de dióides são encontrados. Entretanto, encontra-se na literatura um importante formalismo para esta classe de SEDs que estende a abordagem de redes de Petri com função de habilitação de transições para o caso temporizado, sendo aplicado a modelos de SEDs temporizados descritos por redes seguras. De maneira similar garante a construção de supervisores que mantêm a mesma estrutura do modelo do SED para qualquer especificação de comportamento definida, utilizando a definição das redes de Petri Temporais Interpretadas com Função de Habilitação de Transição para estruturar o supervisor e formalizando o Algoritmo para a Construção da Árvore de Alcançabilidade de Classes (AAAC), em que uma classe determina um conjunto de estados que contêm a mesma marcação com diferentes intervalos de tempo associados. Esse formalismo se aplica a casos em que a associação dos intervalos de tempo não é tão complexa como o caso descrito pela rede de Petri com Temporização Nebulosa, intervalos estes que podem ser obtidos por estimação ou por simples medição. Sua aplicação permitiu construir um algoritmo para transformação das funções da rede supervisora em linguagem de CLP (Instruction List). Em outras abordagens de controle de SEDs utilizando redes de Petri, encontram-se formalismos para a transformação da estrutura da rede em programas de CLP. Entretanto, em nenhum destes casos, o supervisor sintetizado realiza tomadas de decisão dentro da operação do sistema. Isto é, se houver alguma falha nos sensores do sistema físico que atualizam o CLP, o sistema pode parar sua execução esperando uma resposta de algum sensor, o que não é desejado. Também, observa-se que, com a inclusão de intervalos de tempo no modelo do sistema, há uma “aparente introdução de controle” no modelo. Dessa forma, uma importante contribuição surge com a utilização das redes de Petri Síncronas (RPS) associando temporizadores às transições, para a aplicação de controle a SEDs temporizados. Assim, O uso da rede de Petri síncrona assegura o funcionamento do sistema através de eventos externos gerados por sensores ativos no sistema. O procedimento proposto garante a continuidade temporal do processo, mesmo havendo falha em algum sensor. Um exemplo de síntese do supervisor usando o formalismo proposto é apresentado nesse trabalho, que facilita a compreensão do procedimento formalizado.

Resumos Relacionados