Pós-Graduação em Engenharia de Automação e Sistemas

O Prof. André Bittencourt Leal, Professor da FEJ-UDESC, está entre nós por um ano, em estágio Senior Pós-Doutoral, desde o último dia 1 de fevereiro.

O André atualmente está ocupando a sala próxima ao café.

A título de curiosidade, segue breve resumo das interações formais prévias do André com professores do DAS:
Orientado pelo Augusto Bruciapaglia no estágio curricular no curso de graduação em Eng. Elétrica (formado em 1993)
Orientado pelo Julio Elias Normey Rico no mestrado, com a coorientação do Bruciapaglia (término em 1996)
Orientado pelo José Eduardo Ribeiro Cury no doutorado (término em 2005).

Abaixo, um breve resumo de seu plano de pesquisa para o período:

Título: Controle Supervisório Robusto e Tolerante a Falhas de Sistemas de Grande Porte

Resumo:

Os sistemas de grande porte consistem numa realidade nos dias de hoje e estão presentes em diversas áreas do conhecimento. Em virtude disso, há algum tempo a modelagem e o controle deste tipo de sistema têm sido objetos de pesquisa junto à comunidade de automação e controle. De forma semelhante, a inserção de exigências cada vez mais rigorosas sobre o desempenho e a confiabilidade de sistemas motivou a realização de pesquisas e o desenvolvimento de métodos sistemáticos para a diagnose e prognose rápida e precisa de falhas em sistemas, de modo que esta tem sido uma área de intensa pesquisa nos últimos anos. Tanto o controle de sistemas de grande porte quanto a diagnose de falhas de sistemas foram tratados no âmbito dos chamados Sistemas a Eventos Discretos (SEDs), os quais consistem em sistemas dinâmicos de estados discretos cuja transição de estados se dá através da ocorrência abrupta de eventos. Problemas de complexidade computacional relacionados à explosão combinatória de estados se constituem em importante desafio a ser superado nas áreas citadas. Neste contexto, uma das estratégias mais importantes encontradas na literatura para o controle de sistemas de grande porte consiste na abordagem modular local de síntese de supervisores. Esta abordagem permite que se explore tanto a modularidade da planta quanto das especificações de controle, evitando assim a explosão combinatória de estados decorrente da composição de modelos dos subsistemas que compõem o sistema global. Na área de diagnóstico de falhas de SEDs, o problema da complexidade levou à proposição de diversas técnicas de diagnose descentralizadas e distribuídas. Entretanto, os problemas de diagnose e prognose de falhas têm sido tratados isoladamente do problema de controle supervisório, de modo que o desenvolvimento de técnicas que permitam considerar ambos os problemas conjuntamente consiste em um promissor campo de pesquisa. Assim, este projeto de pesquisa abordará questões relacionadas à síntese de supervisores para sistemas de grande porte levando em conta aspectos de diagnóstico e prognóstico de falhas em Sistemas a Eventos Discretos. Pretende-se investigar questões em aberto na literatura, como o desenvolvimento de algoritmos para a síntese de supervisores modulares locais que levem em consideração a diagnosticabilidade e a prognosticabilidade de falhas em SEDs, explorando especialmente as técnicas de diagnóstico e prognóstico distribuídas e descentralizadas. De forma semelhante ao que foi feito na abordagem modular local de síntese de supervisores, pretende-se propor uma estrutura de diagnóstico e controle que permita explorar a modularidade da planta e das especificações de modo a diminuir a complexidade computacional envolvida na síntese de supervisores não bloqueantes que sejam capazes de garantir certas características impostas pelo projetista, mesmo em situações de falhas ou de comportamentos anormais do sistema.