Teoria de sistemas a eventos discretos e controle supervisório aplicada a modelagem e controle de sinalização de tráfego ferroviário.

Abstract

Dentre os diversos recursos e métodos comumente dedicados à segurança do transporte ferroviário, a sinalização se destaca como primordial para orientação de maquinistas, pedestres e controladores de tráfego. Com destaque no Brasil, onde o foco deste tipo de transporte se dá em ferrovias de plantas industriais, a periculosidade das cargas transportadas representam maior criticidade aos controles de segurança. Neste trabalho é abordada a problemática da sinalização ferroviária luminosa aplicada em um sistema composto por trechos ferroviários de movimentação de cargas industriais. Para tanto, é proposta uma abordagem para a modelagem a partir dos conceitos das Teoria de Sistemas a Eventos Discretos, Teoria de Autômatos e suas linguagens e Controle Supervisório, utilizando o software DESTool como ferramenta computacional para cálculos e simulações. Por meio dos modelos obtidos e de métodos computacionalmente automatizados, obteve-se uma representação completa do sistema de sinalização e foram verificadas: a observação de eventos pelo controlador, a controlabilidade de restrições de segurança impostas por especificações, assim como ações de controle diretas e indiretas sobre eventos fisicamente controláveis e incontroláveis. Sob esta ótica, foi validada a adequação dos métodos à aplicação proposta, e o modelo obtido se representou em opção viável a implementação em sistemas reais.