Buscar
Mostrando ítems 1-10 de 1362
Códigos sobre grupos e loops
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilLicenciatura em MatemáticaUTFPR, 2018)
This paper presents analysis on Error Checking Codes, discussing some concepts that support it, such as the Number Theory, Groups and Loops. The importance of codes in Information Theory will also be presented. Checking ...
Análise de desempenho de controladores aplicados ao sistema pêndulo invertido
(Universidade Tecnológica Federal do ParanáToledo, 2014-02-24)
The main goal of this paper is to design different topologies of controllers for the inverted pendulum system in order to analyze and compare “their performance”. At first a mathematical modeling of the proposed system ...
Conversão entre modelos de sistemas a eventos discretos para simplificação da síntese de controladores
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPR, 2017-06-27)
The Supervisory Control Theory (SCT) formally structures the synthesis of controllers for Discrete Event Systems (DES) based on Automata and Languages theory. In SCT, events are separated into two different sets to include ...
Controle por realimentação de saída de sistemas lineares a parâmetros variantes no tempo
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia de Controle e AutomaçãoUTFPR, 2016-11-09)
This work is dedicated to study of techniques for the synthesis of output feedback controllers for linear systems with time-varying parameters, having as the main tool the use of linear matrix inequalities. It is used a ...
Controle supervisório de ambientes dinâmicos utilizando autômatos finitos estendidos
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPR, 2016-06-30)
This work deals with a limitation of the Supervisory Control Theory (SCT) of Discrete Event Systems (DES) modelling by Deterministic Finite Automata(DFA), as regards the adjustment of the control solution in an environment ...
Análise de métodos para identificação de ilhamento não intencional em sistemas elétricos de potência
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia ElétricaUTFPR, 2019-06-17)
This work has as it’s goal the study of graph theory applied to electrical power systems to solve the problem of unintentional islanding of an electrical network, identifying the elements that compose each island generated ...
Identificação e aplicação de técnicas de controle robusto em manipuladores robóticos
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia de Controle e AutomaçãoUTFPR, 2016-11-16)
Introdução aos bilhares no plano
(Universidade Tecnológica Federal do ParanáToledoBrasilLicenciatura em MatemáticaUTFPR, 2016-11-24)
Métodos matemáticos para modelos basados en agentes
(2014)
En este trabajo se desarrolla un marco matemático para el abordaje de los Modelos Basados en Agentes. Dicho marco es el denominado marco de los modelos algebráicos, el cual está referido a sistemas dinámicos polinomiales ...
Verificação formal usando model checking para sistemas automotivos
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de InformáticaCiência da ComputaçãoUTFPR, 2019-11-12)
Computer systems become complex, either because of their number of tasks, resource contention and / or accuracy, and aid in the human routine, but most of these are not properly tested and are susceptible to failure, which ...