В данной работе рассматривается задача синтеза контроллера для реагирующей системы по требованиям, представленным с помощью подкласса LTL-формул - GR(1)-формул. Синтез основывается на символьном алгоритме, описанном в работе. Символьная запись хранится программно в виде BDD. При заданных поведениях среды и реагирующей системы и выигрышном условии, представленном в виде GR(1)-формул, производится вычисление выигрышного региона и синтез совместного контроллера, удовлетворяющего заданным требованиям. Для уменьшения количества состояний синтезированного контроллера к модели его поведения применяется алгоритм минимизации. После этой минимизации описание модели транслируется в формат DOT для её последующей визуализации.