Palestra Prof. Fernando Pedone

26/11/2014 18:07

Palestra Prof. Fernando Pedone

O Prof. Pedone da universidade de Lugano, Suiça que está nos visitando vai fazer uma palestra (talk de uma hora + tempo para perguntas) na sala da PG da Automação as 16 horas nesta quinta-feira 27/11/14. O titulo e o resumo da apresentacao estão abaixo.

Title: Scalable State-Machine Replication

Abstract:

State-machine replication (SMR) is a well-known fault-tolerance technique. SMR consists of sequencing client requests and executing them against replicas in the same order; thanks to deterministic execution, every replica reaches the same state after executing the same sequence of requests. Despite its simple execution model, SMR does not scale performance: since every replica added to the system needs to execute all requests, throughput does not improve with the number of replicas.

In this talk, I will present Scalable SMR (S-SMR), a technique that extends state-machine replication to scale (a) with the number of replicas (scale out) and (b) with the number of processors in a replica (scale up). I will also describe Eyrie, a library in Java that implements S-SMR, and Volery, an application that implements Zookeeper’s API. We assessed the performance of Volery and compared the results to Zookeeper.

Short bio:

Fernando Pedone is a full professor in the Faculty of Informatics at the University of Lugano (USI), Switzerland. He received the Ph.D. degree from Ecole Polytechnique Fédérale de Lausanne (EPFL) in 1999. Before joining USI, he was a researcher at the Hewlett-Packard Laboratories in Palo Alto (HP Labs), USA, and a senior researcher at EPFL. His research interests include the theory and practice of distributed systems and distributed data management systems. Fernando Pedone has authored more than 100 scientific papers and 6 patents. He is co-editor of the book “Replication: theory and practice”, Springer 2010.

Palestra Prof. Francisco Vasques

13/11/2014 09:15

Palestra Prof. Francisco Vasques

Prof. Francisco Vasques da Faculdade de Eng. da Universidade do Porto (FEUP) que está em missão na UFSC dará uma palestra nesta 5a-feira, 13/nov/2014, as 14h, na sala PGEAS-1.

A palestra ocorrerá durante a disciplina Sistemas de Tempo Real II, mas estará aberta ao público.

O tema será:

Ethernet Industrial:

  • Evolução histórica;
  • Soluções comerciais existentes;
  • Sincronização de relógios.

Redes sem fio Industriais:

  • Comunicação sem fios em ambiente Industrial;
  • IEEE 802.11
  • IEEE 802.15.4

 

CAD Contest do IEEE/ACM ICCAD 2014

07/11/2014 21:11

Equipe da UFSC/ECL ficou em quinto lugar no CAD Contest do IEEE/ACM ICCAD (Int. Conference on Computer Aided Design)

 

A equipe da UFSC/ECL ficou em quinto lugar no CAD Contest do IEEE/ACM ICCAD (Int. Conference on Computer Aided Design), no problema sobre “Incremental Timing-Driven Placement”.

Este ano, a competição foi organizada e coordenada por uma equipe da IBM, sendo que a equipe da UFRGS obteve primeiro lugar.

Trata-se de um feito excepcional, pois foi a primeira vez que participamos efetivamente e com uma equipe “solo” em uma Competição desta envergadura. Além disso, as duas (únicas) equipes brasileiras concorreram com outras 25 equipes de 14 universidades e 5 países (Canadá, EUA, China, Taiwan, Índia).

A equipe da UFSC foi formada pelos seguintes estudantes e pesquisadores:

  •     Vinícius Livramento (doutorando no PPGEAS)
  •     Chrystian Guth (mestrando no PPGCC)
  •     Renan Oliveira (Aluno do CCO)
  •     José Luís Güntzel (orientador)
  •     Luiz Cláudio dos Santos (orientador – docente do PPGEAS)

As equipes trabalharam duramente vários meses para criar uma ferramenta que, a partir de um circuito (de até 1 milhão de células) pré-posicionado, otimiza o atraso crítico através do reposicionamento de células, respeitando restrições de densidade de ocupação e de deslocamentos máximos. O executável foi submetido há cerca de dois meses e foi testado pelos organizadores do concurso (composto por pesquisadores da IBM) com circuitos previamente conhecidos pelos competidores e mais alguns circuitos diferentes (para evitar “biasing” das soluções). Essa competição, como outras que tem sido feitas no ACM/SIGDA ISPD desde 2005, representa problemas-chave e/ou problemas  em aberto para os quais academia e indústria buscam algoritmos inovadores.

Detalhes dos resultados desta competição estão em  http://cad_contest.ee.ncu.edu.tw/CAD-contest-at-ICCAD2014/problem_b/results/ICCAD2014_Contest_P2_Results.pdf

 

 

 


Palestra – Prof. Romain Postayan

17/10/2014 15:31

De 22 a 31 de outubro de 2014 teremos a visita dos Professores/Pesquisadores Jamal Daafouz e Romain Postayan, (CRAN-Université de Lorraine, Nancy, França), em missão de trabalho no contexto de um Projeto de Cooperação Internacional CAPES-COFECUB. Participam deste projeto os professores do PPGEAS Edson de Pieri, Ubirajara Moreno e Eugênio de Bona Castelan.

Em especial, Romain Postayan (Chercheur CNRS) apresentará um Seminário  conforme segue:

Title: A Lyapunov redesign of coordination algorithms for systems subject to resource constraints

Abstract:

The objective is to design distributed coordination strategies for a network of agents in a cyberphysical environment. In particular, we concentrate on the rendez-vous of agents having double-integrator dynamics with the addition of a damping term in the velocity dynamics. We start with distributed controllers that solve the problem in continuous-time, and we then explain how to implement these using event-based sampling.  The idea is to define a triggering rule per edge using a clock variable which only depends on the local variables. The triggering laws  are designed to compensate for the perturbative term introduced by the sampling, a technique that reminds of Lyapunov-based control redesign.

We first present an event-triggered solution which requires continuous measurement of the relative position and we then explain how to convert it to a self-triggered policy. The latter only requires the measurements of the relative position and velocity at the last transmission instants, which is useful to reduce both the communication and the computation costs. The strategies guarantee the existence of a uniform minimum amount of times between any two edge events. The analysis is carried out using an invariance principle for hybrid systems. This is a joint work with Claudio de Persis (University of Groningen, The Netherlands).

Data: 24 de Outubro (sexta-feira)          Horário: 10h00                Local: Sala PPGEAS 02 (Andar Térreo)

Aluno do PPGEAS recebe prêmio de melhor artigo

18/11/2013 10:47

O artigo “Infraestrutura de autenticação e autorização baseada em smartcards com controle de atributos centrados no usuário” dos autores

  • Davi da Silva Böger  (aluno do PPGEAS),
  • Luciano Barreto (aluno do PPGEAS),
  • Prof. Joni Fraga (DAS/UFSC),
  • Prof. André dos Santos (UECE) e
  • David Teles França (UECE)

ganhou o prêmio de melhor artigo no Simpósio Brasileiro de Segurança (SBSeg 2013)!

Palestra – Prof. Michel Kinnaert – Université Libre de Bruxelles

06/11/2013 07:30

Entre os dias 06 e 13/11/2013 o Prof. Michel Kinnaert (Université Libre de Bruxelles) estará visitando o PPGEAS pelo Projeto de Cooperação Científica “Análise de Estabilidade, Identificação e Síntese de Controle para Sistemas de Tempo Discreto com Aplicações em Bioprocessos”, financiado pelo CNPQ/FNRS.

O Prof. Michel Kinnaert é Coordenador do “Service D’automatique et D’analyse des Systèmes” da Université Libre de Bruxelles (ULB) e atua na área de Controle Tolerante a Falhas.

Palestra: dia 08/11/2013, às 14h00, Sala PPGEAS I

Título: An Introduction to fault Diagnosis Systems with Application to Aircraft Turbine Engines and Wind Turbines”

Resumo:

Fault diagnosis systems, also called condition monitoring systems, provide on-line information on the
state of health of a device or a process. They aim at detecting small degradations, so that
maintenance operations can be planned in due time, before the faults lead to process shut down. In
this seminar, the typical structure of a fault diagnosis system will be introduced. It is made of two
parts: a residual generator and a decision system. The first aims at generating fault indicators (also
called residuals) from the measurement recorded on-line. The second processes the residual signals
in order to provide a list of the most likely fault(s), if any. Next the principle of a design method for
both parts will be presented. The methodology will then be illustrated on two applications, namely
leak detection in the lubrication system of an aircraft turbine engine, and sensor monitoring in wind
driven doubly fed induction generators.

Ciclo de Seminários em Controle baseado em eventos e ferramentas-laboratórios virtuais para o ensino de Engenharia.

24/10/2013 08:46

Palestrante: Prof. Sebastián Dormido Bencomo

Professor Titular na Universidad Nacional de Educación a Distancia de Madrid, Espanha.

Doutor pela Universidad del Pais Vasco em 1971, o Prof. Sebastian é um dos principais pesquisadores e professores da Espanha na área de controle. Foi Presidente da “Asociación Española de Informática y Automática” e do “Comité Español de Automática”, assim como palestrante convidado em diversos eventos internacionais. Tem trabalhado em diversos temas entre os que se destacam: Controle de Processos, Controle Preditivo,  Autosintonia de Controladores PID, Modelagem e simulação, Controle Robusto e Laboratórios virtuais e remotos para o ensino de automática. Nestes temas dirigiu 25 Teses de Doutorado e publicou mais de 200 artigos em revistas.

Cronograma de atividades:

Terça-feira (5/11/2013) – às 16h00

Conferência 1: Interactividad en Control Automático: Fundamentos y experiencias.

Abstract:

The first part of this lecture presents the concepts of interactivity and visualization and its essential role in learning the fundamentals and techniques of automatic control. More than 10 years of experience of the author in the development and design of interactive tools dedicated to the study of automatic control concepts are also exposed. The second part of the paper summarizes the main features of the “Automatic Control with Interactive Tools” text that has been recently published by Pearson and whose aim is to provide a series of auto-contained tools allowing to learn different basic concepts related to the automatic control. The work has been focused on how to represent the main concepts and how to formulate them according to learning based on examples.

Quinta-feira (07/11/2013) – às 10h00

Conferência 2: Desarrollo de Laboratorios virtuales/remotos en Ciencias e Ingenieria

Abstract:

This lecture describes the latest developments carried out in the UNEDLabs Portal (http://unedlabs.dia.uned.es/) which is a network of collaborative virtual and remote Laboratories developed by the Department of Computer Science and Automatic Control of the Technical School of Computer Engineering at UNED. After a brief introduction to the concept and fundamentals of virtual and remote laboratories a panoramic overview of all developments made by the group in the past will be shown. Finally some new laboratories that have been put in place, in the last year will be presented in order to show how an end user can publish new labs in the UNEDLabs Portal.

Quinta-feira (07/11/2013) – às 11h00

Conferência 3: Fundamentos de Control baseado en Eventos.

Abstract:

Most research in control engineering considers periodic or time-driven control systems. Event based control is particularly a very promising alternative when systems with reduced computation and communication capacities are considered. For event-driven controllers it is the occurrence of an event, instead of the autonomous progression of time what decides when the sampling should be made. This lecture presents an overview of the current situation of event based control systems. The main based event sampling schemes are described and the different strategies of control design using this sampling type are analysed. In particular the important case of event based PID control will be considered.

As palestras serão realizadas nas Salas de Aula do PPGEAS.

Aluno do PPGEAS recebe (novamente) prêmio de Best Paper

16/09/2013 10:21

Pelo segundo ano consecutivo, um artigo produzido no contexto do PPGEAS ganha o prêmio de melhor artigo no IEEE Emerging Technologies & Factory Automation (http://www.etfa2013.org/). Trata-se do artigo “GLHOVE: A Framework for Uniform Coverage Monitoring Using Cluster-tree Wireless Sensor Networks” com autoria de

  • Mitchel Felske (aluno de mestrado do PPGEAS)
  • Carlos Montez (prof. do DAS/PPGEAS)
  • Alex S.R. Pinto (ex-doutorando do PPGEAS)
  • Francisco Vasques (prof. da Universidade do Porto)
  • Paulo Portugal (prof. da Universidade do Porto)

Aluno PPGEAS recebe prêmio de Best Paper

20/09/2012 09:19

O artigo “Guaranteed Time Slot Allocation for Periodic Messages with (m,k)-firm Constraints in IEEE 802.15.4 Networks” ganhou o prêmio de best paper no ETFA’2012 – 17th IEEE Conference on Emerging Technologies and Factory Automation.

Os autores são

  • Carlos Montez (prof. do PPGEAS)
  • Tiago Semprebom (ex doutorando do PPGEAS e prof. do IFSC)
  • Gustavo Zomer (graduando no ECA)
  • Francisco Vasques (prof. da Faculdade de Engenharia da Universidade do Porto)