Data-Driven Optimal Distributed Controller Synthesis via Spatial Regret

Technische Samenvatting: Data-gedreven optimale synthese van gedistribueerde controllers via ruimtelijke spijt

Probleemformulering
Het artikel behandelt de uitdaging van het ontwerpen van optimale gedistribueerde controllers voor grootschalige, netwerkgestructureerde lineaire tijd-invariante (LTI) systemen onder structurele communicatiebeperkingen. Traditionele methoden voor optimale regeling, zoals $H_2$- en $H_\infty$-ontwerpen, zijn vaak "graf-onafhankelijk" en behandelen alle verstoringen uniform, ongeacht hun locatie of de communicatietopologie van het netwerk. Deze aanpak faalt in het vastleggen van de specifieke prestatiedegradering die wordt veroorzaakt door beperkte informatieflow in gedistribueerde omgevingen.

Bovendien vertrouwen bestaande methoden voor het minimaliseren van "ruimtelijke spijt" — een maatstaf die de prestatiekloof kwantificeert tussen een beperkte gedistribueerde controller en een "orakel" met verbeterde communicatiemogelijkheden — op nauwkeurige toestandsruimtemodellen. Voor grootschalige systemen is het verkrijgen van dergelijke parametrische modellen vaak onuitvoerbaar of onbetrouwbaar. Het kernprobleem bestaat erin een gedistribueerde controller te synthetiseren die ruimtelijke spijt direct minimaliseert op basis van experimenteel verkregen frequentieresponsdata, zonder tussenkomst van systeemidentificatie, terwijl gesloten-lusstabiliteit wordt behouden en wordt voldaan aan vaste communicatiestructuren.

Methodologie
Het voorgestelde kader werkt volledig in het frequentiedomein met behulp van gemeten Frequentieresponsfuncties (FRF's). De methodologie verloopt als volgt:

1. Data-acquisitie: Het in-uitgangsgedrag van het proces wordt vastgelegd via de FRF, met name door de schatting van de overdrachtsfunctie $G_{22}$ uit persistent exciterende in-uitgangsdata. Andere overdrachtsfuncties ($G_{11}, G_{12}, G_{21}$) worden door de gebruiker gedefinieerd om prestatiespecificaties en verstoringmodellen te coderen.
2. Definitie van het orakel: Een "orakel"-controller $\hat{K}$ wordt gedefinieerd met een verbeterde communicatietopologie ($\hat{K} \supseteq K$). Dit orakel dient als een hypothetisch referentiepunt dat toegang heeft tot extra metingen of communicatielinks. Ruimtelijke spijt wordt gedefinieerd als de worst-case prestatiekloof tussen de beperkte controller $K$ en dit orakel $\hat{K}$ over begrenste verstoringen.
3. Herformulering in het frequentiedomein: Het probleem van ruimtelijke spijminimalisatie wordt in het frequentiedomein herformuleerd. Met behulp van Lemma 1 wordt aangetoond dat de spijmaatstaf equivalent is aan het supremum van de maximale eigenwaarde van het verschil tussen de gesloten-lus overdrachtsfunctiematrices van de beperkte controller en het orakel.
4. Iteratieve convexe synthese:
   • De controller wordt geparametriseerd via een linkse factorisatie $K = Y^{-1}X$.
   • Het resulterende optimalisatieprobleem is niet-convex vanwege kwadratische termen en de vereiste van gesloten-lusstabiliteit.
   • De auteurs stellen een iteratief algoritme voor (Stelling 1) dat de niet-convexe constraints lineariseert met behulp van een convexe ondergrens afgeleid van een vorige stabiliserende controller $K_c$.
   • Bij elke iteratie wordt een convex optimalisatieprobleem (een semi-oneindig programma opgelost via frequentiegridding) opgelost om $X$ en $Y$ bij te werken.
   • Cruciaal is dat, indien geïnitieerd met een stabiliserende controller, het algoritme garandeert dat de gesynthetiseerde controller bij elke iteratie stabiliserend blijft.

Belangrijkste bijdragen
Het artikel levert drie primaire bijdragen:

1. Uitbreiding van goedgesteldheid: De auteurs breiden de resultaten omtrent goedgesteldheid van ruimtelijke spijt (voorheen vastgesteld voor specifieke controllerklassen) uit naar willekeurige controllerklassen. Ze bewijzen dat, als het orakel is ontworpen om een klassieke norm ($H_2$ of $H_\infty$) te minimaliseren over de verbeterde constraintset, de ruimtelijke spijmaatstaf gegarandeerd niet-negatief is voor elke beperkte controller, waardoor het referentiepunt geldig is.
2. Data-gedreven synthesekader: Het artikel herformuleert ruimtelijke spijminimalisatie binnen een data-gedreven kader in het frequentiedomein. Dit verwijdert de afhankelijkheid van parametrische systeemidentificatie en maakt controller-synthese direct mogelijk op basis van frequentieresponsmetingen.
3. Stabiliteitsbehoudend algoritme: Er wordt een hanteerbaar iteratief convex algoritme ontwikkeld dat gedistribueerde controllers met vaste structuur synthetiseert. De methode zorgt voor gesloten-lusstabiliteit gedurende de iteraties, mits de initialisatie stabiliserend is.

Resultaten
De methodologie werd gevalideerd via numerieke experimenten op een 5-bus elektriciteitsnetmodel met swing-dynamica.

• Opstelling: De gedistribueerde controller was beperkt tot communicatie met de naaste buren met een vertraging van één stap. Het orakel kreeg directe toegang tot metingen van een specifieke bus (Bus 1) die gevoelig is voor verstoringen.
• Vergelijking: De ruimtelijke spijt-controller ($K_{SR}$) werd vergeleken met klassieke $H_2$- ($K_2$) en $H_\infty$- ($K_\infty$) gedistribueerde controllers.
• Prestaties:
  • In het frequentiedomein bereikte $K_{SR}$ een gunstige afweging tussen de gemiddelde prestatie van $K_2$ en de robuustheid van $K_\infty$ in de buurt van resonantiepieken.
  • Voor verstoringen gelokaliseerd op de specifieke knoop (Bus 1) nabootste $K_{SR}$ de prestaties van het orakel nauwkeurig en presteerde het aanzienlijk beter dan zowel $K_2$ als $K_\infty$.
  • Tijdsdomeinsimulaties met multi-sine verstoringen op Bus 1 toonden aan dat $K_{SR}$ de gemiddelde gereguleerde uitgangsenergie met 21,72% verlaagde ten opzichte van $K_2$ en met 48,00% ten opzichte van $K_\infty$.

Betekenis en claims
Het artikel stelt dat ruimtelijke spijt een genuanceerdere prestatie-indicator biedt voor gedistribueerde regeling door expliciet rekening te houden met de kosten van communicatiebeperkingen en lokalisatie van verstoringen. Het voorgestelde data-gedreven kader is significant omdat het de synthese van dergelijke optimale controllers mogelijk maakt zonder de noodzaak van nauwkeurige parametrische modellen, die vaak ontbreken voor grootschalige systemen.

De auteurs erkennen beperkingen: de generalisatie naar willekeurige controllerstructuren vereist een iteratieve oplossing in plaats van één enkel convex programma, en de methode garandeert geen volledigheid over de set van alle stabiliserende controllers (het onderzoekt een deelverzameling gedefinieerd door de linkse factorisatie). Bovendien schaalt de computationele complexiteit met de netwerkgrootte, wat suggereert dat gedistribueerde implementaties van het optimalisatieprobleem een onderzoeksgebied voor de toekomst blijven. Het werk bouwt voort op eerdere data-gedreven regelingkaders (bijv. Schuchert et al., 2024; Gupta et al., 2026) en breidt het concept van ruimtelijke spijt (Martinelli et al., 2025) uit naar een modelvrije setting.