Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares

Detalhes bibliográficos
Autor(a) principal: Oliveira, Cláudio de
Data de Publicação: 2005
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/handle/123456789/101972
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
id UFSC_9a7f79c39c507721331df18fc1c98923
oai_identifier_str oai:repositorio.ufsc.br:123456789/101972
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regularesEngenharia eletricaSistemas a eventos discretosTese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Esta tese apresenta um modelo para sistemas a eventos discretos no qual a planta consiste de um Sistema de Transiçao de Estados equipado com uma colecao de dados. A coleçao de dados introduz variaveis cujos valores sao atualizados por opera¸coes comandadas pelas transicoes discretas do Sistema de Transicao de Estados. As especificacoes de comportamentos desejaveis consistem de predicados relacionados as ocorrencias dos eventos. O supervisor, baseado na sequencia de eventos ocorrida no passado, controla a evolucao do sistema atraves da habilitaçao de eventos. A decisao da habilitacao de eventos decorre da avaliaçao de predicados computados a partir da especificacao de comportamentos desejaveis. Um metodo para a sintese de supervisores atendendo uma especificaçao atraves de um controle minimamente restritivo e apresentado. As principais caracteristicas do framework apresentado sao a possibilidade da captura de comportamentos nao-regulares e a construçao de modelos parametrizados os quais conduzem a solucoes genericas para uma dada classe de problemas.Florianópolis, SCCury, Jose Eduardo RUniversidade Federal de Santa CatarinaOliveira, Cláudio de2013-07-15T23:41:54Z2013-07-15T23:41:54Z20052005info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisxxvi, 156 p.| il., tabs.application/pdf232772http://repositorio.ufsc.br/handle/123456789/101972porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2014-01-19T02:39:08Zoai:repositorio.ufsc.br:123456789/101972Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732014-01-19T02:39:08Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
title Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
spellingShingle Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
Oliveira, Cláudio de
Engenharia eletrica
Sistemas a eventos discretos
title_short Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
title_full Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
title_fullStr Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
title_full_unstemmed Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
title_sort Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
author Oliveira, Cláudio de
author_facet Oliveira, Cláudio de
author_role author
dc.contributor.none.fl_str_mv Cury, Jose Eduardo R
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Oliveira, Cláudio de
dc.subject.por.fl_str_mv Engenharia eletrica
Sistemas a eventos discretos
topic Engenharia eletrica
Sistemas a eventos discretos
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
publishDate 2005
dc.date.none.fl_str_mv 2005
2005
2013-07-15T23:41:54Z
2013-07-15T23:41:54Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 232772
http://repositorio.ufsc.br/handle/123456789/101972
identifier_str_mv 232772
url http://repositorio.ufsc.br/handle/123456789/101972
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 xxvi, 156 p.| il., 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_ 1808652182276276224