Foi realizado um estudo conceitual para a automação dos "Bandejões" da USP com a finalidade de reduzir as filas. O estudo foi realizado usando as metodologias de Production Flow Scheme e Rede de Petri. Tal modelo, que contém 13 entradas e 8 saídas, foi verificado com a árvore de alcançabilidade e traduzido para a linguagem de programação Ladder de acordo com a norma IEC 61131-3.

Atualmente, a emissão de gases de efeito estufa pela humanidade é um tópico crítico para o aquecimento global, criando a necessidade do desenvolvimento de tecnologias mais sustentáveis. No âmbito de meios de transporte, destacam-se os veículos movidos a hidrogênio, projeto que surgiu há algumas décadas, mas ainda não foi implementado rotineiramente, principalmente pela necessidade de tanques específicos para armazenamento do gás no veículo. Dessa maneira, o presente trabalho busca descrever e modelar as etapas essenciais de fabricação de um tanque de hidrogênio, seguindo como referência os utilizados nos carros Toyota Mirai. Partindo da descrição por meio de Redes de Petri, as principais características e os requerimentos de uma planta de fabricação de tanques de hidrogênio foram esquematizados, traduzindo o modelo para Ladder, ao final.

The system addressed in this paper pertains to an assembly line for liquid propellant rocket engines equipped with turbopump. The challenge involves automating the process of metal 3D printing for the turbopump and combustion chamber, followed by heat treatment for stress relief, X-ray computed tomography inspection, and the subsequent movement of components throughout the factory. To achieve this, the PFS/PN methodology was employed to facilitate a detailed analysis of the system, ensuring control over its inputs and outputs. The system was simulated using the ProModel Discrete Event Simulator, and the results were scrutinized, indicating the robustness of the simulation. Following the Ladder methodology, programming for Programmable Logic Controllers was also developed.

O processo de seleção de materiais recicláveis envolve a identificação e classificação de materiais de acordo com sua característica e sua condução até seus respectivos recipientes. Para automatizar esse processo, pensou-se em um sistema de esteira transportadora que, com a presença de sensores, direciona o resíduo para seu respectivo coletor. A solução permite que esse processo de classificação de materiais presente em campos voltados para a sustentabilidade, como a reciclagem, seja otimizado e também que o trabalho humano envolvido nessa etapa seja dotado de maior inclusão. Como há emprego de mão de obra, trata-se de um sistema que não é totalmente independente. Considerando o sistema completo com todas as sub redes de intertravamentos, tem-se um total de 22 entradas e 11 saídas controladas e o processo será modelado utilizando a metodologia Production Flow Schema (PFS) para obtenção de uma rede de Petri (RdP), apresentada no formato de rede interpretada, associando sinais de entrada às transições e saídas aos lugares. O modelo de controle será validado através da verificação de boas propriedades de RdP utilizando um software como ferramenta e do comportamento da rede em termos dos estados alcançados ao longo de uma simulação. Para programação do controlador será utilizado Ladder, com a lógica do processo dada pela disposição vertical de rungs, obtidos através da conversão da rede de Petri por isomorfismo. Por fim, comparou-se os comportamentos observados na rede de Petri e no Ladder desse sistema para avaliar a coerência do mesmo e os resultados foram alinhados com o esperado.

O projeto de automação proposto visa aprimorar a eficiência da produção em um ambiente de fast-food, especificamente na fabricação de hambúrgueres, batatas fritas e nuggets. Utilizando a metodologia de Sistemas a Eventos Discretos (SED), a abordagem emprega uma arquitetura física que incorpora dispositivos de detecção, monitoramento, comando e atuação, todos conectados a um Controlador Lógico Programável (CLP). A norma IEC 61131-3 guia a programação dos CLPs, empregando a linguagem Ladder Diagram (LD) para traduzir os modelos de rede de Petri para a lógica de controle do sistema. A modelagem do comportamento do sistema é realizada por meio da metodologia Production Flow Schema (PFS) e redes de Petri, proporcionando uma representação visual clara dos subprocessos, incluindo a produção de cada item e os intertravamentos necessários. A validação do controle é executada por simulações utilizando o software PIPE 4.3, permitindo ajustes antes da conversão para LD. Os resultados esperados abrangem uma melhoria substancial na eficiência operacional. A automação busca garantir consistência na qualidade do produto, redução de erros e aumento da capacidade produtiva. Ao minimizar a intervenção humana, o sistema também pretende otimizar a produção, proporcionando benefícios tanto para a empresa quanto para a experiência do cliente. O desenvolvimento do projeto segue uma metodologia de cinco etapas, que englobam desde a definição da arquitetura física até o comissionamento das Entradas/Saídas no sistema real. A transcrição da Rede de Petri para a linguagem de programação é realizada por meio do isomorfismo, facilitando a implementação prática do controle. Em síntese, a integração de SED, metodologia PFS, modelagem de redes de Petri e programação conforme a norma IEC 61131-3 oferece uma abordagem robusta para o desenvolvimento de sistemas de automação complexos, proporcionando melhorias significativas na eficiência e na qualidade da produção em um ambiente de fast-food.

Este trabalho inicia o texto com a apresentação do problema e o objetivo de propor um método de controle e monitoramento de veículos sobre trilhos com a finalidade de aperfeiçoar a segurança do vagão contra tombamentos. Tendo isso em mente, o veículo foi modelado usando princípios de mecânica de Newton-Euler e Lagrangeana, o modelo representa a dinâmica lateral do trem. De posse do modelo, os sistemas são estudados observando seu comportamento no domínio do tempo e da frequência, sendo possível identificar suas respectivas frequências naturais e modos de vibrar. Para resolver o problema de monitoramento, foi desenvolvido um aplicativo com o MIT App Inventor com a finalidade de usufruir do chip IMU presente em todos os smartphones modernos. O aplicativo consegue salvar a informação na memória do dispositivo e então exportar os sinais do giroscópio e do acelerômetro, com esses sinais é possível utilizar um filtro complementar para aferir o ângulo de rolagem com maior precisão. Portanto, com o modelo dinâmico e o monitoramento do veículo é proposto um sistema de controle LQR que utiliza dois atuadores eletromagnéticos agindo no vagão e no truque lateralmente com a finalidade de manter a rolagem do vagão controlada evitando tombamentos do trem. O sistema é então avaliado em situação de regime permanente durante uma curva e os resultados são discutidos.

Neste trabalho analisamos uma interface háptica presente no Laboratório de Biomecatrônica sob os aspectos estruturais, eletrônicos e quanto aos códigos empregados no seu funcionamento. Em seguida, utilizamos essa análise para desenvolver uma nova versão desse aparelho que pudesse ser utilizada como plataforma de aprendizado de controle e pudesse ser utilizada para testes realizados no laboratório. Foram realizadas modelagens dos sistemas elétricos, mecânicos e aplicados conceitos de controle para a modelagem de diversos sistemas capazes de controlar a posição angular do nosso aparelho. No final, comparamos esses sistemas sobre diversas condições para definirmos o mais adequado para nosso aparelho. Por fim, elaboramos um sistema para permitir a comunicação e troca de dados entre duas interfaces para futuros testes.

O processo de agendamento de compromissos envolve a condução de uma negociação entre duas ou mais pessoas e pode ser um processo tedioso para muitos, que leva a resultados não ótimos no agendamento devido à falta de comprometimento das pessoas à tarefa de negociação (tanto em ambientes profissionais como pessoais de cada um). Para resolver esse problema, foi proposta a implementação de um assistente com uma arquitetura dividida em dois grandes módulos: Semantizador, responsável por fazer o processamento de linguagem natural e criar um objeto com uma semântica que é utilizada pelo segundo módulo; Gerenciadores de Diálogo, responsáveis por conduzir o diálogo, processando as entradas dos usuários e gerando saídas. Essa solução permitiu que metade dos usuários que testaram o assistente conseguissem atingir seus objetivos e que a coleta das informações básicas do compromisso fosse feita com uma média de 3 turnos. Permitiu também uma taxa de 84% de acerto na identificação de entidades relevantes e de 53% de acerto na identificação das intenções relevantes expressas pelo usuário.