Verificação de conflito na supervisão de sistemas concorrentes usando abstrações

Detalhes bibliográficos
Ano de defesa: 2007
Autor(a) principal: Pena, Patrícia Nascimento
Orientador(a): Cury, Jose Eduardo R
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis, SC
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/90139
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
id UFSC_37115da92ffccd57fb93d753244264ff
oai_identifier_str oai:repositorio.ufsc.br:123456789/90139
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaPena, Patrícia NascimentoCury, Jose Eduardo R2012-10-23T06:32:08Z2012-10-23T06:32:08Z20072007246645http://repositorio.ufsc.br/xmlui/handle/123456789/90139Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.A explosão do espaço de estados associada ao teste para detecção do conflito é um dos principais problemas que impedem a aplicação da Teoria de Controle Supervisório de Sistemas a Eventos Discretos a sistemas industriais reais. O conflito é uma propriedade global dos sistemas concorrentes sendo que, para sua detecção, deve-se verificar não-bloqueio da composição dos subsistemas que estão sendo verificados. Esta tese trata do problema de detecção de conflito de forma eficiente. Neste trabalho, propõe-se um novo teste de não-conflito baseado em abstrações dos supervisores, obtidas pela operação de projeção natural. Apresentam-se dois conjuntos de condições sobre as abstrações para os quais o teste de não-conflito pode ser aplicado, com resultado equivalente àquele do teste sobre os supervisores originais. No primeiro conjunto de condições os eventos compartilhados são mantidos nas abstrações e a projeção deve possuir a propriedade do observador. O segundo conjunto de condições sobre as abstrações leva em conta propriedades estruturais dos supervisores originais para derivar o conjunto de eventos a serem mantidos nas abstrações, além da propriedade do observador sobre a projeção obtida. As duas abordagens podem ser utilizadas em conjunto para obter abstrações possivelmente melhores, de forma a obter maior redução do espaço de estados na verificação de não-conflito. Apresenta-se ainda um algoritmo para verificação da propriedade do observador. Esta propriedade é utilizada exaustivamente nos resultados apresentados e sua verificação torna-se de grande interesse para a aplicação dos resultados obtidos.porFlorianópolis, SCEngenharia eletricaSistemas a eventos discretosVerificação de conflito na supervisão de sistemas concorrentes usando abstraçõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL246645.pdfapplication/pdf1214911https://repositorio.ufsc.br/bitstream/123456789/90139/1/246645.pdf7e33bf379856a93d9378e80eca2ac03bMD51TEXT246645.pdf.txt246645.pdf.txtExtracted Texttext/plain426581https://repositorio.ufsc.br/bitstream/123456789/90139/2/246645.pdf.txt1da8d9b534c2bc098969c359ff28aac8MD52THUMBNAIL246645.pdf.jpg246645.pdf.jpgGenerated Thumbnailimage/jpeg1273https://repositorio.ufsc.br/bitstream/123456789/90139/3/246645.pdf.jpg1e74fe8ff4423d9a0f547099ea8ae527MD53123456789/901392013-05-03 16:39:46.976oai:repositorio.ufsc.br:123456789/90139Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-05-03T19:39:46Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
title Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
spellingShingle Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
Pena, Patrícia Nascimento
Engenharia eletrica
Sistemas a eventos discretos
title_short Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
title_full Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
title_fullStr Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
title_full_unstemmed Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
title_sort Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
author Pena, Patrícia Nascimento
author_facet Pena, Patrícia Nascimento
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pena, Patrícia Nascimento
dc.contributor.advisor1.fl_str_mv Cury, Jose Eduardo R
contributor_str_mv Cury, Jose Eduardo R
dc.subject.classification.pt_BR.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 2007
dc.date.submitted.pt_BR.fl_str_mv 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2012-10-23T06:32:08Z
dc.date.available.fl_str_mv 2012-10-23T06:32:08Z
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 http://repositorio.ufsc.br/xmlui/handle/123456789/90139
dc.identifier.other.pt_BR.fl_str_mv 246645
identifier_str_mv 246645
url http://repositorio.ufsc.br/xmlui/handle/123456789/90139
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.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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/90139/1/246645.pdf
https://repositorio.ufsc.br/bitstream/123456789/90139/2/246645.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/90139/3/246645.pdf.jpg
bitstream.checksum.fl_str_mv 7e33bf379856a93d9378e80eca2ac03b
1da8d9b534c2bc098969c359ff28aac8
1e74fe8ff4423d9a0f547099ea8ae527
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851759055278702592

Registros relacionados