SafeFlowMatcher: Safe and Fast Planning using Flow Matching with Control Barrier Functions

## Контекст Планирование движения в робототехнике и искусственном интеллекте гражданского рода является ключевым заданием, связанным с несколькими вызовами. Одной из главных проблем является обеспечение безопасности движения, которая необходима для предотвращения столкновений с объектами вокруг. Существующие методы, основанные на методах генеративного планирования, демонстрируют высокую эффективность, но часто не могут гарантировать безопасность, так как не включают в свою работу формальные механизмы контроля. Из-за этого, при планировании близко к ограничениям, эти методы могут генерировать неполные или небезопасные маршруты. Наша мотивация заключается в создании планировочного подхода, который бы сочетал высокую скорость работы с формальными гарантиями безопасности. ## Метод Мы предлагаем SafeFlowMatcher, фреймворк, который объединяет подход генеративного планирования с помощью теории потоков (Flow Matching) и методы контроля барьеров (Control Barrier Functions). Данный подход предполагает два этапа работы: (i) предсказательный этап, в котором используется генерируемый поток для получения начального маршрута; (ii) корректирующий этап, в котором используется векторное поле с воздействием CBF, чтобы уточнить маршрут, чтобы он удовлетворял ограничениям безопасности. Мы доказываем формальные свойства безопасности, включая форвардную инвариантность и финитное время сходимости к безопасному множеству. Это позволяет нам избежать распространения дисперсии во время планирования и датировать укрытые локальные ловушки. ## Результаты Мы проводим эксперименты на двух бенчмарках: маршрутизации в лабиринте и локомоции. Мы сравниваем SafeFlowMatcher с двумя современными подходами: Diffusion Planner и Flow Matching. Наши результаты показывают, что SafeFlowMatcher создает более быстрые, плавные и безопасные маршруты. Мы также проводим абляционные исследования, продемонстрировав важность предложенного цикла PC и системы CBF. Полученные результаты показывают, что SafeFlowMatcher не только безопаснее, но также эффективнее существующих методов. ## Значимость Предложенный подход может применяться в различных сферах, таких как робототехника, искусственный интеллект и автоматизированная система управления транспортом. Наш подход обеспечивает формальные гарантии безопасности, не ухудшая скорость работы. Это дает значительное преимущество перед существующими методами, которые часто только целевая безопасность. Мы видим будущие направления исследований в расширении SafeFlowMatcher для более сложных и нелинейных систем, а также в использовании этого подхода для ре