Redução de supervisores utilizando marcação por eventos e métodos de otimização

Detalhes bibliográficos
Autor(a) principal: Silva Neto, Francisco de Assis
Data de Publicação: 2008
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/91048
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
id UFSC_b6af746191acd08d3059c0445d6271e8
oai_identifier_str oai:repositorio.ufsc.br:123456789/91048
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Redução de supervisores utilizando marcação por eventos e métodos de otimizaçãoEngenharia eletricaAlgoritmos genéticosProgramação linearOtimização matemáticaSistemas a eventos discretosDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Este trabalho tem como objetivo enunciar organizadamente as diferentes abordagens de síntese de supervisores em sistemas a eventos discretos (supervisor não-marcador, supervisor marcador e supervisor desmarcador) e reluzi-los utilizando métodos de otimização como Programação Linear Inteira Mista (PLIM) e Algoritmos Genéticos (AG). Para tal, propõe-se uma metodologia original para se representar a marcação de estados por meio de eventos de marcação e reduzir supervisores por meio de coberturas de controle independentemente do tipo de supervisor. Como resultado, primeiramente demonstra-se matematicamente a equivalência entre a marcação de estados tradicional e a marcação por eventos de marcação. Então, substitui-se a condição de consistência da marcação durante a redução de supervisores por um problema de controlabilidade dos eventos de marcação. Além disso, e ainda utilizando eventos de marcação, o problema da redução de supervisores é modelado em PLIM e AG, chegando-se a reduzir supervisores de 384 estados (por meio de PLIM) e de 96 estados (por meio de AG). Ao final, concluem-se as metodologias propostas e estabelecem-se perspectivas para trabalhos futuros.Florianópolis, SCQueiroz, Max Hering deBittencourt, GuilhermeUniversidade Federal de Santa CatarinaSilva Neto, Francisco de Assis2012-10-23T18:15:28Z2012-10-23T18:15:28Z20082008info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisxi, 81 f.| grafs., tabs.application/pdf260130http://repositorio.ufsc.br/xmlui/handle/123456789/91048porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-05T08:42:56Zoai:repositorio.ufsc.br:123456789/91048Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-05T08:42:56Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Redução de supervisores utilizando marcação por eventos e métodos de otimização
title Redução de supervisores utilizando marcação por eventos e métodos de otimização
spellingShingle Redução de supervisores utilizando marcação por eventos e métodos de otimização
Silva Neto, Francisco de Assis
Engenharia eletrica
Algoritmos genéticos
Programação linear
Otimização matemática
Sistemas a eventos discretos
title_short Redução de supervisores utilizando marcação por eventos e métodos de otimização
title_full Redução de supervisores utilizando marcação por eventos e métodos de otimização
title_fullStr Redução de supervisores utilizando marcação por eventos e métodos de otimização
title_full_unstemmed Redução de supervisores utilizando marcação por eventos e métodos de otimização
title_sort Redução de supervisores utilizando marcação por eventos e métodos de otimização
author Silva Neto, Francisco de Assis
author_facet Silva Neto, Francisco de Assis
author_role author
dc.contributor.none.fl_str_mv Queiroz, Max Hering de
Bittencourt, Guilherme
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Silva Neto, Francisco de Assis
dc.subject.por.fl_str_mv Engenharia eletrica
Algoritmos genéticos
Programação linear
Otimização matemática
Sistemas a eventos discretos
topic Engenharia eletrica
Algoritmos genéticos
Programação linear
Otimização matemática
Sistemas a eventos discretos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
publishDate 2008
dc.date.none.fl_str_mv 2008
2008
2012-10-23T18:15:28Z
2012-10-23T18:15:28Z
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 260130
http://repositorio.ufsc.br/xmlui/handle/123456789/91048
identifier_str_mv 260130
url http://repositorio.ufsc.br/xmlui/handle/123456789/91048
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 xi, 81 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_ 1808651915185094656

Registros relacionados