Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
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/14597 |
Resumo: | A Teoria de Controle Supervisório (TCS) fundamenta a síntese de controladores para Sistemas a Eventos Discretos. Ainda que ao longo de seus 30 anos de existência a TCS tenha sido estendida e melhorada em vários aspectos, ela ainda preserva uma característica que limita a sua aplicação sobre problemas industriais reais, que se refere à complexidade de modelagem. Nesse sentido, a ideia do refinamento de eventos foi recentemente proposta na literatura como forma de simplificar a modelagem e viabilizar a aplicação da TCS sobre uma gama mais ampla de problemas. No entanto, existem classes de processos sobre os quais a ideia de refinamento não se aplica diretamente. Por exemplo, os processos que contemplam mais de uma camada de refinamentos, no mesmo problema e contexto de controle. Para esses casos, a ideia de refinamento deve ser estendida para permitir e distinguir múltiplos conjuntos de refinamentos caracterizados por dependências de contexto. Este trabalho propõe uma abordagem formal que permite criar qualquer quantidade de refinamentos dependentes entre si, os quais podem então ser usados na síntese de controladores com distinguidores de eventos. A abordagem ´e ilustrada por meio de exemplos, em particular o de um sistema de manufatura com retrabalho de peças e um buffer capaz de armazenar mais de 1 peça. Nesse exemplo, é mostrado que uma solução que controla em paralelo a quantidade de ciclos e os limites do buffer, seria bastante custosa de ser modelada. Já usando o método proposto, mostra-se que ela se torna bastante simples e intuitiva. |
id |
UTFPR-12_532bcf933dbd0edca0b9b3d7bb469275 |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/14597 |
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:27Z2020-11-18T14:01:27Z2018-06-21ASSMANN, Maicon Paulo. Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto. 2018. 49 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2018.http://repositorio.utfpr.edu.br/jspui/handle/1/14597A Teoria de Controle Supervisório (TCS) fundamenta a síntese de controladores para Sistemas a Eventos Discretos. Ainda que ao longo de seus 30 anos de existência a TCS tenha sido estendida e melhorada em vários aspectos, ela ainda preserva uma característica que limita a sua aplicação sobre problemas industriais reais, que se refere à complexidade de modelagem. Nesse sentido, a ideia do refinamento de eventos foi recentemente proposta na literatura como forma de simplificar a modelagem e viabilizar a aplicação da TCS sobre uma gama mais ampla de problemas. No entanto, existem classes de processos sobre os quais a ideia de refinamento não se aplica diretamente. Por exemplo, os processos que contemplam mais de uma camada de refinamentos, no mesmo problema e contexto de controle. Para esses casos, a ideia de refinamento deve ser estendida para permitir e distinguir múltiplos conjuntos de refinamentos caracterizados por dependências de contexto. Este trabalho propõe uma abordagem formal que permite criar qualquer quantidade de refinamentos dependentes entre si, os quais podem então ser usados na síntese de controladores com distinguidores de eventos. A abordagem ´e ilustrada por meio de exemplos, em particular o de um sistema de manufatura com retrabalho de peças e um buffer capaz de armazenar mais de 1 peça. Nesse exemplo, é mostrado que uma solução que controla em paralelo a quantidade de ciclos e os limites do buffer, seria bastante custosa de ser modelada. Já usando o método proposto, mostra-se que ela se torna bastante simples e intuitiva.The Supervisory Control Theory (SCT) defines the synthesis of controllers for Discrete Events Systems. Although within its 30 years of existence the SCT has been extended and improved in several ways, it still preserves a feature that limits its application on real industrial problems, that refers to the modeling complexity. In this sense, the idea of events refinement has been recently proposed in the literature as a way to simplify the modeling and to enable the application of the SCT over a wider range of problems. However, there are classes of processes over which the idea of refinement does not apply directly. For example, processes that include more than one layer of refinements in the same problem and control context. For these cases, the idea of refinement should be extended to allow and distinguish multiple sets of refinements characterized by context dependencies. This work proposes a formal approach that allows creating any number of refinements dependent from each other, which can be used, then, in the synthesis of controllers with event distinctions. The approach is illustrated using examples, in particular, a manufacturing system with rework and buffering of workpieces. In this example, is demonstrated a solution that controls in parallel the number of cycles and the buffer limits would be very hard to be modeled. Yet, using the proposed method, it is shown that the modeling can become quite simpler and intuitive.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 sistemasDiscrete-time systemsSupervisory control systemsSystem analysisControle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contextoSupervisory control with concurrent structures of refinaments subject to context dependencyinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisPato BrancoTeixeira, MarceloRosa, MarceloTeixeira, MarceloRosa, MarceloTorrico, César Rafael ClaureBarbosa, Marco Antonio de CastroAssmann, Maicon Pauloinfo: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_2018_1_05.pdfapplication/pdf694976http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/1/PB_COENC_2018_1_05.pdf833963f4e550b852be4c933aca6d6d69MD51LICENSElicense.txttext/plain1290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTPB_COENC_2018_1_05.pdf.txtExtracted texttext/plain75202http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/3/PB_COENC_2018_1_05.pdf.txt5d0a121ee7485d556e2eaae607e8004bMD53THUMBNAILPB_COENC_2018_1_05.pdf.jpgGenerated Thumbnailimage/jpeg1385http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/4/PB_COENC_2018_1_05.pdf.jpg66c6aa8544ad895ba69cef32e952dc7cMD541/145972020-11-18 12:01:28.053oai:repositorio.utfpr.edu.br:1/14597TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2020-11-18T14:01:28Repositó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 supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
dc.title.alternative.pt_BR.fl_str_mv |
Supervisory control with concurrent structures of refinaments subject to context dependency |
title |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
spellingShingle |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto Assmann, Maicon Paulo CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Sistemas de tempo discreto Sistemas de controle supervisório Análise de sistemas Discrete-time systems Supervisory control systems System analysis |
title_short |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
title_full |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
title_fullStr |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
title_full_unstemmed |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
title_sort |
Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto |
author |
Assmann, Maicon Paulo |
author_facet |
Assmann, Maicon Paulo |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Teixeira, Marcelo |
dc.contributor.advisor-co1.fl_str_mv |
Rosa, Marcelo |
dc.contributor.referee1.fl_str_mv |
Teixeira, Marcelo |
dc.contributor.referee2.fl_str_mv |
Rosa, Marcelo |
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 |
Assmann, Maicon Paulo |
contributor_str_mv |
Teixeira, Marcelo Rosa, Marcelo Teixeira, Marcelo Rosa, Marcelo 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 Análise de sistemas Discrete-time systems Supervisory control systems System analysis |
dc.subject.por.fl_str_mv |
Sistemas de tempo discreto Sistemas de controle supervisório Análise de sistemas Discrete-time systems Supervisory control systems System analysis |
description |
A Teoria de Controle Supervisório (TCS) fundamenta a síntese de controladores para Sistemas a Eventos Discretos. Ainda que ao longo de seus 30 anos de existência a TCS tenha sido estendida e melhorada em vários aspectos, ela ainda preserva uma característica que limita a sua aplicação sobre problemas industriais reais, que se refere à complexidade de modelagem. Nesse sentido, a ideia do refinamento de eventos foi recentemente proposta na literatura como forma de simplificar a modelagem e viabilizar a aplicação da TCS sobre uma gama mais ampla de problemas. No entanto, existem classes de processos sobre os quais a ideia de refinamento não se aplica diretamente. Por exemplo, os processos que contemplam mais de uma camada de refinamentos, no mesmo problema e contexto de controle. Para esses casos, a ideia de refinamento deve ser estendida para permitir e distinguir múltiplos conjuntos de refinamentos caracterizados por dependências de contexto. Este trabalho propõe uma abordagem formal que permite criar qualquer quantidade de refinamentos dependentes entre si, os quais podem então ser usados na síntese de controladores com distinguidores de eventos. A abordagem ´e ilustrada por meio de exemplos, em particular o de um sistema de manufatura com retrabalho de peças e um buffer capaz de armazenar mais de 1 peça. Nesse exemplo, é mostrado que uma solução que controla em paralelo a quantidade de ciclos e os limites do buffer, seria bastante custosa de ser modelada. Já usando o método proposto, mostra-se que ela se torna bastante simples e intuitiva. |
publishDate |
2018 |
dc.date.issued.fl_str_mv |
2018-06-21 |
dc.date.accessioned.fl_str_mv |
2020-11-18T14:01:27Z |
dc.date.available.fl_str_mv |
2020-11-18T14:01:27Z |
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 |
ASSMANN, Maicon Paulo. Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto. 2018. 49 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2018. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/14597 |
identifier_str_mv |
ASSMANN, Maicon Paulo. Controle supervisório com estruturas concorrentes de refinamentos sujeitas à dependência de contexto. 2018. 49 f. Trabalho de Conclusão de Curso (Graduação) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2018. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/14597 |
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/14597/1/PB_COENC_2018_1_05.pdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/2/license.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/3/PB_COENC_2018_1_05.pdf.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/14597/4/PB_COENC_2018_1_05.pdf.jpg |
bitstream.checksum.fl_str_mv |
833963f4e550b852be4c933aca6d6d69 b9d82215ab23456fa2d8b49c5df1b95b 5d0a121ee7485d556e2eaae607e8004b 66c6aa8544ad895ba69cef32e952dc7c |
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_ |
1805923217658871808 |