Arquitetura para a implementação de controle supervisório comunicante
Autor(a) principal: | |
---|---|
Data de Publicação: | 2022 |
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/30616 |
Resumo: | A indústria moderna contempla um perfil de sistemas que detectam e reagem, em tempo de execução, às mudanças no contexto físico, passando a operar de diferentes modos. Ainda que essa característica exponha potencial para agregar melhorias aos processos produtivos, ela também impõe desafios à comunidade de Engenharia de Automação e Controle, como, por exemplo, na capacidade limitada para processar, em paralelo, múltiplas e complexas malhas de controle. Uma alternativa nasce da combinação de métodos formais de síntese, como a Teoria de Controle Supervisório (TCS), com arquiteturas que descentralizam a implementação do sistema de controle. Isso beneficia tanto a programação do controlador quanto a sua implementação. Entretanto, modelos atuais de implementação descentralizada não consideram aspectos emergentes da indústria, como a comunicação via internet de módulos descentralizados de controle, algo que apresenta potencial para a personalização da produção e produção cooperativa. Este trabalho propõe uma arquitetura que descentraliza o sistema de controle resultante da TCS e implementa a comunicação entre diferentes agentes de controle. Uma peça chave nesta proposta vem do conceito de um agente central e agente local de controle. O agente central executa uma abstração do comportamento dos agentes locais sendo responsável pela coordenação, em alto nível, da lógica do sistema de controle que resulta nas ações físicas locais. Nessa abstração, o controle global comanda ações aos agentes locais após o processamento de certos eventos reportados pelos agentes locais. Esses eventos, em geral, representam contextos de operação que abstraem cadeias de eventos observáveis localmente, mas não observáveis globalmente, deixando assim o controle global mais simples e concentrado em ações chaves do sistema, operacionalizadas apenas localmente. Em termos de resultado, foi observada uma redução significativa da máquina de estados implementada no agente central (com abstração) comparada com uma máquina de estados equivalente (sem abstração), ambas utilizando uma abordagem monolítica para a síntese do supervisor, que resultou em 207 estados e 464 transições de uma máquina com 251 estados e 526 transições, respectivamente. Além disso, demais aspectos de implementação indicam alto potencial de escalabilidade, que implica em possíveis ganhos a TCS, com possibilidade de expansão para diversas pesquisas e uso em ambientes produtivos. |
id |
UTFPR-12_705daca462426fd52818fafd2d47486a |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/30616 |
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 |
2023-02-23T14:16:47Z2023-02-23T14:16:47Z2022-09-13CÂNCIO, Geovany Aparecido Duarte. Arquitetura para a implementação de controle supervisório comunicante. 2022. Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2022.http://repositorio.utfpr.edu.br/jspui/handle/1/30616A indústria moderna contempla um perfil de sistemas que detectam e reagem, em tempo de execução, às mudanças no contexto físico, passando a operar de diferentes modos. Ainda que essa característica exponha potencial para agregar melhorias aos processos produtivos, ela também impõe desafios à comunidade de Engenharia de Automação e Controle, como, por exemplo, na capacidade limitada para processar, em paralelo, múltiplas e complexas malhas de controle. Uma alternativa nasce da combinação de métodos formais de síntese, como a Teoria de Controle Supervisório (TCS), com arquiteturas que descentralizam a implementação do sistema de controle. Isso beneficia tanto a programação do controlador quanto a sua implementação. Entretanto, modelos atuais de implementação descentralizada não consideram aspectos emergentes da indústria, como a comunicação via internet de módulos descentralizados de controle, algo que apresenta potencial para a personalização da produção e produção cooperativa. Este trabalho propõe uma arquitetura que descentraliza o sistema de controle resultante da TCS e implementa a comunicação entre diferentes agentes de controle. Uma peça chave nesta proposta vem do conceito de um agente central e agente local de controle. O agente central executa uma abstração do comportamento dos agentes locais sendo responsável pela coordenação, em alto nível, da lógica do sistema de controle que resulta nas ações físicas locais. Nessa abstração, o controle global comanda ações aos agentes locais após o processamento de certos eventos reportados pelos agentes locais. Esses eventos, em geral, representam contextos de operação que abstraem cadeias de eventos observáveis localmente, mas não observáveis globalmente, deixando assim o controle global mais simples e concentrado em ações chaves do sistema, operacionalizadas apenas localmente. Em termos de resultado, foi observada uma redução significativa da máquina de estados implementada no agente central (com abstração) comparada com uma máquina de estados equivalente (sem abstração), ambas utilizando uma abordagem monolítica para a síntese do supervisor, que resultou em 207 estados e 464 transições de uma máquina com 251 estados e 526 transições, respectivamente. Além disso, demais aspectos de implementação indicam alto potencial de escalabilidade, que implica em possíveis ganhos a TCS, com possibilidade de expansão para diversas pesquisas e uso em ambientes produtivos.Modern industry contemplates a profile of systems that detect and react, at runtime, to changes in the physical context, starting to operate in different ways. Although this characteristic exposes the potential to add improvements to production processes, it also poses challenges to the Automation and Control Engineering community, such as, for example, the limited capacity to process, in parallel, multiple and complex control loops. An alternative arises from the combination of formal synthesis methods, such as the Supervisory Control Theory (TCS), with architectures that decentralize the implementation of the control system. This benefits both controller programming and implementation. However, current models of decentralized implementation do not consider emerging aspects of the industry, such as communication via the Internet of decentralized control modules, something that has potential for customization of production and cooperative production. This work proposes an architecture that decentralizes the control system resulting from TCS and implements the communication between different control agents. A key piece in this proposal comes from the concept of a central agent and a local control agent. The central agent performs an abstraction of the behavior of local agents and is responsible for coordinating, at a high level, the logic of the control system that results in local physical actions. In this abstraction, global control commands actions to local agents after processing certain events reported by local agents. These events, in general, represent operational contexts that abstract chains of events that are locally observable, but not globally observable, thus making global control simpler and more focused on key system actions, operationalized only locally. In terms of results, a significant reduction of the state machine implemented in the central agent (with abstraction) compared to an equivalent state machine (without abstraction) was observed, both using a monolithic approach to the supervisor synthesis, which resulted in 207 states and 464 transitions of a machine with 251 states and 526 transitions, respectively. In addition, other implementation aspects indicate a high potential for scalability, which implies possible gains to TCS, with the possibility of expansion for several researches and use in productive environments.porUniversidade Tecnológica Federal do ParanáPato BrancoEngenharia de ComputaçãoUTFPRBrasilDepartamento Acadêmico de Informáticahttp://creativecommons.org/licenses/by-sa/4.0/info:eu-repo/semantics/openAccessCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAORevolução industrialSistemas de controle supervisórioRedes de computadoresIndustrial revolutionSupervisory control systemsComputer networksArquitetura para a implementação de controle supervisório comunicanteArchitecture for the implementation of communicating supervisory controlinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisPato BrancoTeixeira, MarceloDenardin, Gustavo WeberTeixeira, MarceloTorrico, César Rafael ClaureRista, Luís Cassiano GoularteCâncio, Geovany Aparecido Duartereponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRORIGINALarquiteturacontrolesupervisoriocomunicante.pdfarquiteturacontrolesupervisoriocomunicante.pdfapplication/pdf1547126http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/1/arquiteturacontrolesupervisoriocomunicante.pdf94c55eb881cbb7c95386260d19c2c034MD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81025http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/2/license_rdf84a900c9dd4b2a10095a94649e1ce116MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/3/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD53TEXTarquiteturacontrolesupervisoriocomunicante.pdf.txtarquiteturacontrolesupervisoriocomunicante.pdf.txtExtracted texttext/plain74112http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/4/arquiteturacontrolesupervisoriocomunicante.pdf.txt8462e5d091429e624b7a960c117de768MD54THUMBNAILarquiteturacontrolesupervisoriocomunicante.pdf.jpgarquiteturacontrolesupervisoriocomunicante.pdf.jpgGenerated Thumbnailimage/jpeg1226http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/5/arquiteturacontrolesupervisoriocomunicante.pdf.jpg4dda06b2c84183d9931973e3bb9ed1a6MD551/306162023-02-24 04:07:03.515oai:repositorio.utfpr.edu.br:1/30616TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2023-02-24T06:07:03Repositó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 |
Arquitetura para a implementação de controle supervisório comunicante |
dc.title.alternative.pt_BR.fl_str_mv |
Architecture for the implementation of communicating supervisory control |
title |
Arquitetura para a implementação de controle supervisório comunicante |
spellingShingle |
Arquitetura para a implementação de controle supervisório comunicante Câncio, Geovany Aparecido Duarte CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Revolução industrial Sistemas de controle supervisório Redes de computadores Industrial revolution Supervisory control systems Computer networks |
title_short |
Arquitetura para a implementação de controle supervisório comunicante |
title_full |
Arquitetura para a implementação de controle supervisório comunicante |
title_fullStr |
Arquitetura para a implementação de controle supervisório comunicante |
title_full_unstemmed |
Arquitetura para a implementação de controle supervisório comunicante |
title_sort |
Arquitetura para a implementação de controle supervisório comunicante |
author |
Câncio, Geovany Aparecido Duarte |
author_facet |
Câncio, Geovany Aparecido Duarte |
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 |
Torrico, César Rafael Claure |
dc.contributor.referee3.fl_str_mv |
Rista, Luís Cassiano Goularte |
dc.contributor.author.fl_str_mv |
Câncio, Geovany Aparecido Duarte |
contributor_str_mv |
Teixeira, Marcelo Denardin, Gustavo Weber Teixeira, Marcelo Torrico, César Rafael Claure Rista, Luís Cassiano Goularte |
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 Revolução industrial Sistemas de controle supervisório Redes de computadores Industrial revolution Supervisory control systems Computer networks |
dc.subject.por.fl_str_mv |
Revolução industrial Sistemas de controle supervisório Redes de computadores Industrial revolution Supervisory control systems Computer networks |
description |
A indústria moderna contempla um perfil de sistemas que detectam e reagem, em tempo de execução, às mudanças no contexto físico, passando a operar de diferentes modos. Ainda que essa característica exponha potencial para agregar melhorias aos processos produtivos, ela também impõe desafios à comunidade de Engenharia de Automação e Controle, como, por exemplo, na capacidade limitada para processar, em paralelo, múltiplas e complexas malhas de controle. Uma alternativa nasce da combinação de métodos formais de síntese, como a Teoria de Controle Supervisório (TCS), com arquiteturas que descentralizam a implementação do sistema de controle. Isso beneficia tanto a programação do controlador quanto a sua implementação. Entretanto, modelos atuais de implementação descentralizada não consideram aspectos emergentes da indústria, como a comunicação via internet de módulos descentralizados de controle, algo que apresenta potencial para a personalização da produção e produção cooperativa. Este trabalho propõe uma arquitetura que descentraliza o sistema de controle resultante da TCS e implementa a comunicação entre diferentes agentes de controle. Uma peça chave nesta proposta vem do conceito de um agente central e agente local de controle. O agente central executa uma abstração do comportamento dos agentes locais sendo responsável pela coordenação, em alto nível, da lógica do sistema de controle que resulta nas ações físicas locais. Nessa abstração, o controle global comanda ações aos agentes locais após o processamento de certos eventos reportados pelos agentes locais. Esses eventos, em geral, representam contextos de operação que abstraem cadeias de eventos observáveis localmente, mas não observáveis globalmente, deixando assim o controle global mais simples e concentrado em ações chaves do sistema, operacionalizadas apenas localmente. Em termos de resultado, foi observada uma redução significativa da máquina de estados implementada no agente central (com abstração) comparada com uma máquina de estados equivalente (sem abstração), ambas utilizando uma abordagem monolítica para a síntese do supervisor, que resultou em 207 estados e 464 transições de uma máquina com 251 estados e 526 transições, respectivamente. Além disso, demais aspectos de implementação indicam alto potencial de escalabilidade, que implica em possíveis ganhos a TCS, com possibilidade de expansão para diversas pesquisas e uso em ambientes produtivos. |
publishDate |
2022 |
dc.date.issued.fl_str_mv |
2022-09-13 |
dc.date.accessioned.fl_str_mv |
2023-02-23T14:16:47Z |
dc.date.available.fl_str_mv |
2023-02-23T14:16:47Z |
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 |
CÂNCIO, Geovany Aparecido Duarte. Arquitetura para a implementação de controle supervisório comunicante. 2022. Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2022. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/30616 |
identifier_str_mv |
CÂNCIO, Geovany Aparecido Duarte. Arquitetura para a implementação de controle supervisório comunicante. 2022. Trabalho de Conclusão de Curso (Bacharelado em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2022. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/30616 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
http://creativecommons.org/licenses/by-sa/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-sa/4.0/ |
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/30616/1/arquiteturacontrolesupervisoriocomunicante.pdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/2/license_rdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/3/license.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/4/arquiteturacontrolesupervisoriocomunicante.pdf.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/30616/5/arquiteturacontrolesupervisoriocomunicante.pdf.jpg |
bitstream.checksum.fl_str_mv |
94c55eb881cbb7c95386260d19c2c034 84a900c9dd4b2a10095a94649e1ce116 b9d82215ab23456fa2d8b49c5df1b95b 8462e5d091429e624b7a960c117de768 4dda06b2c84183d9931973e3bb9ed1a6 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 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_ |
1805923110092800000 |