Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | Teixeira, Marcelo | - |
Autor(es): dc.contributor | Torrico, César Rafael Claure | - |
Autor(es): dc.contributor | Schmidt, Lucas | - |
Autor(es): dc.contributor | Semler, Rosaine Fiorio | - |
Autor(es): dc.creator | Cadore, João Gabriel Bortot | - |
Data de aceite: dc.date.accessioned | 2025-08-29T13:22:26Z | - |
Data de disponibilização: dc.date.available | 2025-08-29T13:22:26Z | - |
Data de envio: dc.date.issued | 2025-03-14 | - |
Data de envio: dc.date.issued | 2025-03-14 | - |
Data de envio: dc.date.issued | 2025-11-10 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/36092 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1112128 | - |
Descrição: dc.description | This 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.description | Este 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.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Pato Branco | - |
Publicador: dc.publisher | Brasil | - |
Publicador: dc.publisher | Departamento Acadêmico de Informática | - |
Publicador: dc.publisher | Engenharia de Computação | - |
Publicador: dc.publisher | UTFPR | - |
Direitos: dc.rights | openAccess | - |
Direitos: dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | - |
Palavras-chave: dc.subject | Controladores programáveis | - |
Palavras-chave: dc.subject | Sistemas de tempo discreto | - |
Palavras-chave: dc.subject | Teoria do controle | - |
Palavras-chave: dc.subject | Sistemas de controle supervisório | - |
Palavras-chave: dc.subject | Programmable controllers | - |
Palavras-chave: dc.subject | Discrete-time systems | - |
Palavras-chave: dc.subject | Control theory | - |
Palavras-chave: dc.subject | Supervisory control systems | - |
Palavras-chave: dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | - |
Título: dc.title | Uma abordagem em máquinas de estados para o teste de controladores para processos avícolas | - |
Título: dc.title | A state machine approach to controller testing for poultry processes | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: