Diagnóstico de falhas em Sistemas a Eventos Discretos para diferentes arquiteturas e formalismos

Abstract

O presente trabalho tem como objetivo analisar os aspectos relacionados à de tecção de falhas em uma planta didática instalada no Laboratório de Automação Industrial (LAI) do Departamento de Automação e Sistemas do Centro Tecnológico da Universidade Federal de Santa Catarina (UFSC). Para isso, foi realizada a modelagem individual de três bancadas presentes no laboratório utilizando Redes de Petri, seguida pela implementação da lógica desenvolvida em Controladores Lógicos Programáveis (CLPs). Ademais, serão desenvolvidos controles supervisórios para cada bancada, assim como 1 coordenador, com o propósito de garantir o correto funcionamento dos supervisores durante as interações entre as bancadas, utilizando-se dos conceitos de autômatos. Durante o desenvolvimento do trabalho, observou-se que a implementação dos supervisores e coordenadores no CLP demandou um esforço significativamente maior do que o inicialmente previsto. Essa etapa se mostrou crucial para o sucesso do projeto, evidenciando a importância da transição entre a representação de sistemas por Redes de Petri e a aplicação de autômatos em um contexto prático.