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

Detalhes bibliográficos
Autor(a) principal: Pena, Patrícia Nascimento
Data de Publicação: 2007
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: 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 2373
spelling Verificação de conflito na supervisão de sistemas concorrentes usando abstraçõesEngenharia eletricaSistemas a eventos discretosTese (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.Florianópolis, SCCury, Jose Eduardo RUniversidade Federal de Santa CatarinaPena, Patrícia Nascimento2012-10-23T06:32:08Z2012-10-23T06:32:08Z20072007info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf246645http://repositorio.ufsc.br/xmlui/handle/123456789/90139porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-03T19:39:46Zoai:repositorio.ufsc.br:123456789/90139Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-03T19:39:46Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.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.none.fl_str_mv Cury, Jose Eduardo R
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pena, Patrícia Nascimento
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 2007
dc.date.none.fl_str_mv 2007
2007
2012-10-23T06:32:08Z
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 246645
http://repositorio.ufsc.br/xmlui/handle/123456789/90139
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.format.none.fl_str_mv 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_ 1808652132027465728

Registros relacionados