Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório

Detalhes bibliográficos
Autor(a) principal: Kawamura, Celso Matsumi
Data de Publicação: 2012
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/784
Resumo: A crescente competitividade entre as indústrias de manufatura faz com que as empresas se preocupem cada vez mais com questões relacionadas à qualidade, produtividade e redução de custo. A concorrência internacional, bastante incisiva nos setores industriais de transformação de matérias-primas é, de fato, uma questão preocupante. Para tornarem-se competitivas, as empresas precisam extrair mais produtos com uma mesma quantidade de insumos e produzir mais, em menores frações de tempo, tornando as restrições de tempo e recursos cada vez mais severas. Melhores desempenhos e processos mais eficientes podem ser obtidos por meio da automação industrial. Porém, tais projetos são normalmente desenvolvidos sem a utilização de abordagens formais e os resultados obtidos dependem, quase que exclusivamente, da experiência dos projetistas. Não é possível afirmar que um conjunto de máquinas esteja operando sem qualquer situação de bloqueio, ou ainda, que esteja produzindo da maneira mais eficiente possível, tendo-se como critério o tempo de execução das operações. Por intermédio de abordagens formais, como a Teoria de Controle Supervisório (TCS), é possível a síntese automática de supervisores, que permitem a operação de uma planta, os quais, além de atender aos requisitos de segurança, evitam que o sistema atinja uma situação de bloqueio. Este trabalho apresenta algumas extensões dessa teoria, de modo que o supervisor ótimo satisfaça também às especificações de sequenciamento de operações e de prazo de finalização de tarefas, com a abordagem de autômatos temporizados. O problema de escalonamento de tarefas, diretamente relacionado ao planejamento de produção nas indústrias, é um problema de otimização, de tal maneira que a sequência de execução das etapas seja organizada para que o tempo total de processamento seja minimizado. Nessa pesquisa, uma proposta de um método para a obtenção de escalonamento de operações, com a utilização de autômatos temporizados e conceitos da teoria de controle supervisório, é apresentada. Propõe-se um algoritmo para a obtenção de uma sequência ótima de operações, tendo-se como critério o tempo total para a finalização do processo. O método é aplicado em uma célula automatizada em uma indústria fabricante de elevadores, onde foi possível determinar o tempo mínimo de processamento de um determinado item. Por meio da pesquisa de métodos e algoritmos para a obtenção de escalonamento de tarefas em ambientes fabris, procura-se atender às necessidades estratégicas das indústrias, na busca por sistemas de manufatura cada vez mais eficientes e competitivos.
id UTFPR-12_6abb0a13ed7bdf122f78a5770efda7bd
oai_identifier_str oai:repositorio.utfpr.edu.br:1/784
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 2014-04-08T21:14:10Z2014-04-08T21:14:10Z2012-06-28KAWAMURA,Celso Matsumi. Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório. 2012. 98 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2012.http://repositorio.utfpr.edu.br/jspui/handle/1/784A crescente competitividade entre as indústrias de manufatura faz com que as empresas se preocupem cada vez mais com questões relacionadas à qualidade, produtividade e redução de custo. A concorrência internacional, bastante incisiva nos setores industriais de transformação de matérias-primas é, de fato, uma questão preocupante. Para tornarem-se competitivas, as empresas precisam extrair mais produtos com uma mesma quantidade de insumos e produzir mais, em menores frações de tempo, tornando as restrições de tempo e recursos cada vez mais severas. Melhores desempenhos e processos mais eficientes podem ser obtidos por meio da automação industrial. Porém, tais projetos são normalmente desenvolvidos sem a utilização de abordagens formais e os resultados obtidos dependem, quase que exclusivamente, da experiência dos projetistas. Não é possível afirmar que um conjunto de máquinas esteja operando sem qualquer situação de bloqueio, ou ainda, que esteja produzindo da maneira mais eficiente possível, tendo-se como critério o tempo de execução das operações. Por intermédio de abordagens formais, como a Teoria de Controle Supervisório (TCS), é possível a síntese automática de supervisores, que permitem a operação de uma planta, os quais, além de atender aos requisitos de segurança, evitam que o sistema atinja uma situação de bloqueio. Este trabalho apresenta algumas extensões dessa teoria, de modo que o supervisor ótimo satisfaça também às especificações de sequenciamento de operações e de prazo de finalização de tarefas, com a abordagem de autômatos temporizados. O problema de escalonamento de tarefas, diretamente relacionado ao planejamento de produção nas indústrias, é um problema de otimização, de tal maneira que a sequência de execução das etapas seja organizada para que o tempo total de processamento seja minimizado. Nessa pesquisa, uma proposta de um método para a obtenção de escalonamento de operações, com a utilização de autômatos temporizados e conceitos da teoria de controle supervisório, é apresentada. Propõe-se um algoritmo para a obtenção de uma sequência ótima de operações, tendo-se como critério o tempo total para a finalização do processo. O método é aplicado em uma célula automatizada em uma indústria fabricante de elevadores, onde foi possível determinar o tempo mínimo de processamento de um determinado item. Por meio da pesquisa de métodos e algoritmos para a obtenção de escalonamento de tarefas em ambientes fabris, procura-se atender às necessidades estratégicas das indústrias, na busca por sistemas de manufatura cada vez mais eficientes e competitivos.The growing competition among manufacturing industries causes companies to worry more and more with issues related to quality, productivity and cost reduction. International competition, quite incisive among raw material processing manufacturers, is actually a very concerning situation. To become more competitive, enterprises have to produce more with the same amount of raw materials, or in a shorter time, making the constraints of time and resources increasingly severe. A better performance and more efficient processes can be obtained by means of industrial automation. However, such projects are normally designed without any formal approach and the achieved results depend, more than anything else, on engineers’ expertise. It cannot be stated that a machine set is working without any deadlock situation, or is producing in the most efficient way possible, considering operations´ execution time as efficiency criteria. By means of formal approaches such as Supervisory Control Theory (SCT), it is possible to synthesize supervisors automatically, that allow a plant to operate, in a way that, not only safety requirements are fulfilled, but the system is also prevented to reach a deadlock situation. This work presents this theory and its extensions, so the optimal supervisor satisfies task scheduling requirements and job completion deadlines, by using timed automata frameworks. The job shop scheduling problem, which directly relates to manufacturers´ production planning, is an optimization problem, where all the processing steps are organized in way that the total processing time is minimized. A methodology is presented for the job shop scheduling, by means of timed automata and supervisory control theory. An algorithm for acquiring an optimal operation sequence is proposed, considering the total time needed to finalize a process as the optimization criteria. The method is applied in an automated cell in a elevator manufacturing industry, where it was possible to obtain the minimal time needed to process a certain part. Through algorithms and methods for job shop scheduling in industrial environments, it is intended to meet the manufacturers´ strategic needs, in their search for manufacturing systems that are increasingly more efficient and competitive.porUniversidade Tecnológica Federal do ParanáCornelio ProcopioPrograma de Pós-Graduação em Engenharia ElétricaControle de processoSistemas de tempo discretoSistemas de controle supervisórioProcess controlDiscrete-time systemsSupervisory control systemsContribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisórioinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisCornélio ProcópioMestradoVallim, Marcos Banheti RabelloSumar, Rodrigo RodriguesKawamura, Celso Matsumireponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRinfo:eu-repo/semantics/openAccessTHUMBNAILCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdf.jpgCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdf.jpgGenerated Thumbnailimage/jpeg1323http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/4/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdf.jpg65eb822fc6063866aa32a4a3ad75c10bMD54LICENSElicense.txtlicense.txttext/plain; charset=utf-81220http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/2/license.txt3cbdb04c3d289deb9dca129a3870a6e1MD52ORIGINALCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdfCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdfapplication/pdf2435007http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/1/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdfb1f20f1fb42c47e9d761d61ef72c4d0bMD51TEXTCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdf.txtCP_PPGEE_M_Kawamura, Celso Matsumi_2012.pdf.txtExtracted texttext/plain143495http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/3/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdf.txtce3d1a0e691b65325181e5bed2d1ac28MD531/7842015-03-07 03:14:10.608oai:repositorio.utfpr.edu.br:1/784ICBOYSBxdWFsaWRhZGUgZGUgdGl0dWxhciBkb3MgZGlyZWl0b3MgZGUgYXV0b3IgZGEgcHVibGljYT8/bywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXY/cyBkbyBQb3J0YWwgZGUgSW5mb3JtYT8/byBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXQ/bG9nb3MgZGFzIEJpYmxpb3RlY2FzIApkZXN0YSBJbnN0aXR1aT8/bywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpPz9lcyBkZSBkaXNwb25pYmlsaXphPz9vIHJlZ2lzdHJhZGFzIG5vIGl0ZW0gNCBkbyAKP1Rlcm1vIGRlIEF1dG9yaXphPz9vIHBhcmEgUHVibGljYT8/byBkZSBUcmFiYWxob3MgZGUgQ29uY2x1cz9vIGRlIEN1cnNvIGRlIEdyYWR1YT8/byBlIApFc3BlY2lhbGl6YT8/bywgRGlzc2VydGE/P2VzIGUgVGVzZXMgbm8gUG9ydGFsIGRlIEluZm9ybWE/P28gZSBub3MgQ2F0P2xvZ29zIEVsZXRyP25pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBSPywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3M/byBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2E/P28gZGEgcHJvZHU/P28gY2llbnQ/ZmljYSBicmFzaWxlaXJhLgoKICBBcyB2aWFzIG9yaWdpbmFpcyBlIGFzc2luYWRhcyBwZWxvKHMpIGF1dG9yKGVzKSBkbyA/VGVybW8gZGUgQXV0b3JpemE/P28gcGFyYSBQdWJsaWNhPz9vIGRlIApUcmFiYWxob3MgZGUgQ29uY2x1cz9vIGRlIEN1cnNvIGRlIEdyYWR1YT8/byBlIEVzcGVjaWFsaXphPz9vLCBEaXNzZXJ0YT8/ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWE/P28gZSBub3MgQ2F0P2xvZ29zIEVsZXRyP25pY29zIGRvIFNpc3RlbWEgZGUgQmlibGlvdGVjYXMgZGEgVVRGUFI/IGUgZGEgP0RlY2xhcmE/P28gCmRlIEF1dG9yaWE/IGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQz9tcHVzIG5vIHF1YWwgbyB0cmFiYWxobyBmb2kgZGVmZW5kaWRvLiAKTm8gY2FzbyBkZSBwdWJsaWNhPz9lcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljP21wdXMsIG9zIGRvY3VtZW50b3MgZmljYXI/byBzb2IgZ3VhcmRhIGRhIApCaWJsaW90ZWNhIGNvbSBhIHF1YWwgbyA/cHJpbWVpcm8gYXV0b3I/IHBvc3N1YSB2P25jdWxvLgo=Repositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2015-03-07T06:14:10Repositó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 Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
title Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
spellingShingle Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
Kawamura, Celso Matsumi
Controle de processo
Sistemas de tempo discreto
Sistemas de controle supervisório
Process control
Discrete-time systems
Supervisory control systems
title_short Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
title_full Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
title_fullStr Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
title_full_unstemmed Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
title_sort Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório
author Kawamura, Celso Matsumi
author_facet Kawamura, Celso Matsumi
author_role author
dc.contributor.advisor1.fl_str_mv Vallim, Marcos Banheti Rabello
dc.contributor.advisor-co1.fl_str_mv Sumar, Rodrigo Rodrigues
dc.contributor.author.fl_str_mv Kawamura, Celso Matsumi
contributor_str_mv Vallim, Marcos Banheti Rabello
Sumar, Rodrigo Rodrigues
dc.subject.por.fl_str_mv Controle de processo
Sistemas de tempo discreto
Sistemas de controle supervisório
Process control
Discrete-time systems
Supervisory control systems
topic Controle de processo
Sistemas de tempo discreto
Sistemas de controle supervisório
Process control
Discrete-time systems
Supervisory control systems
description A crescente competitividade entre as indústrias de manufatura faz com que as empresas se preocupem cada vez mais com questões relacionadas à qualidade, produtividade e redução de custo. A concorrência internacional, bastante incisiva nos setores industriais de transformação de matérias-primas é, de fato, uma questão preocupante. Para tornarem-se competitivas, as empresas precisam extrair mais produtos com uma mesma quantidade de insumos e produzir mais, em menores frações de tempo, tornando as restrições de tempo e recursos cada vez mais severas. Melhores desempenhos e processos mais eficientes podem ser obtidos por meio da automação industrial. Porém, tais projetos são normalmente desenvolvidos sem a utilização de abordagens formais e os resultados obtidos dependem, quase que exclusivamente, da experiência dos projetistas. Não é possível afirmar que um conjunto de máquinas esteja operando sem qualquer situação de bloqueio, ou ainda, que esteja produzindo da maneira mais eficiente possível, tendo-se como critério o tempo de execução das operações. Por intermédio de abordagens formais, como a Teoria de Controle Supervisório (TCS), é possível a síntese automática de supervisores, que permitem a operação de uma planta, os quais, além de atender aos requisitos de segurança, evitam que o sistema atinja uma situação de bloqueio. Este trabalho apresenta algumas extensões dessa teoria, de modo que o supervisor ótimo satisfaça também às especificações de sequenciamento de operações e de prazo de finalização de tarefas, com a abordagem de autômatos temporizados. O problema de escalonamento de tarefas, diretamente relacionado ao planejamento de produção nas indústrias, é um problema de otimização, de tal maneira que a sequência de execução das etapas seja organizada para que o tempo total de processamento seja minimizado. Nessa pesquisa, uma proposta de um método para a obtenção de escalonamento de operações, com a utilização de autômatos temporizados e conceitos da teoria de controle supervisório, é apresentada. Propõe-se um algoritmo para a obtenção de uma sequência ótima de operações, tendo-se como critério o tempo total para a finalização do processo. O método é aplicado em uma célula automatizada em uma indústria fabricante de elevadores, onde foi possível determinar o tempo mínimo de processamento de um determinado item. Por meio da pesquisa de métodos e algoritmos para a obtenção de escalonamento de tarefas em ambientes fabris, procura-se atender às necessidades estratégicas das indústrias, na busca por sistemas de manufatura cada vez mais eficientes e competitivos.
publishDate 2012
dc.date.issued.fl_str_mv 2012-06-28
dc.date.accessioned.fl_str_mv 2014-04-08T21:14:10Z
dc.date.available.fl_str_mv 2014-04-08T21:14:10Z
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 KAWAMURA,Celso Matsumi. Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório. 2012. 98 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2012.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/784
identifier_str_mv KAWAMURA,Celso Matsumi. Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório. 2012. 98 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2012.
url http://repositorio.utfpr.edu.br/jspui/handle/1/784
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á
Cornelio Procopio
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Engenharia Elétrica
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Cornelio Procopio
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/784/4/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdf.jpg
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/1/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/784/3/CP_PPGEE_M_Kawamura%2c%20Celso%20Matsumi_2012.pdf.txt
bitstream.checksum.fl_str_mv 65eb822fc6063866aa32a4a3ad75c10b
3cbdb04c3d289deb9dca129a3870a6e1
b1f20f1fb42c47e9d761d61ef72c4d0b
ce3d1a0e691b65325181e5bed2d1ac28
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_ 1805922918109020160