Title: Synthesis of automatic control systems