Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T06:13:18Z (GMT). No. of bitstreams: 1
210171.pdf: 708726 bytes, checksum: d3a05fd259921bf8a17c26c6a1dd2b53 (MD5) / Este trabalho avalia em que medida a resolução de um problema de controle supervisório pode ser simplificada pela introdução de sensores na planta. Na abordagem apresentada, cada sensor corresponde a um novo evento, que deve ser adicionado ao modelo original da planta. Para tanto, definem-se cadeias de eventos geradas pela planta original que ativam o sensor e eventos responsáveis por desativá-lo. Com estas informações, constrói-se o modelo exato do comportamento do sensor, que, combinado com o modelo da planta, fornece o modelo da planta com sensor. Mostra-se que, em geral, uma especificação de comportamento do problema original que contém as cadeias que ativam o sensor pode ser reescrita como uma especificação com menor número de estados utilizando o evento associado ao sensor. No âmbito da metodologia de controle modular local, a redução das especificações, combinada com a aproximação do modelo do sensor, permite a redução tanto da complexidade computacional do cálculo de cada supervisor quanto do número de estados dos supervisores. No entanto, a solução global obtida não é, necessariamente, equivalente à solução do problema original. Na classe de sensores desativados por eventos controláveis, entretanto, mostra-se que a utilização do modelo exato do sensor como nova especificação (emulação do sensor) fornece uma solução com as mesmas vantagens apontadas, garantindo-se ainda a equivalência com o problema original. Quando há eventos de desativação não controláveis, a emulação é também possível se o evento do sensor for considerado forçável. Esta alternativa necessita, no entanto, de que os resultados preliminares apresentados sejam aprofundados.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/88168 |
Date | January 2004 |
Creators | Bouzon, Gustavo |
Contributors | Universidade Federal de Santa Catarina, Cury, Jose Eduardo R |
Publisher | Florianópolis, SC |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | xvii, 90 f.| grafs., tabs. |
Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0015 seconds