Un Marco Activado por Eventos para la Interacción Humano-Autonomía Mediada por Confianza

Información Básica

• ID del Artículo: 2412.08983
• Título: An Event-Triggered Framework for Trust-Mediated Human-Autonomy Interaction
• Autores: Daniel A. Williams, Airlie Chapman, Chris Manzie
• Clasificación: cs.RO cs.SY eess.SY
• Fecha de Publicación: 12 de diciembre de 2024 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2412.08983

Resumen

Este artículo, inspirado en la creciente colaboración entre humanos y sistemas autónomos, propone un nuevo marco de sistemas híbridos para capturar las dinámicas interconectadas en estas interacciones. El marco integra modelos de la literatura de sistemas autónomos y psicología cognitiva para representar elementos clave como la confianza humana en sistemas autónomos. Mediante la adopción de muestreo asincrónico activado por eventos en la interfaz humano-máquina del marco, se incorporan las características intermitentes de la interacción humana. A través del estudio de una aplicación práctica en escenarios de búsqueda y rescate con robots autónomos en enjambre, se aclaran las consideraciones importantes para ajustar los parámetros del marco, demostrando cómo el marco propuesto facilita el diseño de interacciones humano-máquina más eficientes y efectivas.

Antecedentes de Investigación y Motivación

Definición del Problema

Con la creciente prevalencia de sistemas autónomos en aplicaciones comerciales y humanitarias, existe una necesidad urgente de establecer un paradigma completo de modelado para la interacción humano-autonomía (HAI). La investigación existente carece de un modelo de bucle cerrado estándar suficientemente general que acomode la mayoría de las dinámicas del modelo HAI.

Análisis de Importancia

1. Criticidad de las Dinámicas de Confianza: En HAI, el concepto de confianza es fundamental, ya que los sistemas autónomos actúan bajo supervisión humana y proporcionan información. La confianza adecuada permite que los comandantes tengan mayor confianza en la seguridad personal y las capacidades del sistema, facilitando una mejor delegación de responsabilidades de tareas a sistemas autónomos.
2. Demandas de Aplicaciones Prácticas: Tomando como ejemplo a un comandante supervisando un equipo de robots autónomos en búsqueda de supervivientes en zonas de desastre, el comandante necesita ajustar la formación del equipo según el desempeño del equipo y el terreno, lo que requiere un modelado de confianza efectivo y mecanismos de interacción.

Limitaciones de Métodos Existentes

1. Problemas de Estrategia de Muestreo: El muestreo periódico depende de una tasa de muestreo fija, generando muestras redundantes durante períodos de salida estable, aumentando costos de transmisión.
2. Falta de Marco Unificado: Actualmente no existe un método que integre modelos representativos de confianza e intervención con dinámicas de sistemas autónomos en un marco formal de teoría de sistemas.
3. Limitaciones de Requisitos Sincrónicos: Los esquemas de muestreo activados por eventos existentes típicamente requieren actualizaciones simultáneas, inadecuados para escenarios de comunicación asincrónica.

Contribuciones Principales

1. Marco HAI General: Se propone un marco de teoría de sistemas general que extiende trabajos existentes, introduciendo dos interfaces para medición y control de sistemas autónomos.
2. Muestreo Asincrónico Activado por Eventos: Se establece la estabilidad asintótica global uniforme de conjuntos de soluciones bajo muestreo asincrónico activado por eventos, más general que métodos existentes.
3. Verificación de Aplicación Práctica: Se implementa la solución propuesta en una aplicación práctica de búsqueda y rescate en enjambre, investigando los efectos del ajuste de parámetros del marco.

Explicación Detallada del Método

Definición de Tareas

Establecer un marco de sistemas híbridos para modelar la interacción entre un comandante humano y un sistema autónomo, que debe:

• Acomodar modelos existentes de teoría de control, interacción humano-máquina-automatización y psicología social
• Apoyar el razonamiento sistemático sobre dinámicas de confianza en bucle cerrado en escenarios HAI
• Manejar comunicación intermitente mediante muestreo activado por eventos

Arquitectura del Modelo

El marco contiene cinco subsistemas dinámicos interconectados:

1. Interfaz de Intervención del Comandante (Commander Intervention Interface)

Define la señal de intervención del comandante $Y_c \in C_c \subset \mathbb{R}^c$, de la cual se extrae la señal de referencia $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)$

donde $C_r(Y_c)$ es el conjunto de flujo y $D_r(Y_c)$ es el conjunto de salto.

2. Controlador del Sistema y Dinámicas (System Controller and Dynamics)

El controlador del sistema autónomo acepta la señal de referencia $R$ y entrada ambiental $E_a$, actualizando el estado interno $X$ y salida $Y_a$:

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

3. Interfaz de Estado del Sistema (System Status Interface)

Mide y filtra la salida del sistema autónomo $Y_a$, produciendo $Y_s$ transmitida al comandante:

$\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. Estimación de Desempeño (Performance Estimation)

Estimación del comandante del desempeño de tareas del sistema $P$, afectada por $Y_s$ y parámetro de confianza $\kappa$:

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

5. Dinámicas de Confianza e Intervención del Comandante (Commander Trust and Intervention Dynamics)

Dinámicas de confianza $T$ y salida de intervención:

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

Puntos de Innovación Técnica

1. Muestreo Asincrónico Activado por Eventos

A diferencia de esquemas sincrónicos existentes, este artículo emplea muestreo asincrónico activado por eventos, permitiendo comunicación intermitente independiente entre subsistemas de planta y controlador.

2. Diseño de Interfaz Dual

• Interfaz de Estado del Sistema: Actúa como muestreador del sistema autónomo
• Interfaz de Intervención del Comandante: Actúa como muestreador de subsistemas relacionados con el comandante

3. Garantías de Estabilidad

Mediante el teorema de ganancia pequeña híbrida, se garantiza la estabilidad asintótica global uniforme de conjuntos de soluciones bajo condiciones específicas.

Configuración Experimental

Escenario de Aplicación

Tarea de búsqueda y rescate con robots autónomos en enjambre:

• Composición del Sistema: Enjambre de 10 robots autónomos
• Objetivo de Tarea: Buscar 10 supervivientes con ubicaciones desconocidas
• Control de Formación: Los agentes mantienen una formación circular con radio determinado por el comandante
• Compensación de Desempeño: Un radio de formación más pequeño aumenta la tasa de detección de supervivientes, pero reduce el área de búsqueda cubierta

Detalles de Implementación

Modelo Dinámico de Agentes

Sistema de integrador único: $\dot{X}_i = 4(X_i^{ref} - X_i)$

donde la posición de referencia es: $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}$

Salida del Sistema

Tupla que contiene proximidad a supervivientes y cohesión del enjambre: $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}$

Dinámicas de Desempeño y Confianza

Estimación de desempeño: $\dot{P} = [0.9 \quad 0.1] Y_s - P$

Dinámica de confianza: $\dot{T} = 0.5(P - T)$

Referencia de radio de formación: $Y_c = 1.5T$

Métricas de Evaluación

• Convergencia de Estado: Observar convergencia de $q_c = [x_c, e_u, \eta_c]^T$ hacia el punto de equilibrio global
• Frecuencia de Muestreo: Analizar características de frecuencia del muestreo activado por eventos
• Residuo del Sistema: $\Delta(t) = ||\frac{\sum_{i=1}^{n_a} X_i(t) - X_i^{ref}(t)}{n_a}||_2$

Resultados Experimentales

Resultados Principales

1. Verificación de Convergencia

Las figuras 3 y 4 muestran las trayectorias de estado para tres tareas $\{M_\tau^A, M_\tau^B, M_\tau^C\}$ bajo diferentes intervalos de muestreo mínimo $\tau = \tau_p = \tau_c$. Los resultados muestran:

• $q_c$ de todas las tareas converge asintóticamente al mismo punto de equilibrio global $A_c$
• La velocidad de convergencia depende del tamaño de $\tau_p$ y $\tau_c$
• Valores más pequeños de $\tau$ verifican los resultados del Teorema 1

2. Impacto de Ganancia del Controlador

La figura 5 muestra el residuo del sistema bajo diferentes ganancias del controlador de agentes $k_p \in \{4, 40\}$:

• Con $k_p = 4$, el residuo oscila entre 0 y 1.47
• Con $k_p = 40$, la oscilación del residuo se reduce 10 veces
• Indica que ganancias de controlador más altas mejoran significativamente el desempeño del sistema

3. Análisis de Frecuencia de Muestreo

La figura 7 muestra los eventos de muestreo activados en la tarea $M_1^C$:

• Conforme $x_c$ converge al estado estacionario, la frecuencia de activación del muestreador del controlador disminuye
• El muestreador de planta se activa periódicamente debido al seguimiento continuo de la referencia de la curva de Lissajous
• Los dos muestreadores no siempre se activan simultáneamente, verificando la característica asincrónica

Efectos del Ajuste de Parámetros

Los experimentos revelan:

• Valores pequeños de $(\tau_p, \tau_c)$ aseguran garantías de estabilidad
• Valores grandes de $(\tau_p, \tau_c)$ pueden causar pérdida de estabilidad del sistema (como se muestra en la figura 6)
• El muestreo activado por eventos ahorra más recursos de comunicación que el muestreo periódico fijo

Trabajos Relacionados

Control Activado por Eventos

• Muestreo Periódico: Depende de tasa de muestreo fija, pero genera redundancia durante períodos de salida estable
• Muestreo Activado por Eventos: Se activa solo cuando el error de muestreo excede un umbral, equilibrando error de muestreo y frecuencia de transmisión
• Esquemas Asincrónicos: Aplicables a escenarios de comunicación intermitente entre subsistemas de planta y controlador

Modelado de Confianza en Interacción Humano-Máquina

• Dinámicas de Confianza: Investigaciones existentes proponen modelos de confianza lineales y no lineales
• Estrategias de Intervención: Mecanismos de intervención en sistemas humano-máquina basados en confianza
• Transparencia del Sistema: Factor clave que afecta el establecimiento de confianza humano-máquina

Teoría de Sistemas Híbridos

• Análisis de Estabilidad: Estabilidad de sistemas híbridos basada en métodos de Lyapunov
• Teorema de Ganancia Pequeña: Utilizado para analizar estabilidad de sistemas interconectados
• Comportamiento Zeno: Mecanismos para prevenir saltos infinitamente frecuentes

Conclusiones y Discusión

Conclusiones Principales

1. Validez del Marco: El marco de sistemas híbridos propuesto captura exitosamente las dinámicas clave de la interacción humano-autonomía
2. Garantías de Estabilidad: Bajo condiciones específicas, el muestreo asincrónico activado por eventos garantiza estabilidad del sistema
3. Valor Práctico: El marco libera recursos cognitivos y computacionales para que los comandantes los asignen a tareas concurrentes

Limitaciones

1. Condiciones de Supuesto: Las condiciones en la Suposición 7 son relativamente conservadoras, siendo difícil determinar analíticamente las funciones requeridas para sistemas complejos
2. Ajuste de Parámetros: Requiere ajuste cuidadoso de ganancias del controlador y planta, así como período de muestreo mínimo
3. Complejidad del Modelo: Para sistemas no triviales, satisfacer analíticamente condiciones de estabilidad presenta desafíos

Direcciones Futuras

1. Sistemas Multi-Comandante: Extensión a sistemas humano-máquina con múltiples comandantes
2. Ajuste de Parámetros Adaptativo: Desarrollo de métodos de optimización de parámetros automáticos
3. Despliegue Práctico: Verificación de la validez del marco en sistemas de robots reales

Evaluación Profunda

Fortalezas

1. Contribución Teórica: Primera integración de dinámicas de confianza con control activado por eventos en un marco de sistemas híbridos
2. Rigor Matemático: Proporciona análisis de estabilidad completo y pruebas
3. Practicidad: Demuestra el potencial de aplicación práctica del marco mediante escenarios de búsqueda y rescate
4. Integración Interdisciplinaria: Integración exitosa de conceptos de teoría de control, psicología cognitiva y robótica

Deficiencias

1. Verificación Experimental Limitada: Verificación solo en entorno de simulación, carencia de experimentos en sistemas reales
2. Sensibilidad de Parámetros: El desempeño del marco depende altamente de la selección de parámetros, pero carece de orientación sistemática de diseño de parámetros
3. Escalabilidad: La aplicabilidad a sistemas de gran escala aún no ha sido suficientemente verificada
4. Modelado de Factores Humanos: El modelo de confianza es relativamente simplificado, sin considerar diferencias individuales y factores psicológicos complejos

Impacto

1. Valor Académico: Proporciona un nuevo marco teórico para sistemas de colaboración humano-máquina
2. Perspectivas de Aplicación: Tiene valor de aplicación potencial en búsqueda y rescate, vigilancia, conducción autónoma y otros campos
3. Innovación Metodológica: El método de muestreo asincrónico activado por eventos puede generalizarse a otros sistemas de control distribuido

Escenarios Aplicables

• Sistemas autónomos que requieren supervisión humana
• Sistemas de control distribuido con recursos de comunicación limitados
• Tareas de colaboración humano-máquina que requieren consideración de dinámicas de confianza
• Escenarios de interacción humano-máquina intermitente

Referencias

El artículo cita 29 referencias relacionadas, abarcando múltiples campos incluyendo control activado por eventos, interacción humano-máquina, modelado de confianza, teoría de sistemas híbridos y otros trabajos importantes, proporcionando una base teórica sólida para esta investigación.