Sensores em sistemas a eventos discretos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2004 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFSC |
Texto Completo: | http://repositorio.ufsc.br/xmlui/handle/123456789/88168 |
Resumo: | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica. |
id |
UFSC_3235d74b4239b5e7c038487946d47bd6 |
---|---|
oai_identifier_str |
oai:repositorio.ufsc.br:123456789/88168 |
network_acronym_str |
UFSC |
network_name_str |
Repositório Institucional da UFSC |
repository_id_str |
2373 |
spelling |
Sensores em sistemas a eventos discretosEngenharia eletricaSistemas a eventos discretosAutomaçãoDetectoresDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica.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.Florianópolis, SCCury, Jose Eduardo RUniversidade Federal de Santa CatarinaBouzon, Gustavo2012-10-22T06:13:18Z2012-10-22T06:13:18Z20042004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisxvii, 90 f.| grafs., tabs.application/pdf210171http://repositorio.ufsc.br/xmlui/handle/123456789/88168porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-04T22:10:10Zoai:repositorio.ufsc.br:123456789/88168Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-04T22:10:10Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Sensores em sistemas a eventos discretos |
title |
Sensores em sistemas a eventos discretos |
spellingShingle |
Sensores em sistemas a eventos discretos Bouzon, Gustavo Engenharia eletrica Sistemas a eventos discretos Automação Detectores |
title_short |
Sensores em sistemas a eventos discretos |
title_full |
Sensores em sistemas a eventos discretos |
title_fullStr |
Sensores em sistemas a eventos discretos |
title_full_unstemmed |
Sensores em sistemas a eventos discretos |
title_sort |
Sensores em sistemas a eventos discretos |
author |
Bouzon, Gustavo |
author_facet |
Bouzon, Gustavo |
author_role |
author |
dc.contributor.none.fl_str_mv |
Cury, Jose Eduardo R Universidade Federal de Santa Catarina |
dc.contributor.author.fl_str_mv |
Bouzon, Gustavo |
dc.subject.por.fl_str_mv |
Engenharia eletrica Sistemas a eventos discretos Automação Detectores |
topic |
Engenharia eletrica Sistemas a eventos discretos Automação Detectores |
description |
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica. |
publishDate |
2004 |
dc.date.none.fl_str_mv |
2004 2004 2012-10-22T06:13:18Z 2012-10-22T06:13:18Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
210171 http://repositorio.ufsc.br/xmlui/handle/123456789/88168 |
identifier_str_mv |
210171 |
url |
http://repositorio.ufsc.br/xmlui/handle/123456789/88168 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
xvii, 90 f.| grafs., tabs. application/pdf |
dc.publisher.none.fl_str_mv |
Florianópolis, SC |
publisher.none.fl_str_mv |
Florianópolis, SC |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFSC instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Repositório Institucional da UFSC |
collection |
Repositório Institucional da UFSC |
repository.name.fl_str_mv |
Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
|
_version_ |
1808652337779048448 |