En este trabajo se estudian mejoras de varios tipos al algoritmo composicional de síntesis de controladores para problemas GR(1).

Principalmente se analizará el impacto de diversas heurísticas y mejoras para aumentar el rendimiento del enfoque. También se presentará una herramienta que permite estudiar los aspectos estructurales de un problema y analizar el desempeño de MTSA al resolverlo.

Por último, se presentarán dos benchmarks, uno utilizado en la literatura y otro construido para este trabajo.