https://repositorio.ufsc.br/handle/123456789/224976 2026-09-06T04:59:38Z https://repositorio.ufsc.br/handle/123456789/227510 Otimização de Controle de Trafego Urbano Lenzi, Pedro Henrique Candido As principais tarefas exercidas no período da bolsa foram relacionadas a construir um algoritmo que otimiza os parâmetros a fim de deixar um controle semafórico mais eficiente. Para acompanhar as condições do controle e comparar resultados foi utilizado o software de simulação de tráfego urbano Aimsun Next. O algoritmo usado assim como as ferramentas de simulação são detalhados no relatório de atividades. Além da atividade de gerar o algoritmo, teve-se a atividade de comparar as informações dos aspectos estáticos do simulador com um banco de dados cujas informações são usadas pelo controlador de tráfego. Os resultados deste algoritmo foram significativos no ganho de velocidade média dos veículos na rede estudada e na quantidade total de tempo de veículos parados. 2021-08-25T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227500 Otimização de parâmetros na estratégia de controle TUC em malhas viárias de larga escala Saucedo, Rafael Minatto Os problemas de congestionamento em cidades não são novidade, e embora sistemas de controle em tempo real tenham sido desenvolvidos para resolver a situação, será visto nesse trabalho que eles podem ser ainda melhorados usando da otimização de parâmetros do controlador. Testes com modelos diferentes de controladores e algoritmos de otimização serão abordados tendo como objetivo chegar ao ponto de ótimo de cada modelo. Cada abordagem será testada com microsimulação na malha viária escolhida. 2021-01-01T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227497 Ferramenta para auxiliar o projeto de sistemas embarcados na linguagem AADL usando Model-Driven Engineering Bianchini, Giordan O trabalho em questão teve o objetivo analisar a ontologia e regras para caracterização de sensores e atuadores em modelos AADL, Para tal foi utilizado a linguagem OWL no software 'Protegé'. Dessa forma foi possível compreender as relações de sensores e atuadores dentro de um sistema em OWL como as classes e suas conexões e assim, foi feita uma descrição de cada componente(classes) e conexões relevantes. O mesmo foi feito em relação aos componentes AADL para que então fosse possível mapeá-los comparando as descrições a fim de criar uma relação de equivalência entre as classe OWL e os componentes AADL. Então a partir do mapeamento será possível desenvolver a ferramenta para auxiliar projetos de sistemas embarcados. Até o momento do projeto, foi desenvolvido o mapeamento das classes em OWL e dos componentes AADL. 2021-08-22T00:00:00Z https://repositorio.ufsc.br/handle/123456789/227471 Técnicas de CBPM para sistemas LPV dos Reis, Guilherme Nascimento Gouvêa O tema escolhido para o projeto atual tem sido foco de atenção crescente dos pesquisadores. Apesar de CPBM ser uma família de técnicas bem consolidada dentro da comunidade de Controle, ainda há questões a serem resolvidas, problemas em aberto e espaços para construção. Um ponto, em meio a tantos outros, é a validade de métodos para sistemas não-lineares, especialmente quando são exigidas especificações de tempo-real. Portanto, desde os anos 1990, depois da formulação formal de controladores de ganho escalonado (do inglês gain-scheduling), essas técnicas começaram a ser adaptadas para o problema do Controle Preditivo. Em especial, abordagens baseadas em sistemas lineares a parâmetros variantes podem ser empregadas com êxito e este trabalho apresenta algumas formulações. Iniciação Científica - Universidade Federal de Santa Catarina. CTC. Engenharia de Controle e Automação. 2021-08-25T00:00:00Z