Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem

Detalhes bibliográficos
Autor(a) principal: Luíza Sernizon Guimarães
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/35132
Resumo: Sistemas a Eventos Discretos Temporizados sujeitos a fenômenos de sincronização e de atraso podem ser modelados por uma subclasse de Rede de Petri denominada Grafos de Eventos Temporizados, cuja dinâmica pode ser descrita de forma linear pela álgebra Max-Plus. Esta dissertação trata-se sobre o controle via realimentação de estados de tais sistemas. Para tal, duas metodologias de controle são desenvolvidas a partir das propriedades algébricas dos sistemas modelados. A primeira propõe a síntese de controladores que respeitem as restrições impostas ao funcionamento dos sistemas, além de não permitir a formação de estoques no interior da planta. Também é abordado como encontrar deterministicamente, por uma equação, um controlador que permite o atraso máximo das entradas das peças nos sistemas. Visando solucionar os problemas de controle, alguns conceitos da álgebra Max-Plus, como a teoria de residuação e a teoria dos semimódulos são utilizados. A segunda metodologia propõe o projeto de controladores que devem respeitar as restrições impostas ao sistema e permitir o funcionamento em um contexto de gestão just-in-time com máxima taxa de produção, uma vez que a política just-in-time é uma política de controle que visa a não formação de estoques nos sistemas. Isso pode ser feito por meio do atraso máximo possível das datas de entradas do sistema, sem alterar a sua taxa de produção. Esta metodologia é baseada no algoritmo alternante, na teoria de semimódulos e em conceitos espectrais de matrizes como autovalor e λ-super-autovetor. O pacote computacional Scicoslab pode ser utilizado para a extração de informações dos sistemas, como a taxa máxima de produção e o tempo de produção de determinada peça, além de permitir a simulação de sistemas, possibilitando a síntese de controladores. As metodologias propostas são aplicadas em exemplos numéricos para demonstração de sua eficácia.
id UFMG_6bc71bdfc02919f360668fd549d2b564
oai_identifier_str oai:repositorio.ufmg.br:1843/35132
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Carlos Andrey Maiahttp://lattes.cnpq.br/3301192467372459Rodney Rezende SaldanhaPatrícia Nascimento PenaVinícius Mariano Gonçalveshttp://lattes.cnpq.br/4718223423288507Luíza Sernizon Guimarães2021-03-08T16:52:47Z2021-03-08T16:52:47Z2020-02-19http://hdl.handle.net/1843/35132Sistemas a Eventos Discretos Temporizados sujeitos a fenômenos de sincronização e de atraso podem ser modelados por uma subclasse de Rede de Petri denominada Grafos de Eventos Temporizados, cuja dinâmica pode ser descrita de forma linear pela álgebra Max-Plus. Esta dissertação trata-se sobre o controle via realimentação de estados de tais sistemas. Para tal, duas metodologias de controle são desenvolvidas a partir das propriedades algébricas dos sistemas modelados. A primeira propõe a síntese de controladores que respeitem as restrições impostas ao funcionamento dos sistemas, além de não permitir a formação de estoques no interior da planta. Também é abordado como encontrar deterministicamente, por uma equação, um controlador que permite o atraso máximo das entradas das peças nos sistemas. Visando solucionar os problemas de controle, alguns conceitos da álgebra Max-Plus, como a teoria de residuação e a teoria dos semimódulos são utilizados. A segunda metodologia propõe o projeto de controladores que devem respeitar as restrições impostas ao sistema e permitir o funcionamento em um contexto de gestão just-in-time com máxima taxa de produção, uma vez que a política just-in-time é uma política de controle que visa a não formação de estoques nos sistemas. Isso pode ser feito por meio do atraso máximo possível das datas de entradas do sistema, sem alterar a sua taxa de produção. Esta metodologia é baseada no algoritmo alternante, na teoria de semimódulos e em conceitos espectrais de matrizes como autovalor e λ-super-autovetor. O pacote computacional Scicoslab pode ser utilizado para a extração de informações dos sistemas, como a taxa máxima de produção e o tempo de produção de determinada peça, além de permitir a simulação de sistemas, possibilitando a síntese de controladores. As metodologias propostas são aplicadas em exemplos numéricos para demonstração de sua eficácia.Discrete Events Systems Timed subjected to synchronization and delay phenomena can be modeled by a subclass of Petri nets named Timed Event Graphs, whose dynamics can be described linearly by Max-Plus algebra. This dissertation deals with the state feedback control of such systems. To this end, two control methodologies are developed based on algebraic properties of the modeled systems. The first one proposes the synthesis of controllers that respect the restrictions imposed on the systems, besides not allowing the formation of stocks inside the plant. It is also addressed how to find deterministically, by a equation, a controller that allows the maximum delay of part entries in the system. In order to solve control problems, some concepts of Max-Plus algebra, such as Residual Theory and Semimodule Theory are used. The second methodology proposes the controllers design that must respect the constraints imposed on the system and allow the system to function in a just-in-time management context, with maximum production rate, remembering that the just-in-time policy is a control policy, that aims not to build up inventories in the systems. This is done by delaying system entry dates as much as possible without changing their production rate. This methodology is based on the Alter- nating Algorithm, Semimodule Theory and spectral matrix concepts such as eigenvalue and λ-super-eigenvector. The computational package Scicoslab is used for extracting information from systems, such as the maximum production rate and the production time of a particular piece. Also, it allows the systems simulation, providing the synthesis of controllers. The proposed methods are used in numerical examples to demonstrate their effectiveness.FAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas GeraisporUniversidade Federal de Minas GeraisPrograma de Pós-Graduação em Engenharia ElétricaUFMGBrasilENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICAEngenharia elétricaRedes de petriTeoria dos grafosÁlgebra - Métodos gráficosÁlgebra Max-PlusGrafos de eventos temporizadosControle just-in-timeSistemas a eventos discretosλ-super-autovetorBalanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montageminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALLuíza Sernizon.pdfLuíza Sernizon.pdfapplication/pdf1556790https://repositorio.ufmg.br/bitstream/1843/35132/1/Lu%c3%adza%20Sernizon.pdf6b5a4af6330a62b31f1c10363153a158MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82119https://repositorio.ufmg.br/bitstream/1843/35132/2/license.txt34badce4be7e31e3adb4575ae96af679MD521843/351322021-03-08 13:52:47.859oai:repositorio.ufmg.br:1843/35132TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEgRE8gUkVQT1NJVMOTUklPIElOU1RJVFVDSU9OQUwgREEgVUZNRwoKQ29tIGEgYXByZXNlbnRhw6fDo28gZGVzdGEgbGljZW7Dp2EsIHZvY8OqIChvIGF1dG9yIChlcykgb3UgbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvcikgY29uY2VkZSBhbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIChSSS1VRk1HKSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZSBpcnJldm9nw6F2ZWwgZGUgcmVwcm9kdXppciBlL291IGRpc3RyaWJ1aXIgYSBzdWEgcHVibGljYcOnw6NvIChpbmNsdWluZG8gbyByZXN1bW8pIHBvciB0b2RvIG8gbXVuZG8gbm8gZm9ybWF0byBpbXByZXNzbyBlIGVsZXRyw7RuaWNvIGUgZW0gcXVhbHF1ZXIgbWVpbywgaW5jbHVpbmRvIG9zIGZvcm1hdG9zIMOhdWRpbyBvdSB2w61kZW8uCgpWb2PDqiBkZWNsYXJhIHF1ZSBjb25oZWNlIGEgcG9sw610aWNhIGRlIGNvcHlyaWdodCBkYSBlZGl0b3JhIGRvIHNldSBkb2N1bWVudG8gZSBxdWUgY29uaGVjZSBlIGFjZWl0YSBhcyBEaXJldHJpemVzIGRvIFJJLVVGTUcuCgpWb2PDqiBjb25jb3JkYSBxdWUgbyBSZXBvc2l0w7NyaW8gSW5zdGl0dWNpb25hbCBkYSBVRk1HIHBvZGUsIHNlbSBhbHRlcmFyIG8gY29udGXDumRvLCB0cmFuc3BvciBhIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGTUcgcG9kZSBtYW50ZXIgbWFpcyBkZSB1bWEgY8OzcGlhIGRlIHN1YSBwdWJsaWNhw6fDo28gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogZGVjbGFyYSBxdWUgYSBzdWEgcHVibGljYcOnw6NvIMOpIG9yaWdpbmFsIGUgcXVlIHZvY8OqIHRlbSBvIHBvZGVyIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIG8gZGVww7NzaXRvIGRlIHN1YSBwdWJsaWNhw6fDo28gbsOjbywgcXVlIHNlamEgZGUgc2V1IGNvbmhlY2ltZW50bywgaW5mcmluZ2UgZGlyZWl0b3MgYXV0b3JhaXMgZGUgbmluZ3XDqW0uCgpDYXNvIGEgc3VhIHB1YmxpY2HDp8OjbyBjb250ZW5oYSBtYXRlcmlhbCBxdWUgdm9jw6ogbsOjbyBwb3NzdWkgYSB0aXR1bGFyaWRhZGUgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2PDqiBkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgYW8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3Ugbm8gY29udGXDumRvIGRhIHB1YmxpY2HDp8OjbyBvcmEgZGVwb3NpdGFkYS4KCkNBU08gQSBQVUJMSUNBw4fDg08gT1JBIERFUE9TSVRBREEgVEVOSEEgU0lETyBSRVNVTFRBRE8gREUgVU0gUEFUUk9Dw41OSU8gT1UgQVBPSU8gREUgVU1BIEFHw4pOQ0lBIERFIEZPTUVOVE8gT1UgT1VUUk8gT1JHQU5JU01PLCBWT0PDiiBERUNMQVJBIFFVRSBSRVNQRUlUT1UgVE9ET1MgRSBRVUFJU1FVRVIgRElSRUlUT1MgREUgUkVWSVPDg08gQ09NTyBUQU1Cw4lNIEFTIERFTUFJUyBPQlJJR0HDh8OVRVMgRVhJR0lEQVMgUE9SIENPTlRSQVRPIE9VIEFDT1JETy4KCk8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVUZNRyBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lKHMpIG91IG8ocykgbm9tZXMocykgZG8ocykgZGV0ZW50b3IoZXMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkYSBwdWJsaWNhw6fDo28sIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgYWzDqW0gZGFxdWVsYXMgY29uY2VkaWRhcyBwb3IgZXN0YSBsaWNlbsOnYS4KCg==Repositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2021-03-08T16:52:47Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
title Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
spellingShingle Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
Luíza Sernizon Guimarães
Álgebra Max-Plus
Grafos de eventos temporizados
Controle just-in-time
Sistemas a eventos discretos
λ-super-autovetor
Engenharia elétrica
Redes de petri
Teoria dos grafos
Álgebra - Métodos gráficos
title_short Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
title_full Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
title_fullStr Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
title_full_unstemmed Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
title_sort Balanceamento just-in-time de sistemas max-plus lineares com restrições: aplicação à linha de montagem
author Luíza Sernizon Guimarães
author_facet Luíza Sernizon Guimarães
author_role author
dc.contributor.advisor1.fl_str_mv Carlos Andrey Maia
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3301192467372459
dc.contributor.referee1.fl_str_mv Rodney Rezende Saldanha
dc.contributor.referee2.fl_str_mv Patrícia Nascimento Pena
dc.contributor.referee3.fl_str_mv Vinícius Mariano Gonçalves
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/4718223423288507
dc.contributor.author.fl_str_mv Luíza Sernizon Guimarães
contributor_str_mv Carlos Andrey Maia
Rodney Rezende Saldanha
Patrícia Nascimento Pena
Vinícius Mariano Gonçalves
dc.subject.por.fl_str_mv Álgebra Max-Plus
Grafos de eventos temporizados
Controle just-in-time
Sistemas a eventos discretos
λ-super-autovetor
topic Álgebra Max-Plus
Grafos de eventos temporizados
Controle just-in-time
Sistemas a eventos discretos
λ-super-autovetor
Engenharia elétrica
Redes de petri
Teoria dos grafos
Álgebra - Métodos gráficos
dc.subject.other.pt_BR.fl_str_mv Engenharia elétrica
Redes de petri
Teoria dos grafos
Álgebra - Métodos gráficos
description Sistemas a Eventos Discretos Temporizados sujeitos a fenômenos de sincronização e de atraso podem ser modelados por uma subclasse de Rede de Petri denominada Grafos de Eventos Temporizados, cuja dinâmica pode ser descrita de forma linear pela álgebra Max-Plus. Esta dissertação trata-se sobre o controle via realimentação de estados de tais sistemas. Para tal, duas metodologias de controle são desenvolvidas a partir das propriedades algébricas dos sistemas modelados. A primeira propõe a síntese de controladores que respeitem as restrições impostas ao funcionamento dos sistemas, além de não permitir a formação de estoques no interior da planta. Também é abordado como encontrar deterministicamente, por uma equação, um controlador que permite o atraso máximo das entradas das peças nos sistemas. Visando solucionar os problemas de controle, alguns conceitos da álgebra Max-Plus, como a teoria de residuação e a teoria dos semimódulos são utilizados. A segunda metodologia propõe o projeto de controladores que devem respeitar as restrições impostas ao sistema e permitir o funcionamento em um contexto de gestão just-in-time com máxima taxa de produção, uma vez que a política just-in-time é uma política de controle que visa a não formação de estoques nos sistemas. Isso pode ser feito por meio do atraso máximo possível das datas de entradas do sistema, sem alterar a sua taxa de produção. Esta metodologia é baseada no algoritmo alternante, na teoria de semimódulos e em conceitos espectrais de matrizes como autovalor e λ-super-autovetor. O pacote computacional Scicoslab pode ser utilizado para a extração de informações dos sistemas, como a taxa máxima de produção e o tempo de produção de determinada peça, além de permitir a simulação de sistemas, possibilitando a síntese de controladores. As metodologias propostas são aplicadas em exemplos numéricos para demonstração de sua eficácia.
publishDate 2020
dc.date.issued.fl_str_mv 2020-02-19
dc.date.accessioned.fl_str_mv 2021-03-08T16:52:47Z
dc.date.available.fl_str_mv 2021-03-08T16:52:47Z
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.uri.fl_str_mv http://hdl.handle.net/1843/35132
url http://hdl.handle.net/1843/35132
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 Federal de Minas Gerais
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Engenharia Elétrica
dc.publisher.initials.fl_str_mv UFMG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv ENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICA
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/35132/1/Lu%c3%adza%20Sernizon.pdf
https://repositorio.ufmg.br/bitstream/1843/35132/2/license.txt
bitstream.checksum.fl_str_mv 6b5a4af6330a62b31f1c10363153a158
34badce4be7e31e3adb4575ae96af679
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1803589262842527744