Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
Autor(a) principal: | |
---|---|
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 |