Defesa de Exame de Qualificação – Rodrigo Szpak – 05/05/2017
Defesa de Exame de Qualificação | |
Aluno | Rodrigo Szpak |
Orientador
Coorientador |
Prof. Max Hering de Queiroz, Dr. – DAS/UFSC
Prof. José Eduardo Ribeiro Cury, Dr. – DAS/UFSC |
Data
Local |
05/05/2017 14h00 (sexta-feira)
Sala PPGEAS I (piso superior) |
Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC (presidente)
Prof. Marcos Vicente de Brito Moreira, Dr. – COOPE/UFRJ Prof. André Bittencourt Leal, Dr. – CCT/UDESC Prof. Rodrigo Castelan Carlson, Dr. – DAS/UFSC
|
|
Título
|
Método de Implementação do Controle Supervisório Modular Local Temporizado em Controladores Lógicos Programáveis |
Resumo: Controladores lógicos programáveis (CLPs) são os principais dispositivos utilizados para o controle dos sistemas automatizados na indústria de manufatura. Portanto, a solução de um problema de automação em sistemas de manufatura passa pela obtenção de uma lógica de controle a ser implementada em CLPs. Modelos temporizados permitem resolver problemas mais complexos, porém ao custo de que os modelos gerados também sejam mais complexos. O projeto de uma lógica de controle para modelos temporizados é uma tarefa complexa que justifica o uso de métodos formais como a Teoria de Controle Supervisório Temporizada (TCST). O principal objetivo desta proposta de Tese é apresentar um método que permita a implementação do controle de sistemas a eventos discretos temporizados (SEDTs) em CLPs. O controle é obtido pela aplicação da abordagem modular local temporizada, estendida através do Controle Modular Local (CML) para explorar arquiteturas de SEDTs compostos. O método de implementação deve permitir a conversão do modelo que descreve o comportamento em malha aberta do sistema e dos supervisores no programa de um CLP e o programa resultante estar de acordo com a norma internacional IEC 61131-3. Na literatura discutem-se diversos problemas que podem ocorrer na implementação obtida por meio da TCS. Com a arquitetura proposta pretende-se considerar tais problemas e analisar outros que possam ocorrer ao incluir o tempo no comportamento de SEDs. Apresenta-se inicialmente um problema real de controle que será utilizado como exemplo para a aplicação dos conceitos e metodologias apresentadas. Primeiramente, realiza-se a explanação sobre a implementação do sistema não temporizado para o qual foi utilizada uma metodologia proposta pelo grupo de pesquisa de Automação e Sistemas da UFSC. A seguir apresenta-se a solução do problema real para a proposta de implementação do controle supervisório modular local temporizado. Apresenta-se ainda um estudo sobre a implementação em CLPs do escalonamento de tarefas por intermédio do CML temporizado. |