Controle de sistemas a eventos discretos com suporte a otimizações

Detalhes bibliográficos
Autor(a) principal: Pastro, Cristian Roberto
Data de Publicação: 2019
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/24352
Resumo: Sistemas autônomos estão cada vez mais presentes na indústria, buscando realizar tarefas antes manuais, de forma eficiente. Para que a produção e o lucro sejam maximizados, os sistemas autônomos devem ser otimizados de forma a calcular rigorosamente suas decisões e, além disso, serem flexíveis o suficiente para que parâmetros do sistema possam ser facilmente alterados. Sistemas a Eventos Discretos (SEDs) são utilizados na indústria para modelar processos, dentre estes, os sitemas autônomos. Uma das possibilidades de controle de SEDs é por meio da Teoria do Controle Supervisório (TCS). A TCS oferece uma metodologia para síntese de controladores garantidamente controláveis, não bloqueantes e minimamente restritivos em relação às especificações projetadas. Apesar dessas vantagens, otimizações não são facilmente implementadas utilizando a TCS. Além do mais, alterações em parâmetros de projeto implicam na necessidade de uma nova síntese do controlador. Conclui-se então que a TCS mesmo segura em relação às especificações de controle, não oferece técnicas de otimização intrínsecas, além de não ser flexível em relação às alterações de parâmetros. Este trabalho visa incorporar uma extenção à malha de controle tradicional, de forma a otimizar ao controle, tornando-o mais eficiente e flexível. Essa nova metodologia propõe a criação de um novo grupo de eventos no sistema, os Eventos Otimizáveis. Com base nesse grupo de eventos e na ação de controle calculada pela TCS clássica, uma nova entidade chamada Otimizador é capaz de oferecer melhorias à ação de controle. Depois da adição do Otimizador, uma malha de controle estendida é criada. A nova malha de controle foi testada utilizando um exemplo prático, integrando a TCS com um algoritmo guloso. Além disso, calculou-se o benefício obtido com a malha otimizada em relação à convencional por meio de resultados experimentais. Observou-se que o método proposto oferece melhorias em relação às otimizações se comparado com a TCS tradicional. Ademais, o overhead causado pela adição do Otimizador não é grande o suficiente para comprometer a ação de controle.
id UTFPR-12_1a7d352ea3049e9dcf39cf68c740bfd1
oai_identifier_str oai:repositorio.utfpr.edu.br:1/24352
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 2021-02-22T17:54:19Z2021-01-122021-02-22T17:54:19Z2019-07-02PASTRO, Cristian Roberto. Controle de sistemas a eventos discretos com suporte a otimizações. 2019. Trabalho de Conclusão de Curso (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná (UTFPR), Pato Branco, 2019.http://repositorio.utfpr.edu.br/jspui/handle/1/24352Sistemas autônomos estão cada vez mais presentes na indústria, buscando realizar tarefas antes manuais, de forma eficiente. Para que a produção e o lucro sejam maximizados, os sistemas autônomos devem ser otimizados de forma a calcular rigorosamente suas decisões e, além disso, serem flexíveis o suficiente para que parâmetros do sistema possam ser facilmente alterados. Sistemas a Eventos Discretos (SEDs) são utilizados na indústria para modelar processos, dentre estes, os sitemas autônomos. Uma das possibilidades de controle de SEDs é por meio da Teoria do Controle Supervisório (TCS). A TCS oferece uma metodologia para síntese de controladores garantidamente controláveis, não bloqueantes e minimamente restritivos em relação às especificações projetadas. Apesar dessas vantagens, otimizações não são facilmente implementadas utilizando a TCS. Além do mais, alterações em parâmetros de projeto implicam na necessidade de uma nova síntese do controlador. Conclui-se então que a TCS mesmo segura em relação às especificações de controle, não oferece técnicas de otimização intrínsecas, além de não ser flexível em relação às alterações de parâmetros. Este trabalho visa incorporar uma extenção à malha de controle tradicional, de forma a otimizar ao controle, tornando-o mais eficiente e flexível. Essa nova metodologia propõe a criação de um novo grupo de eventos no sistema, os Eventos Otimizáveis. Com base nesse grupo de eventos e na ação de controle calculada pela TCS clássica, uma nova entidade chamada Otimizador é capaz de oferecer melhorias à ação de controle. Depois da adição do Otimizador, uma malha de controle estendida é criada. A nova malha de controle foi testada utilizando um exemplo prático, integrando a TCS com um algoritmo guloso. Além disso, calculou-se o benefício obtido com a malha otimizada em relação à convencional por meio de resultados experimentais. Observou-se que o método proposto oferece melhorias em relação às otimizações se comparado com a TCS tradicional. Ademais, o overhead causado pela adição do Otimizador não é grande o suficiente para comprometer a ação de controle.Autonomous systems are increasingly present in the industry, seeking to efficiently perform tasks that are befored manually. In order to maximize production and profit, autonomous systems are expected to be optimized and rigorously calculated, so that they can be flexible enough to support easy parameters changing. Discrete Event Systems (DESs) are used in the industry for process modeling, among them, the autonomous systems. One of the possibilities for DESs control is by using Supervisory Control Theory (SCT). SCT offers a methodology for synthesizing controllable, non-blocking and minimally restrictive controllers for DES. Despite its advantages, optimization aspects are not easily implemented using SCT. Moreover, any change in the system plant imply in synthesizing a new controller, which tends to be expensive both in terms of time or computation. Therefore, although the SCT is safe with respect to control specifications, it does not offer intrinsic optimization techniques, not it behaves flexibly under parameter changes. This work aims to extend the traditional control mesh, keeping its safety benefits, but adding to it a more efficient and flexible feature. For that, we separate the original alphabet into a new set of events, the optimizable events. Based on this event set and on the control action calculated by the classical SCT, a new entity called the Optimizer is able to promote improvements on the control action, thus optimizing the industrial plants under the action of the new controller. After the Optimizer is added, an extended control loop is created. The new control mesh was tested using a practical example, integrating the SCT with a greedy algorithm. It was observed that the proposed method offers improvements in relation to the optimizations when compared with traditional SCT. In addition, the overhead caused by the addition of the Optimizer is not large enough to compromise the control action.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órioAnálise de sistemasMicrocontroladoresDiscrete-time systemsSupervisory control systemsSystem analysisMicrocontrollersControle de sistemas a eventos discretos com suporte a otimizaçõesControl of discrete event systems with optimization supportinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisPato BrancoTeixeira, MarceloTeixeira, MarceloOliva, Jefferson TalesBarbosa, Marco Antonio de CastroPastro, Cristian Robertoinfo: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_2019_1_01.pdfPB_COENC_2019_1_01.pdfapplication/pdf1263689http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/1/PB_COENC_2019_1_01.pdf7de8f496a609a4e3346a0a8348c61f3fMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTPB_COENC_2019_1_01.pdf.txtPB_COENC_2019_1_01.pdf.txtExtracted texttext/plain119271http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/3/PB_COENC_2019_1_01.pdf.txt9c2072607575067d22709f0614ece2f9MD53THUMBNAILPB_COENC_2019_1_01.pdf.jpgPB_COENC_2019_1_01.pdf.jpgGenerated Thumbnailimage/jpeg1383http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/4/PB_COENC_2019_1_01.pdf.jpgfc9004f83573511d852f3704902ed159MD541/243522021-02-23 03:10:40.924oai:repositorio.utfpr.edu.br:1/24352TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2021-02-23T06:10:40Repositó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 Controle de sistemas a eventos discretos com suporte a otimizações
dc.title.alternative.pt_BR.fl_str_mv Control of discrete event systems with optimization support
title Controle de sistemas a eventos discretos com suporte a otimizações
spellingShingle Controle de sistemas a eventos discretos com suporte a otimizações
Pastro, Cristian Roberto
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Sistemas de tempo discreto
Sistemas de controle supervisório
Análise de sistemas
Microcontroladores
Discrete-time systems
Supervisory control systems
System analysis
Microcontrollers
title_short Controle de sistemas a eventos discretos com suporte a otimizações
title_full Controle de sistemas a eventos discretos com suporte a otimizações
title_fullStr Controle de sistemas a eventos discretos com suporte a otimizações
title_full_unstemmed Controle de sistemas a eventos discretos com suporte a otimizações
title_sort Controle de sistemas a eventos discretos com suporte a otimizações
author Pastro, Cristian Roberto
author_facet Pastro, Cristian Roberto
author_role author
dc.contributor.advisor1.fl_str_mv Teixeira, Marcelo
dc.contributor.referee1.fl_str_mv Teixeira, Marcelo
dc.contributor.referee2.fl_str_mv Oliva, Jefferson Tales
dc.contributor.referee3.fl_str_mv Barbosa, Marco Antonio de Castro
dc.contributor.author.fl_str_mv Pastro, Cristian Roberto
contributor_str_mv Teixeira, Marcelo
Teixeira, Marcelo
Oliva, Jefferson Tales
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
Análise de sistemas
Microcontroladores
Discrete-time systems
Supervisory control systems
System analysis
Microcontrollers
dc.subject.por.fl_str_mv Sistemas de tempo discreto
Sistemas de controle supervisório
Análise de sistemas
Microcontroladores
Discrete-time systems
Supervisory control systems
System analysis
Microcontrollers
description Sistemas autônomos estão cada vez mais presentes na indústria, buscando realizar tarefas antes manuais, de forma eficiente. Para que a produção e o lucro sejam maximizados, os sistemas autônomos devem ser otimizados de forma a calcular rigorosamente suas decisões e, além disso, serem flexíveis o suficiente para que parâmetros do sistema possam ser facilmente alterados. Sistemas a Eventos Discretos (SEDs) são utilizados na indústria para modelar processos, dentre estes, os sitemas autônomos. Uma das possibilidades de controle de SEDs é por meio da Teoria do Controle Supervisório (TCS). A TCS oferece uma metodologia para síntese de controladores garantidamente controláveis, não bloqueantes e minimamente restritivos em relação às especificações projetadas. Apesar dessas vantagens, otimizações não são facilmente implementadas utilizando a TCS. Além do mais, alterações em parâmetros de projeto implicam na necessidade de uma nova síntese do controlador. Conclui-se então que a TCS mesmo segura em relação às especificações de controle, não oferece técnicas de otimização intrínsecas, além de não ser flexível em relação às alterações de parâmetros. Este trabalho visa incorporar uma extenção à malha de controle tradicional, de forma a otimizar ao controle, tornando-o mais eficiente e flexível. Essa nova metodologia propõe a criação de um novo grupo de eventos no sistema, os Eventos Otimizáveis. Com base nesse grupo de eventos e na ação de controle calculada pela TCS clássica, uma nova entidade chamada Otimizador é capaz de oferecer melhorias à ação de controle. Depois da adição do Otimizador, uma malha de controle estendida é criada. A nova malha de controle foi testada utilizando um exemplo prático, integrando a TCS com um algoritmo guloso. Além disso, calculou-se o benefício obtido com a malha otimizada em relação à convencional por meio de resultados experimentais. Observou-se que o método proposto oferece melhorias em relação às otimizações se comparado com a TCS tradicional. Ademais, o overhead causado pela adição do Otimizador não é grande o suficiente para comprometer a ação de controle.
publishDate 2019
dc.date.issued.fl_str_mv 2019-07-02
dc.date.accessioned.fl_str_mv 2021-02-22T17:54:19Z
dc.date.available.fl_str_mv 2021-01-12
2021-02-22T17:54:19Z
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 PASTRO, Cristian Roberto. Controle de sistemas a eventos discretos com suporte a otimizações. 2019. Trabalho de Conclusão de Curso (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná (UTFPR), Pato Branco, 2019.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/24352
identifier_str_mv PASTRO, Cristian Roberto. Controle de sistemas a eventos discretos com suporte a otimizações. 2019. Trabalho de Conclusão de Curso (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná (UTFPR), Pato Branco, 2019.
url http://repositorio.utfpr.edu.br/jspui/handle/1/24352
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/24352/1/PB_COENC_2019_1_01.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/3/PB_COENC_2019_1_01.pdf.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/24352/4/PB_COENC_2019_1_01.pdf.jpg
bitstream.checksum.fl_str_mv 7de8f496a609a4e3346a0a8348c61f3f
b9d82215ab23456fa2d8b49c5df1b95b
9c2072607575067d22709f0614ece2f9
fc9004f83573511d852f3704902ed159
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_ 1805923169003896832