Verificação de conflito na supervisão de sistemas concorrentes usando abstrações
Autor(a) principal: | |
---|---|
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 |