La comunicación es fundamental para los agentes ciberfísicos. A menudo, los agentes individuales solo disponen de observaciones parciales o capacidades complementarias y, por ello, deben intercambiar información para realizar diversas tareas ciberfísicas. Transmitir observaciones de sensores sin procesar genera una sobrecarga de comunicación considerable, mientras que la comunicación en lenguaje natural añade carga computacional al generar texto en el emisor e interpretarlo en el receptor. Estas limitaciones hacen que la comunicación convencional sea ineficiente para los sistemas multiagente en tiempo real.
Formulación del problema
Siguiendo configuraciones habituales en trabajos anteriores, consideramos agentes ciberfísicos que codifican localmente sus observaciones e intercambian representaciones latentes a través de un enlace de comunicación. Para una observación, un codificador local produce una representación latente:
La ecuación de la representación latente codificada no se incluye en el texto proporcionado.
Cada token latente tiene una dimensión fija y la representación latente tiene una longitud en tokens. Los codificadores pueden ser específicos de cada modalidad, por ejemplo, para entradas de imagen, audio o texto. En cada agente pueden coexistir varias tareas posteriores que generan mensajes latentes que comparten el mismo enlace de comunicación.
Evaluación del cambio semántico
Las observaciones físicas suelen evolucionar de forma continua, lo que genera una redundancia considerable entre observaciones consecutivas. Esta etapa mide esa redundancia semántica e identifica la información no redundante que debe transmitirse. La comparación directa, token por token, de dos mensajes latentes puede ser poco fiable, ya que las observaciones correspondientes pueden estar desalineadas debido al movimiento de los objetos o del punto de vista. Por ello, SCALE primero establece correspondencias a nivel de token entre el mensaje latente actual y el estado latente confirmado por el receptor, antes de cuantificar los cambios semánticos.
Para cada token actual, SCALE primero encuentra el token más similar en el estado latente confirmado por el receptor:
La ecuación de correspondencia no se incluye en el texto proporcionado.
A continuación, la similitud coseno máxima correspondiente se utiliza para cuantificar el cambio semántico del token actual:
La ecuación del cambio semántico no se incluye en el texto proporcionado.
Los tokens muy similares reciben puntuaciones de cambio bajas, mientras que los tokens con baja similitud reciben puntuaciones más altas. Un umbral de similitud determina si se puede reutilizar el token correspondiente del lado del receptor; una correspondencia solo se puede reutilizar si cumple ese umbral. La correspondencia se establece con el estado confirmado por el receptor para garantizar que solo se reutilice información cuya disponibilidad en el receptor esté confirmada.
Caracterización de utilidad y costo
Las puntuaciones de cambio semántico reflejan la cantidad de información nueva que aporta cada token latente. Esta etapa caracteriza además el equilibrio entre la ganancia semántica y el costo de comunicación para distintos tamaños de transmisión, donde el tamaño de transmisión corresponde al número de tokens latentes enviados en un mensaje.
Los tokens con puntuaciones de cambio semántico más altas tienen prioridad y se ordenan de mayor a menor. A continuación, se definen la ganancia semántica acumulada y el costo de comunicación:
Las ecuaciones que definen la ganancia semántica acumulada y el costo de comunicación no se incluyen en el texto proporcionado.
Rendimiento en las pruebas de referencia
Se utilizan métricas de rendimiento específicas de cada tarea para evaluar dos tareas en CooperScene. Para la detección de objetos 3D, las métricas reportadas son la precisión media (AP) y la tasa de puntualidad de los mensajes. La AP se calcula con un umbral de intersección sobre unión de 0.5 para emparejar las cajas predichas con las cajas de referencia.
Para la predicción de trayectorias, las métricas reportadas son el éxito de la tarea y la tasa de puntualidad de los mensajes. El éxito de la tarea es el porcentaje de objetivos de predicción para los que al menos una de las seis trayectorias predichas queda a menos de 2 m de la posición de referencia.
Limitaciones
SCALE mejora la eficiencia del ancho de banda y permite la planificación en tiempo real para agentes de sistemas ciberfísicos, pero tiene dos limitaciones.
En primer lugar, el ahorro en comunicaciones depende de la redundancia espaciotemporal de las representaciones latentes. Las observaciones del mundo físico pueden cambiar abruptamente, lo que podría reducir la información reutilizable y aumentar la comunicación necesaria para mantener el rendimiento de las tareas.
En segundo lugar, el algoritmo de planificación evalúa la viabilidad de cumplir los plazos utilizando la tasa actual del enlace. No puede gestionar disminuciones inesperadas del ancho de banda que se producen en escalas temporales inferiores al intervalo mínimo de planificación, lo que puede afectar la puntualidad de los mensajes antes de que el planificador pueda adaptarse.
Preguntas frecuentes
¿Cómo reduce SCALE la sobrecarga de comunicación? Da prioridad a los tokens latentes según su cambio semántico y reutiliza la información correspondiente del estado confirmado por el receptor cuando se cumple el umbral de similitud.
¿Por qué SCALE establece correspondencias con el estado confirmado por el receptor? El estado confirmado permite saber qué información está disponible en el receptor; por tanto, solo se puede reutilizar información confirmada.
¿Qué métricas se utilizan para la tarea de detección de objetos de CooperScene? La evaluación reporta la precisión media y la tasa de puntualidad de los mensajes. La precisión media utiliza un umbral de IoU de 0.5 para emparejar las cajas predichas con las cajas de referencia.
¿Qué puede limitar la puntualidad de los mensajes de SCALE? Las disminuciones inesperadas del ancho de banda más rápidas que el intervalo mínimo de planificación pueden afectar la puntualidad de los mensajes antes de que el planificador se adapte.