Describir: Поисковые методы синтеза систем управления космическими аппаратами