Событийно-инициируемая структура для опосредованного доверием взаимодействия человека и автономных систем

Основная информация

• ID статьи: 2412.08983
• Название: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
• Авторы: Daniel A. Williams, Airlie Chapman, Chris Manzie
• Классификация: cs.RO cs.SY eess.SY
• Дата публикации: 12 декабря 2024 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2412.08983

Аннотация

Вдохновленная растущим сотрудничеством между человеком и автономными системами, данная работа предлагает новую гибридную системную структуру для захвата взаимосвязанной динамики этих взаимодействий. Структура интегрирует модели из литературы по автономным системам и когнитивной психологии для представления ключевых элементов, таких как доверие человека к автономной системе. Путем применения асинхронной событийно-инициируемой выборки на интерфейсе человека и машины учитываются прерывистые характеристики человеческого взаимодействия. На примере практического применения в сценарии поиска и спасения с использованием автономных роботов-групп выясняются важные соображения по настройке параметров структуры и демонстрируется, как предложенная структура способствует разработке более эффективного взаимодействия человека и машины.

Исследовательский контекст и мотивация

Определение проблемы

С растущим распространением автономных систем в коммерческих и гуманитарных приложениях существует острая необходимость в установлении полной парадигмы моделирования взаимодействия человека и автономных систем (HAI). В существующих исследованиях отсутствует стандартная замкнутая модель с достаточной универсальностью для охвата большинства динамик HAI.

Анализ значимости

1. Критичность динамики доверия: В HAI концепция доверия имеет первостепенное значение, поскольку автономные системы действуют под надзором человека и предоставляют информацию. Надлежащее доверие позволяет командирам быть более уверенными в личной безопасности и возможностях системы, что способствует лучшему делегированию ответственности за задачи автономным системам.
2. Требования практического применения: На примере командира, контролирующего группу автономных роботов при поиске выживших в зоне бедствия, командир должен корректировать формирование группы в зависимости от производительности команды и рельефа местности. Это требует эффективного моделирования доверия и механизмов взаимодействия.

Ограничения существующих подходов

1. Проблемы стратегии выборки: Периодическая выборка зависит от фиксированной частоты выборки и создает избыточные образцы в периоды стабильности выхода, увеличивая затраты на передачу.
2. Отсутствие единой структуры: В настоящее время отсутствуют методы интеграции репрезентативных моделей доверия и вмешательства с динамикой автономных систем в формальную теоретико-системную структуру.
3. Ограничения требований синхронизации: Существующие схемы событийно-инициируемой выборки обычно требуют одновременного обновления, что неприменимо к сценариям асинхронной коммуникации.

Основные вклады

1. Универсальная структура HAI: Предложена универсальная теоретико-системная структура, расширяющая существующие работы и вводящая два интерфейса для измерения и управления автономной системой.
2. Асинхронная событийно-инициируемая выборка: Установлена единообразная глобальная асимптотическая устойчивость решений при асинхронной событийно-инициируемой выборке, более общей, чем существующие методы.
3. Проверка практического применения: Реализована предложенная схема в практическом применении группового поиска и спасения, исследованы эффекты настройки параметров структуры.

Подробное описание методов

Определение задачи

Разработка гибридной системной структуры для моделирования взаимодействия между человеческим командиром и автономной системой, которая должна:

• Вмещать существующие модели из теории управления, взаимодействия человека и машины и социальной психологии
• Поддерживать систематическое рассуждение о замкнутой динамике доверия в сценариях HAI
• Обрабатывать прерывистую коммуникацию посредством событийно-инициируемой выборки

Архитектура модели

Структура состоит из пяти взаимосвязанных динамических подсистем:

1. Интерфейс вмешательства командира (Commander Intervention Interface)

Определяет сигнал вмешательства командира $Y_c \in C_c \subset \mathbb{R}^c$, из которого извлекается опорный сигнал $R \in C_r(Y_c) \cup D_r(Y_c) \subset \mathbb{R}^{\varrho}$:

$\dot{R} = f_r(Y_c, R), \quad R \in C_r(Y_c)$$R^+ = g_r(Y_c, R), \quad R \in D_r(Y_c)$

где $C_r(Y_c)$ — множество потока, $D_r(Y_c)$ — множество скачков.

2. Контроллер системы и динамика (System Controller and Dynamics)

Контроллер автономной системы принимает опорный сигнал $R$ и входные данные окружающей среды $E_a$, обновляет внутреннее состояние $X$ и выход $Y_a$:

$\dot{X} = f_a(R, E_a, X)$$Y_a = h_a(X)$

3. Интерфейс состояния системы (System Status Interface)

Измеряет и фильтрует выход автономной системы $Y_a$, выводя $Y_s$ для передачи командиру:

$\dot{S} = f_s(Y_a, S), \quad S \in C_s(Y_a)$$S^+ = g_s(Y_a, S), \quad S \in D_s(Y_a)$$Y_s = h_s(S)$

4. Оценка производительности (Performance Estimation)

Оценка командиром производительности системы при выполнении задачи $P$, зависящая от $Y_s$ и параметра доверия $\kappa$:

$\dot{P} = f_p(\kappa, Y_s, P)$

5. Динамика доверия и вмешательства командира (Commander Trust and Intervention Dynamics)

Динамика доверия $T$ и выход вмешательства:

$\dot{T} = f_c(\kappa, P, E_c, T)$$Y_c = h_c(\kappa, Y_s, T)$

Технические инновации

1. Асинхронная событийно-инициируемая выборка

В отличие от существующих синхронных схем, данная работа применяет асинхронную событийно-инициируемую выборку, позволяющую подсистемам объекта и контроллера осуществлять независимую прерывистую коммуникацию.

2. Двойной интерфейс

• Интерфейс состояния системы: Служит дискретизатором для автономной системы
• Интерфейс вмешательства командира: Служит дискретизатором для подсистем, связанных с командиром

3. Гарантии устойчивости

Посредством теоремы о малых приращениях при выполнении определенных условий гарантируется единообразная глобальная асимптотическая устойчивость множества решений.

Экспериментальная установка

Сценарий применения

Задача поиска и спасения с использованием автономных роботов:

• Состав системы: Группа из 10 автономных роботов-агентов
• Цель задачи: Поиск 10 выживших с неизвестными местоположениями
• Управление формированием: Агенты поддерживают круговое формирование с радиусом, определяемым командиром
• Компромисс производительности: Меньший радиус формирования повышает скорость обнаружения выживших, но снижает площадь охватываемого поиска

Детали реализации

Модель динамики агентов

Система с одиночным интегратором: $\dot{X}_i = 4(X_i^{ref} - X_i)$

где опорная позиция определяется как: $X_i^{ref} = \begin{bmatrix} 6\sin(\frac{t}{2\pi}) + R\cos(\theta_i) \\ 6\sin(0.1t^{2\pi}) + R\sin(\theta_i) \end{bmatrix}$

Выход системы

Кортеж, содержащий близость выживших и сплоченность группы: $Y_a = \begin{bmatrix} [1-\tanh(\sum_{i=1}^{n_a} \sigma(||X_j^s - X_i||_2))]_{j=1}^{n_s} \\ \frac{\sum_{j=1}^{n_a}(-1+\sum_{i=1}^{n_a} \sigma(||X_j-X_i||_2))}{n_a(n_a-1)} \end{bmatrix}$

Динамика производительности и доверия

Оценка производительности: $\dot{P} = [0.9 \quad 0.1] Y_s - P$

Динамика доверия: $\dot{T} = 0.5(P - T)$

Опорный радиус формирования: $Y_c = 1.5T$

Метрики оценки

• Сходимость состояния: Наблюдение сходимости $q_c = [x_c, e_u, \eta_c]^T$ к глобальной точке равновесия
• Частота выборки: Анализ характеристик частоты событийно-инициируемой выборки
• Остаток системы: $\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2$

Результаты экспериментов

Основные результаты

1. Проверка сходимости

На рисунках 3 и 4 показаны траектории состояния трех задач $\{M_\tau^A, M_\tau^B, M_\tau^C\}$ при различных минимальных интервалах выборки $\tau = \tau_p = \tau_c$. Результаты показывают:

• $q_c$ всех задач асимптотически сходится к одной и той же глобальной точке равновесия $A_c$
• Скорость сходимости зависит от величины $\tau_p$ и $\tau_c$
• Меньшие значения $\tau$ подтверждают результаты теоремы 1

2. Влияние коэффициента усиления контроллера

На рисунке 5 показан остаток системы при различных коэффициентах усиления контроллера агентов $k_p \in \{4, 40\}$:

• При $k_p = 4$ остаток колеблется между 0 и 1,47
• При $k_p = 40$ колебания остатка снижаются в 10 раз
• Демонстрирует, что более высокий коэффициент усиления контроллера значительно улучшает производительность системы

3. Анализ частоты выборки

На рисунке 7 показаны события выборки в задаче $M_1^C$:

• По мере сходимости $x_c$ к установившемуся состоянию частота срабатывания дискретизатора контроллера снижается
• Дискретизатор объекта срабатывает периодически из-за непрерывного отслеживания изменяющейся опорной траектории Лиссажу
• Два дискретизатора не всегда срабатывают одновременно, что подтверждает асинхронные характеристики

Эффекты настройки параметров

Эксперименты выявили:

• Малые значения $(\tau_p, \tau_c)$ обеспечивают гарантии устойчивости
• Большие значения $(\tau_p, \tau_c)$ могут привести к потере устойчивости системы (как показано на рисунке 6)
• Событийно-инициируемая выборка экономит коммуникационные ресурсы по сравнению с фиксированной периодической выборкой

Связанные работы

Событийно-инициируемое управление

• Периодическая выборка: Зависит от фиксированной частоты выборки, но создает избыточность в периоды стабильности
• Событийно-инициируемая выборка: Срабатывает только при превышении ошибкой выборки порога, балансируя ошибку выборки и частоту передачи
• Асинхронные схемы: Применимы к сценариям прерывистой коммуникации между подсистемами объекта и контроллера

Моделирование доверия при взаимодействии человека и машины

• Динамика доверия: Существующие исследования предлагают линейные и нелинейные модели доверия
• Стратегии вмешательства: Механизмы вмешательства в системы человека и машины на основе доверия
• Прозрачность системы: Ключевой фактор, влияющий на установление доверия между человеком и машиной

Теория гибридных систем

• Анализ устойчивости: Устойчивость гибридных систем на основе метода Ляпунова
• Теорема о малых приращениях: Используется для анализа устойчивости взаимосвязанных систем
• Поведение Зено: Механизмы предотвращения бесконечно частых скачков

Выводы и обсуждение

Основные выводы

1. Эффективность структуры: Предложенная гибридная системная структура успешно захватывает ключевую динамику взаимодействия человека и автономных систем
2. Гарантии устойчивости: При выполнении определенных условий асинхронная событийно-инициируемая выборка гарантирует устойчивость системы
3. Практическая ценность: Структура может освободить когнитивные и вычислительные ресурсы для распределения командиром между параллельными задачами

Ограничения

1. Условия предположений: Условия в предположении 7 являются консервативными и сложны для аналитического определения необходимых функций для сложных систем
2. Настройка параметров: Требуется тщательная настройка коэффициентов усиления контроллера и объекта, а также минимального периода выборки
3. Сложность модели: Для нетривиальных систем аналитическое удовлетворение условиям устойчивости представляет вызов

Направления будущих исследований

1. Системы с несколькими командирами: Расширение на системы человека и машины с несколькими командирами
2. Адаптивная настройка параметров: Разработка методов автоматической оптимизации параметров
3. Практическое развертывание: Проверка эффективности структуры на реальных робототехнических системах

Глубокая оценка

Преимущества

1. Теоретический вклад: Впервые объединены динамика доверия и событийно-инициируемое управление в гибридную системную структуру
2. Математическая строгость: Предоставлен полный анализ устойчивости и доказательства
3. Практичность: Демонстрирует потенциал практического применения структуры на примере сценария поиска и спасения
4. Междисциплинарная интеграция: Успешно объединены концепции из теории управления, когнитивной психологии и робототехники

Недостатки

1. Ограниченная экспериментальная проверка: Проверка только в среде моделирования, отсутствуют эксперименты на реальных системах
2. Чувствительность к параметрам: Производительность структуры сильно зависит от выбора параметров, но отсутствует систематическое руководство по проектированию параметров
3. Масштабируемость: Применимость к крупномасштабным системам еще не полностью проверена
4. Моделирование человеческого фактора: Модель доверия относительно упрощена, не учитывает индивидуальные различия и сложные психологические факторы

Влияние

1. Академическая ценность: Предоставляет новую теоретическую структуру для систем сотрудничества человека и машины
2. Перспективы применения: Имеет потенциальное применение в поиске и спасении, мониторинге, автономном вождении и других областях
3. Инновация методов: Метод асинхронной событийно-инициируемой выборки может быть распространен на другие системы распределенного управления

Применимые сценарии

• Автономные системы, требующие человеческого надзора
• Системы распределенного управления с ограниченными коммуникационными ресурсами
• Задачи сотрудничества человека и машины, требующие учета динамики доверия
• Сценарии приложений с прерывистым взаимодействием человека и машины

Список литературы

Статья цитирует 29 соответствующих источников, охватывающих множество областей, включая событийно-инициируемое управление, взаимодействие человека и машины, моделирование доверия и теорию гибридных систем, обеспечивая прочную теоретическую основу для данного исследования.