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