## Контекст Генерирующие планировщики движения (Generative Motion Planners, GMP) — это новая стратегия для планирования движения, которая использует нейронные сети для генерирования планов движения в реальном времени. Они отличаются от традиционных алгоритмов планирования движения тем, что не зависят от явного представления окружающей среды, что делает их более гибкими и эффективными. Однако, несмотря на их выгоды, генерирующие планировщики движения сталкиваются с трудностями в проверке безопасности и динамической выполнимости их планов движения. Действительно, нейронные сети, используемые в таких планировщиках, содержат миллионы параметров, что делает их проверку сложнее. Это затрудняет их использование в реальных ситуациях, где безопасность и надежность являются критичными. Наша мотивация заключается в разработке метода, который позволит проверить безопасность и динамическую выполнимость генерирующих планировщиков движения без потери их выразительности. ## Метод Мы предлагаем метод для формальной проверки безопасности и рефинеймента генерирующих планировщиков движения с помощью стабилизированных локальных управлений. Мы стабилизируем выходные данные генерирующего планировщика движения с помощью небольшого нейронного управляющего модуля, который принимает в качестве входных данных сэмплы из выходов GMP. Затем мы применяем инструменты нейронной сетевой проверки (Neural Network Verification, NNV) для закрытого цикла динамики. Это позволяет получить достижимые множества, которые могут строго подтвердить безопасность закрытого цикла. Кроме того, управляющий модуль гарантирует динамическую выполнимость. Мы также создаем библиотеку стабилизированных генерирующих планировщиков движения, которая может быть использована в реальном времени. Этот подход позволяет имитировать дистрибуцию генерирующего планировщика движения в безопасных ситуациях, улучшая безопасность без необходимости переучивания. ## Результаты Мы используем наши методы для проверки стабильности и безопасности генерирующих планировщиков движения, включая такие алгоритмы, как Diffusion Models, Flow Matching и Vision-Language Models. Мы проводим эксперименты на симуляциях (земных роботов и квадрокоптерах) и на реальном оборудовании (двухходовом роботе). Наши результаты показывают, что наш подход улучшает безопасность и отвечает высоким стандартам динамической выполнимости, не теряя выразительности генерирующих планировщиков движения. ## Значимость Наш подход имеет широкие перспективы применения в сферах, где безопасность и надежность движения роботов играют критическую

## Контекст Современные автоматизированные системы, такие как роботы и автономные транспортные средства, требуют надежных методов управления для обеспечения безопасности и надежности. Control barrier functions (CBFs) широко применяются для решения задач безопасного управления в ситуациях, где существуют жесткие ограничения на состояние системы. Однако дизайн CBFs часто требует значительных усилий и является нетривиальной задачей. В этой работе авторы рассматривают проблему применения CBFs в частично наблюдаемых средах и применении их к решению задач, где необходимо учитывать дополнительные наблюдаемые параметры. Известно, что CBFs могут быть неэффективны в таких условиях, поэтому целью данной работы является разработка метода, обеспечивающего более точное учети этих факторов и повышающее безопасность системы. ## Метод В статье предлагается метод, основанный на Hamilton-Jacobi (HJ) reachability analysis, который позволяет приближенно определять максимально безопасные множества для системы. Для этого используется архитектура на основе hypernetwork, которая позволяет настраивать CBFs в зависимости от наблюдаемых параметров окружения. Эта архитектура допускает настройку в реальном времени на основе изменяющихся условий. Метод также включает новые технические решения для точного моделирования и оценки безопасных множеств в пространстве состояний. Эти решения основываются на свойствах HJ-функций, которые гарантируют, что предсказанные безопасные множества не будут пересекаться с ограничивающими условиями. ## Результаты Для проверки эффективности предлагаемого подхода проводились эксперименты в симуляторе и на реальном оборудовании. Были использованы данные из реальных ситуаций, включая работу с грунтовым роботом и квадрокоптером. В результате экспериментов, проведенных в симуляторе, был показан увеличение успешности системы в сравнении с традиционными CBFs. Также было продемонстрировано, что подход хорошо работает в условиях изменения окружения и применимости к неизвестным средам. Эксперименты на живом оборудовании подтвердили эти результаты, показав, что метод не только эффективен, но и может быть применен в реальных условиях, даже при ограниченной наличием информации. ## Значимость Предложенный подход может быть применен в различных областях, где необходимо обеспечить безопасность, включая автоматизированные системы, транспортные средства, а также системы с условиями высокой надежности. Одним из основных преимуществ является возможность учета дополнительных наблюдаемых параметров в модели, что позволяет значительно повысить безопасность и надежность. Этот подход также име

## Контекст Imitation learning (IL) широко применяется для сложных манипулятивных задач, но сталкивается с ограничениями при работе с выходными данными, находящимися вне распределения обучающей выборки. Например, IL-политики неэффективны при работе с нестандартными начальными состояниями, такими как неожиданная позиция объекта или его полное или частичное окклюзирование. В таких ситуациях необходимы дополнительные демонстрации, чтобы IL-системы могли обеспечить высокую универсальность и надежность. Подобные ситуации часто встречаются в повседневной жизни: люди отрегулировывают окружающую среду для упрощения выполнения задачи. Например, вращают кружку для того, чтобы легче было захватить его, или двигают препятствие, чтобы получить доступ к цели. Мы предлагаем моделировать подобное поведение у роботов, чтобы они могли подготавливать окружение перед выполнением задачи. ## Метод Мы предлагаем ReSET — алгоритм, который автоматически редактирует сцену перед тем, как запустить политику IL. Решение включает следующие этапы: 1. **Диагностика нестандартного начального состояния**: Мы оцениваем, насколько состояние входит в распределение, задействуя task-agnostic human teleoperation data и action-agnostic human videos. 2. **Предсказание подходящих действий**: Мы моделируем действия, которые мог бы применить человек для переразмещения объектов и упрощения задачи. 3. **Реализация роботом**: Мы преобразуем предложенные действия в примитивы роботом, используя существующую модель политики IL. Эта стратегия позволяет сократить общее число демонстраций, необходимое для устойчивой и общительной работы. ## Результаты Мы проводили эксперименты на виртуальных и реальных сценах с различными задачами манипуляции. Результаты показывают, что ReSET позволяет улучшить универсальность и надежность IL-политик при одинаковом объеме обучающих данных. Мы сравнивали нашу модель с Diffusion Policies, VLAs и другими базовыми алгоритмами. В результате ReSET показала более высокую точность и большую устойчивость при выполнении задач в нестандартных начальных состояниях. ## Значимость Вычислительные эксперименты и практические исследования показали, что ReSET может быть применен в многочисленных манипулятивных задачах, включая домашние и промышленные сценарии. Основные преимущества: - Улучшенная универсальность IL-политик. - Относительно низкий затратный подход для достижения высокой надежности. - Увеличение гибкости в работе в условиях нестандартных начальных состояний. ## Выводы Мы представили ReSET — алгоритм, который мотивирует роботы воспроизводить роль человека в подготовке окружающей среды для упрощения задач. Наши теоретические

## Контекст Динамическое управление мягкими континуум-роботами (SCRs) представляет собой задачу высокой технологичности, которая может расширить их применения в различных областях, включая хирургию, роботизированные производства и поисковые операции. Однако этот вид управления связан с высокими вычислительными требованиями из-за необходимости точных динамических моделей, что требует больших вычислительных ресурсов. Несмотря на то, что существуют подходы, основанные на операторе Купмана, они часто не могут адаптироваться к изменениям среды и не полностью охватывают сложную модель робота. В данной работе предлагается решение, основанное на нейронных сетях и физически обоснованной теории Cosserat, для реализации эффективного управления SCRs с высокой скоростью и точностью. ## Метод Методология, предложенная в статье, основывается на сочетании нейросетевого подхода и физически обоснованной теории Cosserat. Используется доменно декомпозированная физически информированная нейронная сеть (DD-PINN), которая является суррогатом динамической модели Cosserat-рода и обеспечивает скорость работы на 44000 раз выше, чем динамическая модель. DD-PINN также используется для оценки состояний и степени кривизны робота на основе положения конечного элемента. Для реализации модели-предсказательного управления (MPC) применяется нелинейная эволюционная стратегия, которая работает в реальном времени на GPU с частотой 70 Гц. Это позволяет MPC адаптироваться к изменениям в задаче и сохранять точность в управлении. ## Результаты В экспериментах, проведенных в симуляционной и реальной среде, показано, что MPC, основанный на DD-PINN, достигает высокой точности в отслеживании динамических траекторий и управлении с направленными положениями. Точность контроллера достигает 3 мм (2,3% от длины активного узла) в симуляционной среде и показывает аналогичные результаты в реальном мире. Кроме того, робот показывает ускорение до 3,55 м/с², что демонстрирует эффективность и скорость работы системы. Это число значительно превышает требования для большинства приложений. ## Значимость Предложенная система может быть применена в различных областях, где требуется точное управление сложными мягкими системами, таких как хирургические роботы, трубные роботы и другие динамические системы. Основное преимущество заключается в том, что DD-PINN уменьшает вычислительные требования и обеспечивает реальностремя-контроль. Благодаря этому, применение SCRs может быть расширено на новые области, где высокая скорость и точность критичны. ## Выводы Результаты показывают, что предложенный подход является эф

## Контекст Увеличение числа различных задач, с которыми сталкиваются роботы в реальном мире, приводит к появлению сложных проблем, связанных с энергоэффективностью и эффективностью динамической планирования маршрутов. Роботы, оснащенные разнообразными сенсорами, могут стабильно определять свое положение в полу-обнаруживаемых окружениях. Однако продолжительное включение всех сенсоров одновременно является не только энергоемким, но и неэффективным. Обычно используются методы, ориентированные на моделях, которые обрабатывают беззнаковые области, но они требуют постоянного включения сенсоров, что приводит к большим расходам. Исследователи пытаются разработать более эффективные методы, которые позволят роботам выполнять задачи с минимальным потреблением ресурсов. ## Метод Belief-Conditioned One-Step Diffusion (B-COD) — это планировщик, который способен в реальном времени выбирать минимальный набор сенсоров, необходимый для поддержания соответствующей расстояния позиционирования. Основная идея заключается в том, что данный планировщик способен вычислять расстояние до цели и прогнозировать распространение знаний о положении с помощью трех векторов: размера 10 метров, 10 миллисекунд и 10 терабайт. Метод использует распределенные сигналы, которые позволяют оптимизировать алгоритм для разных сценариев. Для улучшения достоверности решения используется метод прослойки размерности, который позволяет снизить количество вычислительных операций. ## Результаты Исследователи проверили систему на нескольких сценариях, в том числе на плавающих лодках в реальном времени. Отчеты обозначают, что B-COD способен уменьшить потребление энергии сенсоров на 50% в сравнении с базовыми методами. Оно показало способность точно определять местоположение без необходимости всегда включать все сенсоры. Кроме того, B-COD позволяет выделить лучший путь во время выполнения задачи, что делает его оптимальным в технических и энергетических аспектах. ## Значимость Этот подход может быть применен в различных областях, включая морские и авиационные операции, а также городские системы. Он позволяет экономить энергию, уменьшить время расчетов и обеспечить более точное навигационное положение. Благодаря своей гибкости, B-COD может быть усовершенствован для различных ситуаций и окружений, что делает его обширным инструментом для развития робототехники. ## Выводы Результаты исследований B-COD показывают, что этот метод может стать новой стандартной платформой для реального времени роботов, выполняющих точные задачи. Несмотря на то, что он уже демо

## Контекст Летательные инсектоидные роботы, имитирующие поведение насекомых, широко используются в аэрокосмических и робототехнических исследованиях. Однако существуют значительные различия в их мобильности по сравнению с настоящими насекомыми. Насекомые способны выполнять впечатляющие маневры, такие как резкий тормоз, быстрые рефлексы и повороты, даже при воздействии внешних дисруптивных факторов. В то же время, инсектоидные роботы, особенно на масштабе инсектов, ограничены в их возможностях траектории и динамическими маневрами. Это связано с низким инерцией робота, быстрыми динамическими процессами, неоднородностью аэродинамических характеристик и восприимчивостью к внешним раздражителям. Для выполнения более сложных маневров необходимо создание агрессивных траекторий полета, которые подвергаются ограничениям железа, а также высокоточной динамической системы управления, учитывающей модельные и окружающие неопределенности. ## Метод Для достижения инсектоидной динамики и устойчивости в полете мы разработали модельный метод прогностического управления с глубоким обучением, который включает в себя контрмеры для устранения неопределенности. Мы использовали техники глубокого обучения для воспроизведения архитектуры управления насекомых, состоящей из центральной нервной системы и системы моторных нейронов. Для обеспечения высокой скорости реакции в реальном времени, необходимой для выполнения маневров, мы разрабатывали имитационное обучение для 2-уровневой полносвязной нейронной сети. Эта сеть моделирует функционал нервной системы насекомых, чтобы динамически реагировать на внешние воздействия. Мы также разработали методы управления трубным потоком, которые позволяют учитывать неопределенность в аэродинамических условиях и динамике робота. ## Результаты Мы провели эксперименты с полетным роботом, весом 750 миллиграмм, используя нашу модель управления. Маневры, которые мы смогли выполнить, включали резкие разгоны, быстрые повороты и 10 подряд выполненных поворотов в течение 11 секунд. Это представляет собой новую стандартную метрику для инсектоидных полётов. Мы также проверили устойчивость нашего робота под воздействием ветра с скоростью до 160 см/с и системными ошибками в генерации силы. Результаты показали, что наш робот выполняет маневры с увеличенной скоростью и ускорением, превышающими предыдущие показатели, в том числе 255% улучшение в ускорении и 447% в скорости. ## Значимость Наши работы открывают новые возмо

## Контекст Планирование движения в динамических средах является ключевым задачей в робототехнике, автоматизированных системах и искусственном интеллекте. Одна из основных проблем в этой области — выживание и эффективное движение роботов в окружении движущихся объектов. Традиционные методы, основанные на моделях, часто сталкиваются с ограниченной точностью и реакцией на быстро меняющуюся среду. Задача заключается в разработке методов, которые обеспечат высокую точность и реакцию на изменения, сочетая в себе быстроту выполнения и эффективность. ## Метод Мы предлагаем гибридную локальную планировщик для моделирования движения (Model Predictive Control, MPC), который использует нейронные сети для оценки значения функции времени. Функция значения вычисляется с помощью анализа Хейвенда-Яки (HJ), но его реализация в реальном времени невозможна. Мы предлагаем структуру, где значение функции выражается как разность между сигнальным расстоянием (signed distance function, SDF) и негативной функцией резидента. Негативная функция резидента представляется в виде нейронной сети, которая гарантирует реальное время выполнения. Такая структура позволяет получить оценку значения функции, которая не менее безопасна, чем SDF. Мы также параметризуем нейронную сеть с помощью hypernetwork, чтобы увеличить скорость обучения и улучшить общие свойства. ## Результаты Мы провели эксперименты на симуляционных данных и на действительном оборудовании, сравнивая наш метод с тремя лучшими существующими методами. Результаты показывают, что наше решение позволяет повысить успешность задачи до 30% по сравнению с лучшим базовым методом. Наши результаты показали хорошую эффективность в реальном времени, не требуя значительного дополнительного ресурса. Это делает наш метод применимым в реальных ситуациях, где необходима быстрая реакция на изменения среды. ## Значимость Метод может быть применен в различных сферах, включая автомобильную индустрию, летательные аппараты, роботы-охотники в трудных условиях. В отличие от традиционных методов, наше решение обеспечивает высокую скорость и высокое качество решения задачи движения. Это делает его полезным для ситуаций, где необходима быстрая реакция на изменения окружения. Мы также отмечаем, что параметризация сети через hypernetwork может быть отправной точкой для дальнейших исследований в области улучшения скорости и точности планирования. ## Выводы Мы разработали новую модель MPC, которая использует нейронные сети для эффективного расчета значения функции времени в динамических средах. Это решение показало себя эффектив