Исхаков К.Ф., Свердлов Д.М. (науч. рук. Бойцев А.А.) Гарантированная безопасность в гибридных системах управления: сочетание обучения с подкреплением и барьерных методов
Работа посвящена исследованию гибридных методов безопасного управления, объединяющих обучение с подкреплением и дискретные Control Barrier Functions. На основе анализа существующих работ и собственных вычислительных экспериментов показано, что выполнение одношагового дискретного CBF-условия обеспечивает безопасность лишь на интервале между соседними шагами времени и не гарантирует существование безопасного управления на последующих шагах. Установлено, что система может перейти в состояние, из которого дальнейшее безопасное управление невозможно, несмотря на наличие альтернативных безопасных управлений на более длинном горизонте. Результаты демонстрируют принципиальные ограничения локальных CBF-гарантий и указывают на необходимость многошагового анализа инвариантности безопасных множеств.
Исхаков К.Ф., Свердлов Д.М. (науч. рук. Бойцев А.А.) Гарантированная безопасность в гибридных системах управления: сочетание обучения с подкреплением и барьерных методов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/16040