Search




Current filters:

Add filters:

Use filters to refine the search results.


Results 1-6 of 6 (Search time: 0.013 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DatePreviewTitleAuthor(s)OrientadorProgramType
17-Nov-2017Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatísticaSantos, Felipe Crestani dosKunz, Guilherme de OliveiraPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação
24-Sep-2018Controle de movimento com músculo pneumático através de sinais eletromiográficos de superfícieViapiana, MarcielKunz, Guilherme de OliveiraPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação
31-Aug-2018Aplicação de algoritmos genéticos para o problema de escalonamento de tarefas em sistemas de manufatura com controle supervisório e autômatos com parâmetrosSpricigo, Mailla CristineReginato, RomeuPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação
26-Jul-2018Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicosBozz, Claudia BeatrizKunz, Guilherme de OliveiraPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação
21-Sep-2018Comparação de métodos de tratamento de sinais aplicáveis ao diagnóstico de defeitos em mancais de rolamentoBorges, Filipe Diniz Dal MoroKunz, Guilherme de OliveiraPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação
26-Sep-2018Metodologia para avaliação de falhas múltiplas em sistemas críticos visando o aumento da segurançaDemenech, DouglasKunz, Guilherme de OliveiraPrograma de Pós-Graduação em Engenharia Elétrica e ComputaçãoDissertação