Гарантированное оценивание траектории распределенных системдиссертация