Laboratório de Análise e Controle de Sistemas a Eventos Discretos
Michel Rodrigo had his Qualification Exam entitled “Discrete-Event Systems Subject to Cyber Attacks”, developed under Prof. Patrícia Pena’s supervision and
Lucas Vinícius Ribeiro Alves presented his Doctoral Thesis intitled "Application of Synchronizing Automata on the Security of Discrete Event Systems"
A new version of UltraDES was released this week. In the new version, some new algorithms are implemented such as: