Consensus Tracking of Perturbed Open Multi-Agent Systems with Repelling Antagonistic Interactions

Resumen Técnico: Seguimiento de Consenso en Sistemas Multiagente Abiertos Perturbados con Interacciones Antagónicas Repulsivas

Enunciado del Problema
Este trabajo aborda el problema del seguimiento de consenso para Sistemas Multiagente Abiertos (SMAA) sujetos a adversidades inducidas por migración. A diferencia de los sistemas multiagente tradicionales, los SMAA presentan agentes que se unen o abandonan dinámicamente la red, lo que resulta en una topología conmutada y de tamaño variable de forma natural. Los desafíos específicos investigados incluyen:

1. Perturbaciones no desvanecientes: Tanto perturbaciones continuas de dinámica/estado como saltos impulsivos de estado causados por migraciones de agentes.
2. Interacciones antagónicas repulsivas: Interacciones que pueden desestabilizar la red, modeladas mediante digrafos firmados donde las aristas negativas (repulsivas) pueden dominar a las cooperativas.
3. Digrafos firmados intermitentemente desconectados: Se permite que la topología de la red sea dirigida y pueda carecer de conectividad en ciertos momentos.

La dificultad central radica en el hecho de que, cuando las interacciones repulsivas dominan a las cooperativas, el sistema crea subsistemas inestables independientemente de la conectividad de la red, complicando el logro del seguimiento de consenso para un líder de referencia.

Metodología
Los autores modelan el SMAA como un sistema perturbado de múltiples modos y múltiples dimensiones (M³D). Este marco integra variaciones de dimensión (debido a la entrada/salida de agentes) y perturbaciones impulsivas no desvanecientes en una estructura unificada.

Los pasos metodológicos clave incluyen:

• Formulación del Sistema: La dinámica de los agentes se describe mediante ecuaciones lineales con un protocolo de seguimiento de consenso. La topología de la red se representa mediante un digrafo firmado conmutado $\tilde{G}_{\sigma(t)}$. Los autores definen una matriz de "Laplaciano repulsivo", señalando que si las aristas negativas superan en número a las positivas, la matriz posee valores propios con partes reales negativas, lo que conduce a la inestabilidad.
• Dinámica del Error: El problema del seguimiento de consenso se transforma en el análisis de estabilidad de un sistema de error de seguimiento. Este sistema de error se caracteriza como un sistema conmutado con:
  • Dinámica continua gobernada por matrices $\tilde{A}_{\sigma(t)}$.
  • Saltos discretos en los instantes de conmutación $t_k$ causados por migraciones de agentes e impulsos externos.
• Análisis de Estabilidad: Los autores extienden la teoría de estabilidad para sistemas M³D. Clasifican los modos de conmutación en conjuntos estables ($P_s$) y conjuntos inestables ($P_u$).
  • Los modos en $P_s$ corresponden a topologías con solo aristas positivas y un árbol de expansión dirigido con raíz en el líder.
  • Los modos en $P_u$ incluyen topologías con solo aristas positivas pero sin árbol de expansión, o topologías donde las interacciones repulsivas dominan.
• Condiciones de Conmutación: Para garantizar la estabilidad a pesar de los subsistemas inestables y las perturbaciones no desvanecientes, los autores derivan condiciones basadas en:
  • Tiempo de Permanencia Promedio por Partes (ADT): Una restricción sobre la frecuencia de conmutación.
  • Ratio de Tiempo de Activación: Una restricción sobre la proporción de tiempo dedicado a modos estables frente a modos inestables. Específicamente, los digrafos estabilizadores deben activarse el tiempo suficiente para neutralizar los efectos desestabilizadores de las interacciones repulsivas.

Contribuciones Clave

1. Extensión del Problema: El trabajo extiende la investigación previa sobre SMAA (por ejemplo, Xue et al., 2022) abordando el consenso sin líder bajo perturbaciones de estado hacia el seguimiento de consenso bajo perturbaciones no desvanecientes e interacciones antagónicas.
2. Análisis de Interacciones Repulsivas: El artículo proporciona una caracterización teórica que demuestra que, si las interacciones repulsivas dominan a las cooperativas, el SMAA exhibe inestabilidad independientemente de la conectividad de la red. Esto llena un vacío en la literatura existente, que a menudo asume interacciones puramente cooperativas u opuestas (bipartitas).
3. Nuevo Método de Análisis M³D: Se propone un nuevo método de análisis que acomoda perturbaciones no desvanecientes e interacciones repulsivas desestabilizadoras. A diferencia de trabajos anteriores, este método:
   • No requiere la condición de "conmutación alterna".
   • Se aplica a grafos firmados que son dirigidos e intermitentemente desconectados.
   • Maneja tanto impulsos independientes del estado como dependientes del estado.

Resultados
El análisis teórico arroja los siguientes resultados:

• Acotación Final: Bajo perturbaciones no desvanecientes e impulsos independientes del estado, el sistema logra un seguimiento de consenso acotado finalmente. La cota final depende de la magnitud de las perturbaciones y de los parámetros de conmutación.
• Seguimiento Asintótico: Si las perturbaciones son desvanecientes (es decir, no hay perturbaciones externas e impulsos dependientes del estado que se desvanezcan a medida que el error se desvanece), se logra un seguimiento de consenso asintótico.
• Condiciones de Conmutación: Los resultados establecen que el consenso es alcanzable si la señal de conmutación satisface condiciones específicas de ADT por partes y de ratio de tiempo de activación. Estas condiciones aseguran que los modos estabilizadores se activen lo suficiente para contrarrestar los modos desestabilizadores y las perturbaciones.

Significado
El artículo reclama significado teórico y práctico al centrarse en las adversidades inducidas por migración en los SMAA. Destaca que las migraciones de agentes pueden introducir perturbaciones abruptas y convertir interacciones cooperativas en antagónicas (por ejemplo, debido a ataques ciberfísicos como dispositivos Troyanos). Al demostrar que el consenso puede mantenerse incluso cuando las interacciones repulsivas dominan, siempre que se cumplan condiciones específicas de conmutación, el trabajo ofrece un marco robusto para controlar redes flexibles en entornos adversos, como redes ad hoc móviles o sistemas sujetos a agotamiento dinámico de recursos. Los ejemplos de simulación verifican que las condiciones derivadas permiten que el sistema logre un seguimiento acotado en presencia de perturbaciones persistentes y un seguimiento asintótico cuando las perturbaciones desaparecen.