Título: Reducción de Simetrías para la versión modular de Non-blocking
Director: Sebastián Uchitel
Jurados: Victor Braberman y Hernán Gagliardi

Resumen:
En esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking, más precisamente, con su versión modular. En esta versión, el input es una especificación representada con varios autómatas, y se quiere resolver el problema de control en la composición paralela de estos. En la composición, se genera una explosión exponencial de la cantidad de estados. Observamos que, en algunas especificaciones, hay autómatas que son isomorfos entre sí, lo cual puede causar que la planta compuesta presente simetrías. Se decide explorar si hay alguna posibilidad de mejora, sacando provecho de estas simetrías para atenuar la explosión de estados. Siguiendo este enfoque, se propone e implementa un nuevo algoritmo. En los casos en los que estas simetrías se presentan, este logra una mejor performance que los algoritmos preexistentes.