Invia SMS: Синтез локально-оптимальных алгоритмов управления летательными аппаратами