Resilient Output Containment under Undisclosed Leader Dynamics and Actuator Attacks

Technische Samenvatting: Veerkrachtige Output-containment onder Onbekende Leider-dynamiek en Actuator-aanvallen

Probleemstelling
Dit werk behandelt het probleem van veerkrachtige output-containment voor heterogene lineaire multi-agent systemen (MAS) die opereren over gerichte netwerktopologieën. Het doel is om te waarborgen dat de fysieke outputs van een netwerk van volgers convergeren naar de tijdvariërende convexe hull gegenereerd door meerdere leiders. Het probleem wordt bemoeilijkt door twee kritieke beperkingen:

1. Onbekende Leider-dynamiek: Leiders genereren begrensde, lokaal absoluut continue trajecten, maar hun dynamische modellen, snelheidsgrenzen en bewegingsenveloppen zijn strikt onbekend voor de volgers. Dit voorkomt het gebruik van standaard gedistribueerde observer-ontwerpen die vertrouwen op het reconstrueren van parameters van het leider-exosysteem.
2. Actuator Cyber-aanvallen: Volgers zijn onderhevig aan actuator-compromissen, gemodelleerd als een combinatie van state-gecorreleerde aanvallen, input-gecorreleerde aanvallen en begrensde exogene foutieve data-injecties. Deze aanvallen kunnen de uitvoering van containment-commando's corrumperen en potentieel door het netwerk propageren.

Bestaande oplossingen kampen met beperkingen: gedistribueerde observers schenden de restricties van niet-onthulling; sliding mode-protocollen introduceren vaak chattering of vereisen a priori kennis van de snelheidsgrenzen van de leider; en continue adaptieve protocollen zijn doorgaans beperkt tot ongerichte grafen of vereisen volledige state-metingen.

Methodologie
De auteurs stellen een continue, twee-laagse adaptieve controle-architectuur voor, ontworpen om de netwerk-niveau commando-generatie te scheiden van de lokale executie-veerkracht.

1. Netwerk Interface Laag (Commando Generatie):

   • Deze laag genereert task-space commando's ($\sigma_i$) met behulp van enkel via buren uitgewexchelde netwerk-interface states en instantane leider-signalen (waar beschikbaar).
   • Het maakt gebruik van een nieuw adaptief interactieprotocol dat geen globale grafenkennis vereist (bijv. eigenwaarden van de Laplaciaan) voor afstemming, noch a priori grenzen op de snelheden of bewegingsenveloppes van de leider vereist.
   • Het protocol gebruikt een nonsmooth Lyapunov-analyse om asymptotische containment van de commando-states ($\sigma_i$) ten opzichte van de convexe hull van de leiders te bewijzen, mits de graaf een leider-gewortelde united spanning tree bevat.

2. Lokale Virtuele-Actuator Herstel Laag (Executie Veerkracht):

   • Deze laag zorgt ervoor dat de fysieke volger het gegenereerde commando volgt, ondanks actuator-aanvallen.
   • Het maakt gebruik van een "virtuele actuator"-concept, waarbij een herstelblok tussen de nominale controller en de gecompromitteerde actuator wordt geplaatst.
   • Het ontwerp gebruikt een stabiel lokaal commando-filter om het task-space commando in de dynamica van de volger in te bedden.
   • Een continue adaptieve controlewet compenseert voor state-gecorreleerde, input-gecorreleerde en exogene begrensde aanvallen. Cruciaal is dat dit herstelmechanisme slechts steunt op partiële state-metingen (de externe normal-form state $x_i$), waardoor de noodzaak voor volledige state-meting (specifiek de zero-dynamics state $\eta_i$) wordt vermeden.
   • De stabiliteitsanalyse maakt gebruik van een nonsmooth Lyapunov-functie en Riccati-gebaseerde ongelijkheden om asymptotische convergentie van de lokale tracking-fouten te garanderen.

Belangrijkste Bijdragen

• Continu Adaptief Protocol voor Gerichte Grafen: Het artikel stelt een continu adaptief protocol voor dat asymptotische commando-containment bereikt over algemene gerichte leider-gewortelde grafen zonder de noodzaak van leider-model reconstructie, bekende leider-bewegingsgrenzen of globale grafenparameters.
• Nonsmooth Lyapunov-analyse: Een nieuwe nonsmooth Lyapunov-analyse wordt gebruikt om asymptotische resultaten voor het voorgestelde protocol vast te stellen, waardoor de chattering-problemen worden vermeden die geassocieerd worden met discontinue sliding mode-controles en de ultimate boundedness-beperkingen van boundary-layer benaderingen.
• Partiële State Virtuele Actuator Herstel: Een continue adaptieve virtuele-actuator herstel-laag is ontwikkeld die een brede klasse van actuator-aanvallen (state-gecorreleerd, input-gecorreleerd en exogeen) asymptotisch compenseert met behulp van enkel partiële state-metingen. Dit staat in contrast met bestaande resultaten die vaak volledige state-metingen vereisen voor asymptotische herstel.
• Praktische Containment met Residuele Analyse: Het werk maakt onderscheid tussen commando-niveau containment (asymptotisch) en fysieke output-containment (praktisch). Het biedt een rigoureuze karakterisering van de residuele fout in de fysieke outputs, waarbij deze wordt toegeschreven aan de mismatch tussen de bewegende commando en de stabiele lokale commando-filter, in plaats van een falen van het containment-protocol.

Simulatie-resultaten
De architectuur werd gevalideerd via numerieke simulaties met een netwerk van zes heterogene quadrotors die kabel-gesuspendeerde lasten dragen (vector relatieve graad [4,4]) en drie leiders die complexe, bewegende, roterende en resizerende convexe hulls genereren.

• Attack Scenario: Twee volgers werden onderworpen aan zware, persistente actuator-aanvallen die state-gecorreleerde, input-gecorreleerde en exogene componenten combineerden.
• Prestaties:
  • De netwerk interface slaagde erin de commando-states ($\sigma_i$) naar de convexe hull van de leiders te drijven met een verwaarloosbare fout ($< 10^{-6}$ m relatief aan de diameter van de hull).
  • De lokale herstel-laag hield de signalen begrensd en zorgde ervoor dat de fysieke outputs binnen een kleine praktische residu van de convexe hull bleven (maximale afstand $\approx 7,23$ m, of $\approx 1\%$ van de diameter van de hull).
  • De dominante bron van de fysieke residu werd geïdentificeerd als de commando-filter realisatie-fout (door het onvermogen van de stabiele filter om willekeurige bewegende commando's perfect te volgen zonder hogere-orde derivaten), en niet als een falen van het containment-protocol.
  • Vergelijkingen met een niet-veerkrachtige baseline toonden aan dat de voorgestelde architectuur effectief herstelde van aanvallen, terwijl de baseline faalde om containment te handhaven.

Betekenis en Claims
Het artikel claimt een gat in de literatuur te vullen met betrekking tot continue, asymptotische containment voor heterogene MAS onder onbekende leider-dynamiek en actuator-aanvallen. De betekenis ligt in het vermogen om:

1. Te opereren zonder gevoelige leider-model informatie, wat de veiligheid verhoogt tegen de synthese van stealthy aanvallen door tegenstanders.
2. Veerkracht te behouden tegen complexe actuator-compromissen zonder te vertrouwen op discontinue controle-acties die chattering veroorzaken.
3. Asymptotische convergentie van de coördinatie-laag (commando's) te bereiken terwijl een rigoureus ongelijkheid biedt op de praktische containment-fout van de fysieke laag.

De auteurs benadrukken dat de fysieke output-containment "praktisch" is (convergerend naar een residu) in plaats van asymptotisch, een beperking die inherent is aan het informatiepatroon (gebrek aan hogere-orde commando-derivaten) en het gebruik van stabiele lokale filters, en niet een falen van de voorgestelde controlestrategie. Het werk demonstreert dat het scheiden van de netwerk-interface van de lokale executie-laag de actuator-aanvallen effectief isoleert, waardoor ze niet naar de coördinatie-laag kunnen propageren.