Technische Samenvatting: Modelgebaseerde en Datagestuurde Hiërarchische Controle en Topologie Co-Design voor Robuuste Netwerkgestuurde Systemen

1. Probleemstelling

Het artikel behandelt de uitdaging van het ontwerpen van grootschalige netwerkgestuurde systemen die bestaan uit onderling verbonden lineaire subsystemen die onderhevig zijn aan externe verstoringen. Het kernobjectief is het gezamenlijk synthetiseren van drie componenten:

1. Lokale Controllers: Feedbackwetten voor individuele subsystemen.
2. Gedistribueerde Globale Controllers: Coördinatiemechanismen die gebruikmaken van informatie die wordt uitgewisseld tussen naburige subsystemen.
3. Interconnectie-topologie: De communicatie- of fysieke structuur die de subsystemen verbindt.

Het ontwerp moet globale dissipativiteit waarborgen (een robuustheidsmetriek die stabiliteit, $L_2$-gain en passiviteit omvat) van verstoringsinputs naar prestatie-outputs, terwijl de kosten van de interconnectie-topologie (bijv. communicatiesparsiteit) wordt geoptimaliseerd.

Een significante beperking in de bestaande literatuur is de afhankelijkheid van precieze kennis van de subsystemdynamica, die in real-world toepassingen vaak niet beschikbaar is. Bovendien behandelen veel bestaande methoden de topologie als vast of vereisen ze gecentraliseerde, niet-convexe en iteratieve ontwerpprocedures die een gebrek aan schaalbaarheid vertonen. Dit artikel streeft ernaar een verenigd framework te ontwikkelen dat:

• Hiërarchische co-design uitvoert (lokale controllers $\to$ globale controllers + topologie).
• Werkt onder modelgebaseerde aannames (bekende dynamica) en datagestuurde aannames (onbekende dynamica, bekende trajectgegevens).
• Compositionaliteit en decentraliseerbaarheid behoudt door te vertrouwen op Lineaire Matrix-ongelijkheden (LMI's).

2. Methodologie

De voorgestelde aanpak is hiërarchisch gestructureerd en wordt gepresenteerd in twee parallelle tracks: modelgebaseerd en datagestuurd.

A. Theoretische Fundamenten

Het framework steunt op dissipativiteitstheorie, specifiek $X$-dissipativiteit, wat eigenschappen zoals passiviteit en eindige-gain $L_2$-stabiliteit generaliseert.

• Lokaal Niveau: Elk subsysteem wordt ontworpen om een lokale dissipativiteits-certificaat ($X_i$-dissipativiteit) te voldoen.
• Globaal Niveau: Deze lokale certificaten worden gepropageerd naar het netwerkniveau om globale dissipativiteit ($Y$-dissipativiteit) te garanderen via de interconnectiematrix $M$.
• Tools: Het ontwerp maakt gebruik van de Schur-complement, congruentieprincipes en de Matrix S-lemma (voor het afhandelen van kwadratische restricties in datagestuurde settings).

B. Modelgebaseerde Hiërarchische Ontwerp

Deze aanpak gaat ervan uit dat de subsystemdynamica volledig bekend is ($A_i, B_i, C_i$).

1. Synthese van Lokale Controller: Een lokale state-feedback controller ($K_i$) wordt voor elk subsysteem ontworpen om een specifieke lokale dissipativiteitseigenschap ($X_i$-dissipativiteit) af te dwingen met restricties $X_{i}^{11} > 0$ en $X_{i}^{22} < 0$. Dit wordt geformuleerd als een LMI-probleem.
2. Verfijnd Lokaal Ontwerp: Om de haalbaarheid van de daaropvolgende globale fase te verbeteren, wordt het lokale ontwerp aangevuld met noodzakelijke voorwaarden afgeleid van de globale LMI. Dit omvat een variabeleverandering om de lokale dissipativiteitscertificaten te sturen richting globale compatibiliteit.
3. Globale Co-Design: Gebruikmakend van de vaste lokale certificaten, worden een gedistribueerde globale controller ($K$) en de communicatietopologie gezamenlijk ontworpen (co-design). De globale controller wordt gedefinieerd als $\bar{u} = Ky$, waarbij de sparsiteit van $K$ (en dus de communicatielinks) wordt geoptimaliseerd. Deze fase lost een enkel LMI-probleem op om globale dissipativiteit af te dwingen, terwijl een objectieffunctie wordt geminimaliseerd die sparsiteit ($\| \bar{K} \|_1$) bevordert en prestatiegrenzen optimaliseert.

C. Datagestuurd Hiërarchisch Ontwerp

Deze aanpak gaat ervan uit dat de subsystemdynamica onbekend is, maar rijke input-state-output trajectgegevens beschikbaar zijn.

1. Data Consistentie: De verzameling van alle mogelijke systeemmodellen die consistent zijn met de geobserveerde data en begrensde verstoringen, wordt gekarakteriseerd met behulp van een Kwadratische Matrix-ongelijkheid (QMI).
2. Verstoringsmodellering: Onbekende verstoringen worden verondersteld begrensd te zijn door een kwadratische matrix-ongelijkheid (wat conventionele grenzen versoepelt).
3. Synthese van Lokale Controller: De lokale controller wordt direct uit data gesynthetiseerd. De Matrix S-lemma wordt toegepast om de vereiste dat de controller moet werken voor alle modellen die consistent zijn met de data, om te zetten in een tractabele LMI. Dit zorgt voor robuustheid tegen onbekende dynamica en verstoringen.
4. Globale Co-Design: Vergelijkbaar met het modelgebaseerde geval, worden de globale controller en topologie gezamenlijk ontworpen. De onbekende systeemmatrices ($B$) in de globale LMI worden afgehandeld door het probleem te herformuleren met behulp van de data-consistentie QMIs en de Matrix S-lemma, wat resulteert in een robuuste LMI-conditie die geen expliciete systeemidentificatie vereist.

3. Belangrijkste Bijdragen

Het artikel schetst vier primaire bijdragen:

1. Hiërarchische Co-Design Formulering: Een nieuw framework voor netwerkgestuurde lineaire systemen dat lokaal controllers, gedistribueerde globale controllers en interconnectie-topologieën gezamenlijk synthetiseert onder globale dissipativiteitsrestricties.
2. Modelgebaseerd LMI Framework: Een tweestaps ontwerpproces waarbij lokale feedback dissipativiteit van subsystemen afdwingt, die vervolgens wordt ingezet voor de co-design van gedistribueerde controllers en topologieën met netwerkniveau-garanties.
3. Direct Datagestuurd Tegenhanger: Een methode die robuuste LMI-condities afleidt met behulp van enkel subsystemtrajectgegevens en kwadratische verstoringgrenzen, waardoor expliciete systeemidentificatie wordt omzeild.
4. Case Study Applicatie: Validatie van de voorgestelde methoden middels een DC Microgrid (DCMG) control problem, gericht op robuuste voltagesregeling en stroomdeling.

4. Resultaten en Toepassing

Het artikel valideert de voorgestelde methoden met behulp van een DC Microgrid case study bestaande uit meerdere Distributed Generators (DGs) en resistieve lijnen.

• Objectief: Het bereiken van robuuste voltagesregeling en proportionele stroomdeling terwijl de communicatietopologie wordt ontworpen.
• Vergelijking: De voorgestelde dissipiteitsgebaseerde hiërarchische design werd vergeleken met een standaard stabiliserende globale controller.
• Bevindingen:
  • De voorgestelde methode slaagde er succesvol in om de gewenste dissipiteits-certificaten (voltagesregeling en stroomdeling) af te dwingen.
  • Topologie Optimalisatie: In tegenstelling tot de benchmark-stabiliserende controller, die een volledig verbonden communicatietopologie vereiste, leverde de voorgestelde hiërarchische design een sparzere communicatietopologie op.
  • Prestaties: Beide controllers bereikten de gewenste stationaire regeling, maar de voorgestelde methode deed dit met minder communicatielinks, wat de effectiviteit van de gezamenlijke controle- en topologieoptimalisatie aantoont.

5. Betekenis en Claims

Het artikel claimt dat de primaire betekenis ligt in het adresseren van de kloof tussen schaalbare controledesign en topologiesynthese voor netwerkgestuurde systemen.

• Schaalbaarheid en Compositionaliteit: Door een hiërarchische aanpak te gebruiken op basis van dissipitiviteit, vermijdt de methode gecentraliseerde, niet-convexe en iteratieve ontwerpprocedures. Het behoudt compositionaliteit, waardoor lokale garanties systematisch kunnen worden gepropageerd naar globale garanties.
• Robuustheid tegen Onzekerheid: De datagestuurde uitbreiding is significant omdat het theoretische garanties biedt voor stabiliteit en prestaties zonder dat een precieze systeemmodel vereist is, wat cruciand is voor complexe real-world systemen waar modellering moeilijk is.
• Verenigd Framework: Het artikel biedt een verenigd tractabel framework (via LMI's) dat zowel modelgebaseerde als datagestuurde settings behandelt voor de gezamenlijke design van controllers en topologie, een combinatie die volgens de auteurs grotendeels onontgonnen is gebleven in de bestaande literatuur.

De auteurs hanteren een bescheiden toon, waarbij zij opmerken dat hoewel de voorlopige versie van dit werk analyse en topologiesynthese behandelde, dit artikel de scope uitbreidt naar de synthese van lokale controllers en de afhandeling van onbekende dynamica via datagestuurde methoden. De resultaten worden geïllustereerd met een specifiek DC microgrid voorbeeld, met de implicatie dat de methodologie toepasbaar is op andere netwerkgestuurde systemen zoals voertuigploegen (vehicular platoons) en supply chains, hoewel specifieke resultaten voor die domeinen niet in deze tekst worden gepresenteerd.