Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos

Detalhes bibliográficos
Autor(a) principal: Rosa, Marcelo
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/14577
Resumo: Na Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos, o refinamento de eventos tem sido explorado para simplificar a tarefa de modelagem. As Aproximações complementam essa abordagem como uma alternativa para reduzir o esforço na síntese. Apesar das vantagens na etapa de modelagem e síntese, refinamentos n˜ao cobrem diretamente a fase de implementação. Em geral, controladores obtidos com ou sem refinamentos são implementados com o mesmo custo de hardware. Este trabalho propõe uma arquitetura descentralizada que estende os ganhos provenientes dos refinamentos da síntese para implementação. A abordagem proposta separa supervisor e distinguidor em duas estruturas distintas, as quais se comunicam de tal forma que o resultado da ação de controle sobre a planta é equivalente a versão centralizada, porém com custo de implementação reduzido. Além disso, é apresentada uma alternativa para implementar o comportamento do distinguidor utilizando um modelo genérico composto por dois estados, o qual espera-se estender para qualquer distinguidor.
id UTFPR-12_1e65cd0c649ec0d38ba4b502114b1209
oai_identifier_str oai:repositorio.utfpr.edu.br:1/14577
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling 2020-11-18T14:01:07Z2020-11-18T14:01:07Z2016-12-08ROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.http://repositorio.utfpr.edu.br/jspui/handle/1/14577Na Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos, o refinamento de eventos tem sido explorado para simplificar a tarefa de modelagem. As Aproximações complementam essa abordagem como uma alternativa para reduzir o esforço na síntese. Apesar das vantagens na etapa de modelagem e síntese, refinamentos n˜ao cobrem diretamente a fase de implementação. Em geral, controladores obtidos com ou sem refinamentos são implementados com o mesmo custo de hardware. Este trabalho propõe uma arquitetura descentralizada que estende os ganhos provenientes dos refinamentos da síntese para implementação. A abordagem proposta separa supervisor e distinguidor em duas estruturas distintas, as quais se comunicam de tal forma que o resultado da ação de controle sobre a planta é equivalente a versão centralizada, porém com custo de implementação reduzido. Além disso, é apresentada uma alternativa para implementar o comportamento do distinguidor utilizando um modelo genérico composto por dois estados, o qual espera-se estender para qualquer distinguidor.In the Supervisory Control Theory (SCT) of Discrete Event Systems, the refinement of events has been explored to simplify the modeling task. Approximations complement this approach as an alternative to reduce effort in synthesis. In spite of the advantages in the modeling and synthesis step, refinements do not directly cover the implementation phase. In general, controllers obtained with or without refinements are implemented with the same hardware cost. This paper proposes a decentralized architecture that extends the gains from the refinements of the synthesis to implementation. The proposed approach separates supervisor and distinguisher in two distinct structures, which communicate in such a way that the result of the control action on the plant is equivalent to the centralized version, but with reduced implementation cost. In addition, an alternative to implement the distinguisher behavior is presented using a generic two-state model, which is expected to extend to any distinguisher.porUniversidade Tecnológica Federal do ParanáPato BrancoEngenharia de ComputaçãoUTFPRBrasilDepartamento Acadêmico de InformáticaCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOSistemas de tempo discretoSistemas de controle supervisórioAutomaçãoDiscrete-time systemsSupervisory control systemsAutomationExplorando o uso de abstrações na implementação de controladores para sistemas a eventos discretosExploring the use of abstractions in the implementation of controllers for discrete event systemsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisPato BrancoTeixeira, MarceloDenardin, Gustavo WeberTeixeira, MarceloDenardin, Gustavo WeberTorrico, César Rafael ClaureBarbosa, Marco Antonio de CastroRosa, Marceloinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRORIGINALPB_COENC_2016_2_08.pdfapplication/pdf561570http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/1/PB_COENC_2016_2_08.pdfa7d4bfb54f93ba9699bc8f4b923e2194MD51LICENSElicense.txttext/plain1290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTPB_COENC_2016_2_08.pdf.txtExtracted texttext/plain93312http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/3/PB_COENC_2016_2_08.pdf.txt4120fa32eabb5090ea4d83b1f6115f69MD53THUMBNAILPB_COENC_2016_2_08.pdf.jpgGenerated Thumbnailimage/jpeg1329http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/4/PB_COENC_2016_2_08.pdf.jpg320662f89bd05d7572ea87a3a23e5c07MD541/145772020-11-18 12:01:07.809oai:repositorio.utfpr.edu.br:1/14577TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2020-11-18T14:01:07Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.pt_BR.fl_str_mv Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
dc.title.alternative.pt_BR.fl_str_mv Exploring the use of abstractions in the implementation of controllers for discrete event systems
title Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
spellingShingle Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
Rosa, Marcelo
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
title_short Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_full Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_fullStr Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_full_unstemmed Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
title_sort Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
author Rosa, Marcelo
author_facet Rosa, Marcelo
author_role author
dc.contributor.advisor1.fl_str_mv Teixeira, Marcelo
dc.contributor.advisor-co1.fl_str_mv Denardin, Gustavo Weber
dc.contributor.referee1.fl_str_mv Teixeira, Marcelo
dc.contributor.referee2.fl_str_mv Denardin, Gustavo Weber
dc.contributor.referee3.fl_str_mv Torrico, César Rafael Claure
dc.contributor.referee4.fl_str_mv Barbosa, Marco Antonio de Castro
dc.contributor.author.fl_str_mv Rosa, Marcelo
contributor_str_mv Teixeira, Marcelo
Denardin, Gustavo Weber
Teixeira, Marcelo
Denardin, Gustavo Weber
Torrico, César Rafael Claure
Barbosa, Marco Antonio de Castro
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
dc.subject.por.fl_str_mv Sistemas de tempo discreto
Sistemas de controle supervisório
Automação
Discrete-time systems
Supervisory control systems
Automation
description Na Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos, o refinamento de eventos tem sido explorado para simplificar a tarefa de modelagem. As Aproximações complementam essa abordagem como uma alternativa para reduzir o esforço na síntese. Apesar das vantagens na etapa de modelagem e síntese, refinamentos n˜ao cobrem diretamente a fase de implementação. Em geral, controladores obtidos com ou sem refinamentos são implementados com o mesmo custo de hardware. Este trabalho propõe uma arquitetura descentralizada que estende os ganhos provenientes dos refinamentos da síntese para implementação. A abordagem proposta separa supervisor e distinguidor em duas estruturas distintas, as quais se comunicam de tal forma que o resultado da ação de controle sobre a planta é equivalente a versão centralizada, porém com custo de implementação reduzido. Além disso, é apresentada uma alternativa para implementar o comportamento do distinguidor utilizando um modelo genérico composto por dois estados, o qual espera-se estender para qualquer distinguidor.
publishDate 2016
dc.date.issued.fl_str_mv 2016-12-08
dc.date.accessioned.fl_str_mv 2020-11-18T14:01:07Z
dc.date.available.fl_str_mv 2020-11-18T14:01:07Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv ROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/14577
identifier_str_mv ROSA, Marcelo. Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos. 2016. 57 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2016.
url http://repositorio.utfpr.edu.br/jspui/handle/1/14577
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 Universidade Tecnológica Federal do Paraná
Pato Branco
dc.publisher.program.fl_str_mv Engenharia de Computação
dc.publisher.initials.fl_str_mv UTFPR
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Departamento Acadêmico de Informática
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Pato Branco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
bitstream.url.fl_str_mv http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/1/PB_COENC_2016_2_08.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/3/PB_COENC_2016_2_08.pdf.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14577/4/PB_COENC_2016_2_08.pdf.jpg
bitstream.checksum.fl_str_mv a7d4bfb54f93ba9699bc8f4b923e2194
b9d82215ab23456fa2d8b49c5df1b95b
4120fa32eabb5090ea4d83b1f6115f69
320662f89bd05d7572ea87a3a23e5c07
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv
_version_ 1805923253406924800

Registros relacionados