Explainable AI-Enhanced Supervisory Control for Robust Multi-Agent Robotic Systems

#### Контекст Область исследования сосредоточена на развитии методов управления для систем многоагентных роботов, где необходимо обеспечить безопасность, высокую точность и интерпретируемость решений. Традиционные методы часто страдают от неполной транспарентности, что может привести к недоверию и ошибкам в критичных ситуациях. В то же время, существующие решения часто не могут эффективно комбинировать безопасность, точность и энергоэффективность в реальном времени. Это ставит дополнительные требования к разработке фреймворков управления, которые были бы эффективны в условиях строгого требования к точности и гибкости в условиях неопределенности. Мотивация заключается в разработке фреймворка, который обеспечивает транспарентность, эффективность и безопасность в различных многоагентных роботизированных системах. #### Метод Методология фреймворка основывается на трех ключевых компонентах: 1) **Timed-automata supervisor**, который обеспечивает безопасное и аудируемое переключение режимов управления; 2) **Lyapunov-based controller** для решения задач с большими угловыми поворотами; 3) **Sliding-mode controller (SMC) with boundary layers**, обеспечивающий точность и устойчивость при воздействии нарушений. Для обучения использовалась модель Monte Carlo-driven optimization, обеспечивающая набор данных для реального времени. Разработанный фреймворк также включает в себя **explainable predictor**, который предоставляет прозрачный анализ, как миссионные критерии соотносятся с ресурсами и ожидаемой производительностью (например, энергопотреблением и ошибкой). Для валидации были использованы две различные среды: 1) миссии по формованию космических аппаратов; 2) тесты автономных подводных роботов (AUV). #### Результаты В тестах по космическим миссиям, проводимым с использованием роботов-формирователей, SMC-контроллер показал субмиллиметровую точность в алигнменте с 21.7% меньшим потреблением энергии и 81.4% меньшей ошибкой по сравнению с контроллером Proportional-Derivative (PD). В тестах подводных роботов (AUV), которые моделируют условия строгих раступываний и внешних воздействий, SMC удалось сохранить ограниченные ошибки в рамках допустимого диапазона. Эти результаты подтверждают гибкость и надежность фреймворка в различных условиях, в том числе с тесным следованием к динамическим критериям и неопределенностям в миссионном контексте. #### Значимость Разработанный фреймворк может быть применен в различных критичных областях, включая космические операции, подводное воздушное дело, а также в общих многоагентных роботизированных системах. Он обеспечивает повышенную