Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Braga, Rodrigo Pimenta Ferreira
Orientador(a): Cury, Jose Eduardo R
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
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/88239
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
id UFSC_c87c38834a1f18ca54add1c3eca2e185
oai_identifier_str oai:repositorio.ufsc.br:123456789/88239
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaBraga, Rodrigo Pimenta FerreiraCury, Jose Eduardo R2012-10-22T06:54:46Z2012-10-22T06:54:46Z20062006229642http://repositorio.ufsc.br/xmlui/handle/123456789/88239Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.A resolução de diferentes problemas relacionados aos Sistemas a Eventos Discretos deu origem a duas classes de técnicas bem definidas. De um lado estão as técnicas de síntese automática de supervisores, cuja maior contribuição é a menor interação com o projetista durante o processo de cálculo. De outro lado, as técnicas de verificação formal, que permitem ao projetista verificar se uma dada especificação é válida para um sistema (controlado ou não). Dentro deste contexto, o presente trabalho contribui para a unificação destas técnicas, ao incorporar sistemas de equações escritas em µ-calculus ao processo de síntese de supervisores em sistemas modelados por redes de Petri. Após a etapa de determinação do comportamento minimamente restritivo, utiliza-se a Teoria das Regiões para implementar o supervisor por meio da adição de lugares de controle à rede de Petri que modela o comportamento do sistema em malha aberta. Para isto, utilizam-se alguns princípios das abordagens Ziller e Schneider e Ghaffari et al., em conjunto com alguns aspectos peculiares. O principal resultado é a proposta de uma nova metodologia tão flexível e computacionalmente eficiente quanto a abordagem Ramadge e Wonham, permitindo a resolução de alguns exemplos tratados na literatura. Ao herdar as boas características das abordagens anteriores, a metodologia proposta também pode ser generalizada, de forma que problemas não abordados diretamente pela abordagem Ramadge e Wonham possam ser tratados. Como principais ferramentas de apoio, foram utilizados os softwares Tina e MEC. Por último, são apresentadas perspectivas visando incorporar explicitamente aspectos temporais ao processo de síntese.xiii, 115 f.| il., tabs.porFlorianópolis, SCEngenharia eletricaRedes de petriSistemas a eventos discretosContribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petriinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL229642.pdfapplication/pdf913013https://repositorio.ufsc.br/bitstream/123456789/88239/1/229642.pdfb91e4f245fcd6bd232b3b75341b7ea38MD51THUMBNAIL229642.pdf.jpg229642.pdf.jpgGenerated Thumbnailimage/jpeg1185https://repositorio.ufsc.br/bitstream/123456789/88239/2/229642.pdf.jpg91046c8dd48566cb1ecccc0ecbcebdb9MD52123456789/882392013-05-04 20:56:55.064oai:repositorio.ufsc.br:123456789/88239Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-05-04T23:56:55Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
title Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
spellingShingle Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
Braga, Rodrigo Pimenta Ferreira
Engenharia eletrica
Redes de petri
Sistemas a eventos discretos
title_short Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
title_full Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
title_fullStr Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
title_full_unstemmed Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
title_sort Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
author Braga, Rodrigo Pimenta Ferreira
author_facet Braga, Rodrigo Pimenta Ferreira
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Braga, Rodrigo Pimenta Ferreira
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
Redes de petri
Sistemas a eventos discretos
topic Engenharia eletrica
Redes de petri
Sistemas a eventos discretos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
publishDate 2006
dc.date.submitted.pt_BR.fl_str_mv 2006
dc.date.issued.fl_str_mv 2006
dc.date.accessioned.fl_str_mv 2012-10-22T06:54:46Z
dc.date.available.fl_str_mv 2012-10-22T06:54:46Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/xmlui/handle/123456789/88239
dc.identifier.other.pt_BR.fl_str_mv 229642
identifier_str_mv 229642
url http://repositorio.ufsc.br/xmlui/handle/123456789/88239
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 xiii, 115 f.| il., tabs.
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/88239/1/229642.pdf
https://repositorio.ufsc.br/bitstream/123456789/88239/2/229642.pdf.jpg
bitstream.checksum.fl_str_mv b91e4f245fcd6bd232b3b75341b7ea38
91046c8dd48566cb1ecccc0ecbcebdb9
bitstream.checksumAlgorithm.fl_str_mv 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_ 1851759282639339520

Registros relacionados