Uma abordagem em máquinas de estados para o teste de controladores para processos avícolas

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorTeixeira, Marcelo-
Autor(es): dc.contributorTeixeira, Marcelo-
Autor(es): dc.contributorTorrico, César Rafael Claure-
Autor(es): dc.contributorSchmidt, Lucas-
Autor(es): dc.contributorSemler, Rosaine Fiorio-
Autor(es): dc.creatorCadore, João Gabriel Bortot-
Data de aceite: dc.date.accessioned2025-08-29T13:22:26Z-
Data de disponibilização: dc.date.available2025-08-29T13:22:26Z-
Data de envio: dc.date.issued2025-03-14-
Data de envio: dc.date.issued2025-03-14-
Data de envio: dc.date.issued2025-11-10-
Fonte completa do material: dc.identifierhttp://repositorio.utfpr.edu.br/jspui/handle/1/36092-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1112128-
Descrição: dc.descriptionThis work presents the development of a state machine model for testing controllers aimed at poultry processes. Brazil, as one of the largest global producers of chicken meat, uses control systems to optimize the environment in poultry houses and improve the process of animal protein production. However, many commercial controllers have limitations, being based on reactive control without refined control zones, which can cause discomfort to the birds and affect production results. Furthermore, the development process of these controllers is typically manually programmed, making the development process less efficient and more prone to errors. The proposal of this work aims at the reengineering of models previously developed in the literature, subsequently applying an automatic synthesis approach to a new controller. The study involves three main stages: the reproduction of an existing poultry control model, the development of a new controller using automatic synthesis techniques, and practical implementation and comparison with commercial controllers. Validation will be performed through a dashboard that captures logs, allowing the comparison between the commercial controller and one obtained through formal modeling.-
Descrição: dc.descriptionEste trabalho apresenta o desenvolvimento de um modelo em máquinas de estados para o teste de controladores voltados a processos avícolas. O Brasil, sendo um dos maiores produtores mundiais de carne de frango, utiliza sistemas de controle para otimizar o ambiente nos aviários e melhorar o processo de produção de proteína animal. Contudo, muitos controladores comerciais apresentam limitações, sendo baseados em controle reativo e se refinamento de zonas de controle, o que pode gerar desconforto às aves e afetar no resultado da produção. Além disso, o processo de desenvolvimento desses controladores é tipicamente programado manualmente, o que torna o processo de desenvolvimento menos eficiente e mais suscetível a erros. A proposta deste trabalho visa a reengenharia de modelos previamente desenvolvidos na literatura, aplicando posteriormente uma abordagem de síntese automática de um novo controlador. O estudo envolve três etapas principais: a reprodução de um modelo de controle avícola existente, o desenvolvimento de um novo controlador usando técnicas de síntese automática, e a implementação prática e comparação com controladores comerciais. A validação será feita por meio de uma dashboard que captura os logs, permitindo a comparação entre o controlador comercial e um obtido através de modelagem formal.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherUniversidade Tecnológica Federal do Paraná-
Publicador: dc.publisherPato Branco-
Publicador: dc.publisherBrasil-
Publicador: dc.publisherDepartamento Acadêmico de Informática-
Publicador: dc.publisherEngenharia de Computação-
Publicador: dc.publisherUTFPR-
Direitos: dc.rightsopenAccess-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0/-
Palavras-chave: dc.subjectControladores programáveis-
Palavras-chave: dc.subjectSistemas de tempo discreto-
Palavras-chave: dc.subjectTeoria do controle-
Palavras-chave: dc.subjectSistemas de controle supervisório-
Palavras-chave: dc.subjectProgrammable controllers-
Palavras-chave: dc.subjectDiscrete-time systems-
Palavras-chave: dc.subjectControl theory-
Palavras-chave: dc.subjectSupervisory control systems-
Palavras-chave: dc.subjectCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO-
Título: dc.titleUma abordagem em máquinas de estados para o teste de controladores para processos avícolas-
Título: dc.titleA state machine approach to controller testing for poultry processes-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT

Não existem arquivos associados a este item.