Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos

Detalhes bibliográficos
Autor(a) principal: Rosa, Marcelo
Data de Publicação: 2019
Tipo de documento: Dissertação
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/4435
Resumo: A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente.
id UTFPR-12_4cc798d2238a0720a508f78fc0e977e9
oai_identifier_str oai:repositorio.utfpr.edu.br:1/4435
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 2019-09-20T13:56:38Z2019-09-20T13:56:38Z2019-02-14ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019.http://repositorio.utfpr.edu.br/jspui/handle/1/4435A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente.The Supervisory Control Theory (SCT) defines an automatic operation for the synthesis of controllers for Discrete-Event Systems (DESs). Despite its several extensions and improvements, the SCT still faces significant complexity issues that limit its practical application. In particular, these limitations permeate the stages of modeling, synthesis and implementation of controllers. Recently, an approach based on event-refinements has been proposed in the literature as a way of simplifying modeling tasks, thus extending the applicability of the SCT to a greater range of problems. However, this approach does not lead directly to computational gains in the synthesis procedure. Actually, it can be shown that the computational cost to calculate the controller is the same, with respect to the approach without refinements. Also, it can be shown that the cost in terms of hardware/memory to implement the control solution with or without refinements is the same. In order to extend the advantages of event refinements to the synthesis, the literature exploits the use of approximations. An approximation can be associated to the idea of model abstraction. In practice, its construction is materialized by the removal of part or all the mechanism that distinguishes refined events in the system model, thus making it simpler, but less precise. This level of imprecision may imply obtaining sub-optimal controllers, case in which the approach must be reconstructed until it leads to the optimal controller. This reconstruction is a manual process, which depends on the perception of the enginner and that, not rarely, is executed according to a trial-and-error strategy. In this dissertation, the construction of an approximation is automated and its benefits are extended to the stage of synthesis and implementation of controllers. Initially, a method for the construction of a special class of approximations that always leads to the optimal controller, without the need for any post-synthesis verification is proposed. Next, an architecture is proposed as a way to extend the benefits of refinements and approximations to the implementation phase. This approach allows the control system to be implemented in a decentralized manner, through a communicating system, which accomplishes the same role as a centralized implementation, but with gains in memory consumption to represent the control action in hardware. Finally, the last contribution of this dissertation extends the use of approximations to a modular case. This approach increases the applicability of the SCT to cover larger problems, since, by definition, the modular control is independent of the size of the system and can be derived incrementally.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)porUniversidade Tecnológica Federal do ParanáPato BrancoPrograma de Pós-Graduação em Engenharia ElétricaUTFPRBrasilCNPQ::ENGENHARIAS::ENGENHARIA ELETRICAEngenharia ElétricaSistema de tempo discretoSistemas de controle supervisórioControladores programáveisDiscrete-time systemsSupervisory control systemsProgrammable controllersExplorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretosExploiting the use of approximations in the synthesis and implementation of controllers for discrete event systemsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPato BrancoTeixeira, Marcelohttp://lattes.cnpq.br/8925349327322997Malik, Robihttps://orcid.org/0000-0001-7883-9314Teixeira, MarceloPena, Patrícia NascimentoBarbosa, Marco Antonio de CastroTorrico, Cesar Rafael Claurehttp://lattes.cnpq.br/4719481074638631Rosa, 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_PPGEE_M_Rosa, Marcelo_2019.pdfPB_PPGEE_M_Rosa, Marcelo_2019.pdfapplication/pdf777547http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/1/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf7c2a4c0ac15f52ff91d535a3a9f32af7MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTPB_PPGEE_M_Rosa, Marcelo_2019.pdf.txtPB_PPGEE_M_Rosa, Marcelo_2019.pdf.txtExtracted texttext/plain156136http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/3/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.txtd6539e3c30ec87dcad803b4f054e9514MD53THUMBNAILPB_PPGEE_M_Rosa, Marcelo_2019.pdf.jpgPB_PPGEE_M_Rosa, Marcelo_2019.pdf.jpgGenerated Thumbnailimage/jpeg1214http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/4/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.jpg02a1ebdbdc66fc8991489568e1443942MD541/44352019-09-21 03:00:40.585oai:repositorio.utfpr.edu.br:1/4435TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2019-09-21T06:00: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 Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
dc.title.alternative.pt_BR.fl_str_mv Exploiting the use of approximations in the synthesis and implementation of controllers for discrete event systems
title Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
spellingShingle Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
Rosa, Marcelo
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Sistema de tempo discreto
Sistemas de controle supervisório
Controladores programáveis
Discrete-time systems
Supervisory control systems
Programmable controllers
Engenharia Elétrica
title_short Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
title_full Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
title_fullStr Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
title_full_unstemmed Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
title_sort Explorando o uso de aproximações na síntese e 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.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8925349327322997
dc.contributor.advisor-co1.fl_str_mv Malik, Robi
dc.contributor.advisor-co1Lattes.fl_str_mv https://orcid.org/0000-0001-7883-9314
dc.contributor.referee1.fl_str_mv Teixeira, Marcelo
dc.contributor.referee2.fl_str_mv Pena, Patrícia Nascimento
dc.contributor.referee3.fl_str_mv Barbosa, Marco Antonio de Castro
dc.contributor.referee4.fl_str_mv Torrico, Cesar Rafael Claure
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4719481074638631
dc.contributor.author.fl_str_mv Rosa, Marcelo
contributor_str_mv Teixeira, Marcelo
Malik, Robi
Teixeira, Marcelo
Pena, Patrícia Nascimento
Barbosa, Marco Antonio de Castro
Torrico, Cesar Rafael Claure
dc.subject.cnpq.fl_str_mv CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
topic CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Sistema de tempo discreto
Sistemas de controle supervisório
Controladores programáveis
Discrete-time systems
Supervisory control systems
Programmable controllers
Engenharia Elétrica
dc.subject.por.fl_str_mv Sistema de tempo discreto
Sistemas de controle supervisório
Controladores programáveis
Discrete-time systems
Supervisory control systems
Programmable controllers
dc.subject.capes.pt_BR.fl_str_mv Engenharia Elétrica
description A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente.
publishDate 2019
dc.date.accessioned.fl_str_mv 2019-09-20T13:56:38Z
dc.date.available.fl_str_mv 2019-09-20T13:56:38Z
dc.date.issued.fl_str_mv 2019-02-14
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.citation.fl_str_mv ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/4435
identifier_str_mv ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019.
url http://repositorio.utfpr.edu.br/jspui/handle/1/4435
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 Programa de Pós-Graduação em Engenharia Elétrica
dc.publisher.initials.fl_str_mv UTFPR
dc.publisher.country.fl_str_mv Brasil
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/4435/1/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/3/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/4/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.jpg
bitstream.checksum.fl_str_mv 7c2a4c0ac15f52ff91d535a3a9f32af7
b9d82215ab23456fa2d8b49c5df1b95b
d6539e3c30ec87dcad803b4f054e9514
02a1ebdbdc66fc8991489568e1443942
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_ 1805923191351148544