Defesa de Exame de Qualificação – Ivan Francisco Yupanqui Tello – 23/9/2019

24/09/2019 15:25
Defesa de Exame de Qualificação
Aluno Ivan Francisco Yupanqui Tello
Orientador Prof. Daniel Ferreira Coutinho, Dr. – DAS/UFSC
Coorientador Prof. Alain Vande Wouwer, Dr. – UMONS/Bélgica
Data

 

23/9/2019  9h30  (Segunda-feira)

Sala de Reuniões 2 – DAS (projeção da defesa)

Banca Prof. Gustavo Artur de Andrade, Dr. – DAS/UFSC (presidente);

Prof. Joseph Winkin, Dr. – UNAMUR;

Prof. Nicolas Gillis, Dr. – UMONS;

Prof. Laurent Dewasme, Dr. – UMONS.

Título Observer Design for Distributed Parameter Systems with Applications on Bioprocess
Abstract: This document presents the first two years of doctoral studies in observers for distributed parameter systems with applications on bioprocess. The mathematical description of many bioprocess may be in the form of partial differential equations coupled with ordinary differential equations, integral equations and/or integro-differential equations. Since such class of systems have distributed properties, the states, inputs, and outputs of their mathematical models are infinite-dimensional dependent variables that are functions of time and spatial variables. The dependence on time and space, along with additional aspects such as boundary conditions, increases the complexity of designing state estimators. This document firstly introduces some background material on state estimation of distributed parameter systems considering the operators semigroup theory and the backstepping-based technique for boundary observation. Then, it is studied the observer design of a tubular reactor having coupled state variables considering a linearized model containing spatially varying coefficients which can describe many biochemical engineering processes. An introduction to raceway pond reactor models for microalgae cultivation ends this document which will play as a benchmark problem to guide the future research.

 

Defesa de Exame de Qualificação – Jhonatan Alves – 19/9/2019

24/09/2019 15:23
Defesa de Exame de Qualificação
Aluno Jhonatan Alves
Orientador Prof. Jomi Fred Hübner, Dr. – DAS/UFSC
Coorientadora Profa. Jerusa Marchi, Dra. – INE/UFSC
Data

 

19/9/2019  9h00  (quinta-feira)

Anfiteatro A – Eng. Produação

Banca Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC (presidente);

Profa. Viviane Torres da Silva, Dra. – IBM;

Prof. Maiquel de Brito, Dr. – CAC/UFSC.

Título Um Mecanismo de Síntese Automática de Normas para Sistemas Multiagente
Resumo: Normas têm sido usadas em sistemas multiagente para regular a sociedade dos agentes na forma de regras que, em certos contextos, impõem restrições sobre os seus comportamentos indicando o que é permitido, proibido ou obrigatório. O estudo das normas nesse campo é extenso e variado. Dentre os tópicos de estudo, este trabalho está interessado no problema da síntese de normas. A síntese de normas é o processo que consiste na criação de um sistema normativo (conjunto de normas) para regular o comportamento dos agentes a fim de preservar propriedades globais do sistema. Embora muito já tenha sido feito no campo da síntese, a área de sistemas multiagente carece de um mecanismo que sintetize automaticamente normas: (i) garantindo que sejam úteis aos sistemas; (ii) viabilizando a alcançabilidade dos seus objetivos; (iii) direcionadas a regular os agentes de acordo com os seus papéis nos sistemas; (iv) evitando a análise de todos os comportamentos passíveis de regulação. Nesse sentido, este trabalho propõe um novo mecanismo computacional para a síntese automática de normas em sistemas multiagente de modo a contemplar tais limitações.

 

Defesa de Dissertação de Mestrado – Alice Ferreira Branco – 30/8/2019

24/09/2019 15:22
Defesa de Dissertação de Mestrado
Aluno Alice Ferreira Branco
Orientador Prof. Julio Elias Normey-Rico, Dr. – DAS/UFSC
Coorientador Prof. Gustavo Artur de Andrade, Dr. – DAS/UFSC
Data 30/8/2019 (sexta-feira) – 9h00

Sala PPGEAS II (piso inferior)

Banca Prof. Julio Elias Normey-Rico, Dr. – DAS/UFSC (presidente);

Profa. Rafaela Reinaldo, Dra. – PETROBRAS;

Prof. Daniel Martins Lima, Dr. – UFSC/Blumenau;

Prof. Marcelo de Lellis Costa de Oliveira, Dr. – DAS/UFSC.

Título Modelling and Control of Thermal Solar Energy Generation Process
Abstract: This master’s dissertation presents the modelling of a solar termal energy generation process and the advanced control algorithm applied to it to maximize energy efficiency. It is easy to find in the literature a good model for each subsystem of a solar energy process, but there aren’t many articles which focus on the modelling of the whole process, especially the one used in this work, with indirect solar heating system: a solar collector field, two storage tanks, a steam generator, a gas heater, a steam turbine, an electricity generator and a condenser. Thus, a complete modelling of each subsystem was conducted and brought together to simulate the entire process. It is importante to have a satisfactory modelling of the system, so that it describes its dynamics, but which is not too complex to simulate on a computer. The system’s model is essential especially because of the control technique used to control the system: Model Predictive Control, MPC, which uses the prediction of the system’s output based on its model to calculate the control law. MPC was used to control the process with the intent to optimize the energy generated by the system. Also, a state machine was implemented to decide which equipment will be turned off, depending on its temperature condition, aiming to avoid unnecessary energy consumption. Simulation results with real data for a day are presented to depict how the state machine and control strategies chosen will work on the selected model.

 

Defesa de Tese de Doutorado – Roger Daniel Francisco Ferreira – 29/8/2019

24/09/2019 15:21
Defesa de Tese de Doutorado
Aluno Roger Daniel Francisco Ferreira
Orientador Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC
Data

 

29/8/2019  15h00   (quinta-feira)

Sala PPGEAS I (piso superior)

 

 

Banca

Prof. Rômulo Silva de Oliveira, Dr. – DAS/UFSC (presidente);

Profa. Mário Antônio Ribeiro Dantas,  Dr. – DCC/UFJF;

Prof. Marcos Fonseca Mendes, Dr. – UNIOESTE;

Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC.

Título Estudo sobre a Viabilidade de Implementar Aplicações de Proteção, Automação e Controle seguindo a Norma IEC 61850 em Ambiente Virtualizado com Respeito aos Requisitos Temporais
Resumo: Tecnologias de virtualização e middlewares de comunicação trazem uma nova perspectiva e um novo paradigma que podem ser aproveitados na implementação de sistemas industriais de uma maneira geral. O objetivo deste trabalho de doutorado é avaliar a viabilidade de implementar aplicações de Proteção, Automação e Controle (PAC) no caso de Sistemas Elétricos de Potência (SEP), conforme a norma IEC 61850, em ambiente virtualizado e ainda assim atender os requisitos temporais destas aplicações. Tal avaliação requer a proposta de uma arquitetura em camadas e implementação de uma aplicação PAC IEC 61850 em um ambiente virtualizado com o propósito de verificar o seu desempenho temporal e, desta maneira, elucidar a questão principal da tese. Foi utilizado o middleware de comunicação DDS e o estudo de caso de uma aplicação IEC 61850 típica. A primeira etapa do trabalho avalia a comunicação fim-a-fim a partir da camada do middleware de comunicação DDS, executando-se as aplicações de benchmark dos testes de desempenho da implementação OpenDDS. O ambiente de experimentação distribuído e virtualizado usado considera dois hosts físicos comuns conectados por uma rede simples. A camada de virtualização é realizada com KVM como hosted hypervisor com Linux Ubuntu e TinyCore como Guest-OS. Nessa avaliação inicial do middleware DDS, é definido um conjunto de cenários de teste combinando comunicações hosthost, host-VM e VM-VM. Cada teste consiste na publicação de cerca de 11 mil mensagens de 250 bytes para cada um dos diferentes protocolos de transporte suportados pelo OpenDDS. O tempo de roundtrip é medido para cada mensagem, derivando-se a respectiva latência e jitter. A segunda etapa do trabalho avalia a comunicação fim-a-fim da aplicação IEC 61850 do estudo de caso. Neste caso, a medição fim-a-fim da latência é feita a partir da aplicação desenvolvida com sincronismo de tempo NTP. A aplicação final, composta por 6 módulos, foi desenvolvida seguindo um método claro e objetivo. Os dois cenários de teste usados definem testes local e distribuído. No cenário local, todos os 6 módulos executam em um único host. No cenário distribuído, o sistema é particionado em 2 hosts e 4 VMs. Cada cenário de teste realiza um conjunto de 15 casos de teste definidos em 3 scripts. Um script para tempo de simulação de 20 ms, um para 10 ms e um para 2 ms. Para um sistema elétrico de potência de 50 Hz, isto significa 1 amostra por ciclo, 2 amostras por ciclo e 10 amostras por ciclo, respectivamente. Cada caso de teste é configurado para repetir 10 vezes. Os resultados obtidos são apresentados em formato tabular e gráfico. Os resultados preliminares do teste do DDS mostram que aplicação de tempo real leve com deadlines de até 1 ms poderiam executar no ambiente virtualizado proposto. O trabalho mostra que é razoável supor o potencial de executar aplicações de automação em um ambiente virtualizado e distribuído. Os resultados do estudo de caso, por outro lado, mostram a limitação da infraestrutura convencional utilizada. As latências máximas chegam a 20 ms e até 30 ms em alguns casos. Valores negativos mostram a limitação na utilização de sincronismo NTP para medir latência, devido a variações não conhecidas e não controladas do skew entre os relógios. O cenário local não tem esse problema, pois dependente unicamente do mesmo relógio. Por isso foi testado, podendo-se tomar as medidas de latência como uma referência de “valores verdadeiros”, ao menos sem o efeito de skew de relógio. A contribuição dessa tese é fornecer informações, baseadas na arquitetura de referência proposta e respectiva caracterização temporal, para engenheiros responsáveis pelo design de soluções de automação e pesquisadores. Dessa forma, eles podem começar a considerar e avaliar o uso de arquiteturas e tecnologias modernas de computação, particularmente de virtualização e middleware de comunicação, em novos projetos de Engenharia ou estudos de caso e investigações científicas mais específicas.

 

Defesa de Dissertação de Mestrado – Sérgio Maurício Prolo Santos Junior – 28/8/2019

19/08/2019 15:45
Defesa de Dissertação de Mestrado
Aluno Sérgio Maurício Prolo Santos Junior
Orientador Prof. Jomi Fred Hübner, Dr. – DAS/UFSC
Coorientador Prof. Werner Kraus Junior, Dr. – DAS/UFSC
Data 28/8/2019 (quarta-feira) – 14h00

Sala PPGEAS I (piso superior)

Banca Prof. Jomi Fred Hübner, Dr. – DAS/UFSC (presidente);

Prof. Alexandre Hering Coelho, Dr. –ECV/UFSC;

Prof. Leandro Callegari Coelho, Dr. – Université Laval;

Prof. Fábio Baldissera, Dr. – DAS/UFSC.

Título Avaliação da Abordagem de Agentes no Roteamento Dinâmico para Operação de Transporte Responsivo à Demanda
Resumo: A atratividade do transporte público é drasticamente reduzida para usuários distantes dos centros de distribuição. Esse problema, conhecido como Last Mile Problem, pode ter seu efeito reduzido através de sistemas de transporte veicular sob demanda. Contudo, métodos exatos para cálculo das rotas de tais veículos são geralmente ineficientes perante cenários de alta escala e dinâmicos, onde os pedidos de transporte ocorrem durante a operação. Esse trabalho investiga o problema de roteamento dinâmico de veículos usando coordenação descentralizada baseada em leilões. O objetivo é reduzir a insatisfação dos clientes, quantizada a partir da espera média por atendimento e tempo médio de viagem, enquanto também reduz-se o custo de operação da frota, avaliada como proporcional ao tempo de uso dos veículos. As rotas criadas através da abordagem de leilões são comparadas com o ótimo em cenários diversos. Os resultados indicam que a abordagem desenvolvida é capaz de gerar bons resultados em tempo de processamento reduzido, principalmente quando há uma frota veicular sobre-ajustada. Estudos com cenários maiores e comparações com outros métodos de roteamento são indicados para melhor avaliação.

 

Defesa de Dissertação de Mestrado – Renan Artur Lopes Eccel – 28/8/2019

19/08/2019 15:31
Defesa de Dissertação de Mestrado
Aluno Renan Artur Lopes Eccel
Orientador Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC
Data 28/8/2019 (quarta-feira) – 9h00

Sala PPGEAS II (piso inferior)

Banca Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC (presidente);

Prof. Sylvain Fournier, Dr. – Pesquisa Operacional/WPLEX;

Prof. Laio Oriel Seman, Dr. – UNIVALI;

Prof. Eduardo Camponogara, Dr. – DAS/UFSC.

Título Problemas Dinâmicos de Coleta e Entrega com Janelas de Tempo: Instâncias de Benchmark
Resumo: O problema de coleta e entrega com janelas de tempo (PDPTW – Pickup and Delivery Problem with Time Windows e o problema dial-a-ride (DARP – Dial-A-Ride Problem) dinâmicos não possuem instâncias de benchmark que sejam amplamente usadas, o que dificulta a comparação de diferentes algoritmos de solução. Por esse motivo, este trabalho tem como propósito analisar os conjuntos de instâncias de problemas PDPTW e DARP dinâmicos atualmente disponíveis para uso, assim como os métodos usados para gera-las. Como base para análise serão usadas duas medidas, grau de dinamismo e urgência, que caracterizam a distribuição dos pedidos dinâmicos das instâncias. Isto é feito com a finalidade de auxiliar a escolha de conjuntos de instâncias de interesse para teste de novos algoritmos, ou, caso necessário, a escolha de um método para geração de novas instâncias. Os resultados de análise mostram que, em sua maioria, os conjuntos estudados apresentam baixa variabilidade em suas medidas de dinamismo e urgência Isso acontece principalmente pelo método utilizado para geração das instâncias.

 

Defesa de Tese de Doutorado – Rogério Antonio Casagrande – 27/8/2019

19/08/2019 15:02
Defesa de Tese de Doutorado
Aluno Rogério Antonio Casagrande
Orientador Prof. Ricardo Alexandre R. de Moraes, Dr. – PPGEAS/UFSC
Coorientador Prof. Carlos Barros Montez, Dr. – DAS/UFSC
Data

 

27/8/2019  9h00   (terça-feira)

Sala PPGEEL II (ao lado do teixeirão)

 

 

Banca

Prof. Ricardo Alexandre R. Moraes, Dr. – PPGEAS/UFSC (presidente);

Prof. Celso Alberto Saibel Santos,  Dr. – UFES;

Prof. Jefferson Luiz Brum Marques, Dr. – PPGEEL/UFSC;

Prof. Adão Boava, Dr. – CAC/UFSC/Blumenau;

Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC (suplente);

Prof. Luiz Affonso H. Guedes de Oliveira, Dr. – UFRN (suplente).

Título Redes IEEE 802.15.4 para Aplicações Móveis: uma Arquitetura para Monitoramento de Grandezas Fisiológicas
Resumo: Nos últimos anos, há uma notável expansão do uso das redes de sensores sem fio (RSSF). Entre as aplicações mais comuns destacam-se aquelas relacionadas com as áreas médica, militar, agricultura, meio ambiente e, mais recentemente, na automação industrial. Esta tese de doutorado aborda, principalmente, as RSSFs aplicadas à saúde. A principal motivação é que diversos desafios tecnológicos precisam ser superados nesta área, os quais são muito similares aos encontrados na automação industrial. Dentre eles destacam-se: estruturação da rede e distribuição dos nodos, a construção de dispositivos eficientes, compactos, multifuncionais e baratos, a escalabilidade, o roteamento, além de tolerância a falhas e o consumo de energia. Além disso, outro importante aspecto está relacionado com a mobilidade, pois implica na utilização de comunicação multiponto e na troca de pontos de acessos (handoff) sem perda da qualidade de comunicação exigida pela aplicação. Estas questões abrem possibilidades de pesquisa sobre novas arquiteturas e protocolos de comunicação. Dentro deste contexto, esta tese está focada em fornecer uma arquitetura de comunicação baseada no padrão IEEE 802.15.4 que suporte a comunicação de nodos móveis em ambientes abertos, e que contemple requisitos de qualidade de serviço para, por exemplo, aplicações de monitoramento e supervisão de pacientes em reabilitação. Este trabalho tem o objetivo de implementar melhorias no mecanismo de handoff do padrão IEEE 802.15.4, possibilitando a livre movimentação de nodos móveis em uma determinada área atendida pela rede enquanto, por exemplo, os sinais fisiológicos de pacientes são monitorados. Avaliações por experimentos práticos e por simulação demonstram que o uso de novas estratégias de associação, bem como, uma adequada configuração de parâmetros da rede, melhoram significativamente a sua eficiência. As principais contribuições desta tese são: uma revisão sistemática da literatura sobre reabilitação de pacientes e as tecnologias de comunicação; um estudo e avaliação experimental sobre interferência entre redes sem fio; uma proposta e validação experimental de uma arquitetura para monitoramento de dados fisiológicos baseada no padrão IEEE 802.15.4; o desenvolvimento de um protótipo de  eletromiógrafo sem fio e uma aplicação de monitoramento de sinais; uma revisão sistemática da literatura sobre o handoff e a proposição de melhorias, tanto no mecanismo de associação, quanto na configuração adequada de parâmetros do mecanismo CSMA/CA. 

Defesa de Exame de Qualificação – Cleber Jorge Amaral – 26/8/2019

19/08/2019 14:46
Defesa de Exame de Qualificação
Aluno Cleber Jorge Amaral
Orientador Prof. Jomi Fred Hübner, Dr. – DAS/UFSC
Data

Local

26/8/2019  14h00  (segunda-feira)

Sala PPGEAS I (piso superior)

Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC (presidente)

Prof. Ricardo Azambuja Silveira, Dr. – INE/UFSC

Prof. Jaime Simão Sichman, Dr. – PCS/USP

Título GoOrg: Automated Organisation Design for Open Multi-Agent Systems
Abstract: An explicit organisational structure helps entrants in open multi-agent systems (MAS) to reason about their positions in the organisation for cooperating to achieve mutual goals. In spite of its importance, there are few studies on automatic organisation generatorsthat create explicit organisational structures. This study introduces oOrg, a proposal for automatic design of organisations. Our approachconsiders as inputs a goal decomposition tree (gdt) and user preferences. From the gdt with annotations such as necessary skills to achieve organisational goals, predicted workload and throughput, GoOrg creates roles in the form of an organisational chart. The main challenge is to define strategies to search the space of all organisational structures for those that can achieve the goals respecting constraints and taking into account user preferences. We can, for instance, prefer a flatter or a taller structure, more specialist or more generalist roles, and we can accept matrix connections or not.

Defesa de Tese de Doutorado – Caio Merlini Giuliani – 14/8/2019

19/08/2019 14:44
Defesa de Tese de Doutorado
Aluno Caio Merlini Giuliani
Orientador Prof. Eduardo Camponogara, Dr. – DAS/UFSC
Data

 

14/8/2019  13h30   (quarta-feira)

Sala PPGEEL II (ao lado do Teixeirão)

 

 

Banca

Prof. Eduardo Camponogara, Dr. – DAS/UFSC (presidente);

Profa. Maria Aparecida Diniz Ehrhardt,  Dra. – IMECC/UNICAMP;

Prof. Juliano De Bem Francisco, Dr. – MTM/UFSC;

Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC;

Prof. Eugênio de Bona Castelan Neto, Dr – DAS/UFSC (suplente).

Título Contributions to Derivative-Free Optimization: an Exact Penalty Method and Decompositions for Distributed Control
Abstract: This thesis tackles the problem of applying decomposition methods in the area of derivative-free optimization of static and dynamical systems. A general purpose l1-penalty method is proposed for optimization in the absence of derivatives for objective and constraints. The method performs fast in numerical experiments. Often decomposition methods for optimization employ a multilevel optimization scheme. A new algorithm is proposed to specially handle the upper-level problems. The algorithm builds second-order models to better guide the search for an optimum. Regression is used to diminish the noise caused from the inexact solution of problems on the lower levels. Some formulations are proposed for the application of decomposition methods to the area of Model Predictive Control.

 

Defesa de Exame de Qualificação – Carla de Souza – 13/8/2019

19/08/2019 14:40
Defesa de Exame de Qualificação
Aluna Carla de Souza
Orientador Prof. Eugênio de Bona Castelan Neto, Dr. – DAS/UFSC
Coorientador Prof. Valter Júnior de Souza Leite, Dr. – UFMG
Data

 

13/8/2019  13h30  (terça-feira)

Sala PPGEAS I (piso superior)

 

Banca

Prof. Rodolfo Cesar Costa Flesch, Dr. – DAS/UFSC (presidente);

Prof. Jeferson Vieira Flores,  Dr. – DEEL/UFRGS;

Prof. Daniel Ferreira Coutinho, Dr. – DAS/UFSC.

Título An Augmented State Lyapunov Approach applied to LPV and Networked Control of Delayed Systems under Constraints
Abstract: In this work, we address the problem of input-to-state stabilization of parameter-varying (LPV) discrete-time systems with delayed states and saturating actuators. It is assumed that the time-varying delay belongs to a known interval and its maximum variation between two consecutive instants has a limited rate. We propose convex conditions for the synthesis of both state-feedback controllers and dynamic output controllers. The approach is based on the Lyapunov theory, on the rewriting of the delayed systems as an augmented delay-free switched system (Hetel et al., 2008) and on the application of the generalized sector condition to deal with the saturating actuators. To illustrate the efficiency of our approaches, we present numerical examples that are compared with other techniques of the literature. Moreover, we propose the extension of these results for the Networked Control Systems (NCS) case. The communication network has been largely used in industrial control systems due to its many advantages over traditional control systems. However, its presence can generate drawbacks that can degrade system performance, or even destabilize it. The search for more effective tools to deal with these problems has become a challenge in recent years. As the use of the approach proposed by (Hetel et al., 2008) in methodologies oriented to the systems with varying parameters and constraints is new, it is believed that its application in networked control problems may result in methodological and tool advances in this field of study.