Controle de sistemas a eventos discretos com suporte a otimizações
Autor(a) principal: | |
---|---|
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 |