Methods of nonlinear analysis and synthesis of synchronization control systems for electrical grids have been developed. The use of averaging methods and Lyapunov-type stability criteria for the cylindrical phase space have made it possible for the first time in the Gardner problem to obtain analytical estimates of the system parameters to ensure acceptable values of phase errors and to take into account changes in the reference signal amplitude.