Navegando por Assunto Machine theory
Mostrando resultados 1 a 6 de 6
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Pato Branco | Engenharia de Computação | 30-Jun-2016 | Controle supervisório de ambientes dinâmicos utilizando autômatos finitos estendidos | Silva, André Lucas |
| Pato Branco | Engenharia de Computação | 27-Jun-2017 | Conversão entre modelos de sistemas a eventos discretos para simplificação da síntese de controladores | Southier, Luiz Fernando Puttow |
| Pato Branco | Engenharia de Computação | 4-Dez-2019 | Desenvolvimento de um robô de mini sumô autônomo destinado a competições de robótica | Gallina, Arthur |
| Pato Branco | Programa de Pós-Graduação em Engenharia Elétrica | 5-Set-2019 | Explorando parâmetros na modelagem, síntese e implementação de controladores para sistemas a eventos discretos | Southier, Luiz Fernando Puttow |
| Ponta Grossa | Programa de Pós-Graduação em Ciência da Computação | 22-Mai-2019 | Urban growth forecast using segmented and complete maps with the SLEUTH simulator | Roth, Ellen Cristina Wolf |
| Ponta Grossa | Ciência da Computação | 12-Nov-2019 | Verificação formal usando model checking para sistemas automotivos | Silva, Renan Francisco Macarroni da |