Resumo de Utilizando EVENTOS IMINENTES NO REFINAMENTO DA SÍNTESE DO SUPERVISOR..

Um Sistema a Eventos Discretos (SEDs) apresenta uma evolução dinâmica descrita pela ocorrência de eventos que determinam sua interação com o ambiente e que alteram o seu estado interno. Os SEDs estão presentes em muitas aplicações do cotidiano, como redes de computadores, sistemas de manufatura e supervisão de tráfego. O estudo dos SEDs requer a utilização de uma representação adequada e que permita projetar um agente de controle automático, denominado de supervisor. A partir de tarefas especificadas para o sistema, o supervisor recebe informações dos eventos do sistema através de sensores, determina a ação de controle e envia comandos para os atuadores que inibem ou habilitam determinados eventos. A Teoria de Controle Supervisório (TCS), foi desenvolvida em sua forma básica por Ramadge e Wonham, e é baseada em linguagens formais e autômatos. Nesta teoria, faz-se uma distinção clara entre o sistema a ser controlado, denominado planta, e a entidade que o controla, o supervisor. A planta é um modelo que reflete o comportamento fisicamente possível do sistema, isto é, todas as ações que este é capaz de executar na ausência de ações de controle. O supervisor exerce uma ação de controle restritiva sobre a planta, de modo a confinar seu comportamento àquele que corresponde a uma dada especificação de controle. No caso dos SEDs temporizados, utiliza-se o conceito de tempo de vida dos eventos. Este conceito é definido como o tempo decorrido desde a ocorrência de um evento, até uma nova ocorrência desse mesmo evento, levando-se em conta que nenhum outro evento tenha ocorrido durante este intervalo. A temporização dos eventos é definida em relação a um relógio global e, desse modo, a execução dos eventos fica diretamente relacionada aos ciclos desse relógio o que conseqüentemente determina seus tempos de vida. A utilização do evento `tick' para representar a temporização foi proposta por Brandin e Wonham. A inclusão do evento `tick' que é sincronizado com a descida (término de um ciclo) do relógio global, aumenta significativamente o número de transições do modelo e, conseqüentemente, o número de estados. O controle de SEDs temporizados também pode ser estudado utilizando a álgebra de dióides, principalmente para os SEDs que apresentam periodicidade e necessitam de sincronização. A álgebra de dióides também é utilizada na avaliação de desempenho de SEDs, utilizando-se das séries formais. Em muitas aplicações, os sistemas exibem comportamentos que são completamente ou parcialmente seqüenciais. Isto é, determinados eventos só ocorrem quando há a completa finalização de uma tarefa. Entretanto, em alguns casos é necessário modificar as seqüências de execuções, para tornar o sistema mais seguro ou mais eficiente. A eficiência pode ser aumentada permitindo que haja paralelismo entre as partes de uma tarefa que podem ser executadas independentemente, sem alterar o comportamento global do sistema. Assim, esse artigo trata do problema de refinamento do supervisor de um sistema a eventos discretos utilizando o conceito de eventos iminentes que é relacionado com uma definição alternativa para os tempos de vida de eventos. Para considerar a existência de eventos iminentes é utilizado um modelo temporizado para representar o sistema a eventos discretos. O refinamento proposto é efetuado no comportamento supervisionado por num supervisor sintetizado com o algoritmo da suprema sublinguagem que é executado para o modelo não temporizado. Esse refinamento é feito para melhorar a produtividade do sistema permitindo a existência de eventos paralelos. A utilização da técnica de refinamento proposta é demonstrada com um exemplo de um sistema de manufatura.

Resumos Relacionados