Gostaria de agradecer a Rafael Santos Mendes pela notável orientação na execução e condução desse trabalho. Sua paciência e dedicação foram fundamentais para o sucesso alcançado. Agradeço à Universidade Estadual de Campinas por permitir pessoas com vínculos empregatícios retornarem à universidade para compartilhar novos conhecimentos e tecnologias, permitindo, assim, o desenvolvimento de trabalhos voltados às necessidades hoje existentes na indústria. Gostaria de agradecer a Alstom Brasil, em particular meus gestores imediatos, por permitirem minha ausência durante longos períodos para a realização desse trabalho, e aos meus colegas da empresa que me ajudaram a não deixar esse trabalho se desviar do problema original. Agradeço, ainda, minha família pelo apoio incondicional e pelo incentivo durante esses longos anos de árduo trabalho, principalmente nos momentos quando a motivação e vontade apresentavam sinais de esvanecimento. iv Dedico esse trabalho ao meu pai pelo exemplo de dedicação que aos 67 anos nunca parou um dia se quer de estudar. v
ResumoO problema de regulação de trens é particularmente importante entre os problemas de escalonamento encontrados nos sistemas de transporte metroviários, sendo caracterizados por trens percorrendo regiões urbanas levando passageiros de uma localização para outra. Se o intervalo entre trens desejado, tempos de parada em plataformas e os tempos de percurso entre plataformas são determinados e conhecidos a-priori, a solução de estado estável (tabela horária) pode ser calculada. Entretanto, sistemas reais estão sujeitos a perturbações como passageiros impedindo o fechamento de portas, falhas mecânicas ou elétricas, etc., que podem desviar os trens do estado estável. Nesse contexto, esse trabalho está direcionado para a determinação de uma lei de controle, i.e., uma lei para a determinação dos instantes de chegada e partida de cada trem em cada plataforma nos ciclos do sistema para restabelecer e manter a tabela horária (solução de referência). A lei de controle proposta está baseada nos conceitos da álgebra maxplus. Os instantes desejáveis de chegada e partida de cada trem em cada plataforma são calculados a partir dos últimos instantes de ocorrência dos eventos do sistema e de um conjunto de matrizes definido na álgebra max-plus.Palavras-chave: Sistemas a eventos discretos, regulação de trens, álgebra max-plus, leis de controle, sistemas de transporte de massa.