Distributed Output-Feedback LQG Control with Delayed Information Sharing

Technische Samenvatting: Gedistribiseerde Output-Feedback LQG-regeling met Vertraagde Informatieoverdracht

Probleemformulering
Dit artikel behandelt de uitdaging van het ontwerpen van optimale regelaars voor gedistribiseerde Lineaire Kwadratische Gaussische (LQG) systemen die onderhevig zijn aan communicatievertragingen. Hoewel de case van state-feedback voor specifieke vertragingsstructuren eerder is opgelost, is de uitbreiding naar output-feedback niet triviaal omdat het klassieke scheidingsprincipe (dat een onafhankelijke ontwerp van schatting en regeling mogelijk maakt) faalt onder algemene informatiebeperkingen.

De auteurs richten zich op een systeem van drie onderling verbonden lineaire subsystemen die opereren over een sterk samenhangende graaf. De informatiestructuur is gedefinieerd zodanig dat:

1. Informatie van directe buren beschikbaar is met een één-stap vertraging.
2. Globale informatie (van alle knooppunten) beschikbaar is voor alle besluitvormers met een twee-stappen vertraging.
   Het doel is om een eindige-horizon kwadratische kostenfunctie te minimaliseren onder deze vertraagde informatiebeperkingen. De systeemdynamica zijn lineair, en verstoringen en meetruis worden gemodelleerd als gecorreleerde Gaussische witte ruis.

Methodologie
De kernmethodologie bestaat uit het ontleden van het complexe gedistribueerde regelprobleem in twee behapbare subproblemen door de state- en control-vectoren te scheiden in onafhankelijke componenten op basis van de beschikbaarheid van informatie.

1. Schattingsalgoritme: De auteurs leiden eerst een optimaal schattingsalgoritme af voor het drie-speler probleem. In tegenstelling tot de standaard Kalman-filter, die uitgaat van toegang tot alle metingen tot tijd $k-1$, maakt de voorgestelde estimator gebruik van:

   • Een gemeenschappelijke schat gebaseerd op globale informatie met een twee-stappen vertraging ($y(0:k-2)$).
   • Lokale correctietermen gebaseerd op metingen die beschikbaar zijn met een één-stap vertraging ($y_i(k-1)$ en buurmetingen).
     Dit resulteert in een aangepaste state-schat $\hat{x}^{[1]}(k)$ die lokale innovaties incorporeert.

2. Controller Decompositie: De optimale control-input $u(k)$ wordt ontleed in twee onafhankelijke delen:

   • Gecentraliseerde Component: Een term gebaseerd op de globale informatieset met een twee-stappen vertraging, gelijkwaardig aan een gecentraliseerde LQG-regelaar met een twee-stappen vertraging.
   • Correctie Component: Een som van correctietermen gebaseerd op de aanvullende lokale informatie die beschikbaar is voor elke besluitvormer (metingen op $k$ en $k-1$).

3. Optimalisatie via Convexe Programmering: De auteurs tonen aan dat het vinden van de optimale winstmatrices voor de correctietermen kan worden getransformeerd naar een onbeperkt convex optimalisatieprobleem. Door gebruik te maken van de vectorisatie-operator ($\text{vec}$) en een specifieke matrixconstructie om sparsity-beperkingen af te handelen, wordt het probleem gereduceerd tot het oplossen van een reeks recursieve vergelijkingen. Dit voorkomt de noodzaak van complexe semi-definite programmering waarbij de controllerstructuur niet expliciet is.

Belangrijkste Bijdragen

• Expliciete State-Space Realisatie: Het artikel biedt een expliciete state-space realisatie voor de optimale output-feedback regelaar in een gedistribueerde setting met vertragingen, een probleem waarbij het scheidingsprincipe doorgaans faalt.
• Controller Structuur: De optimale regelaar heeft de vorm:
  $$u(k) = F(k)(y(k) - C\hat{x}^{[1]}(k)) + F^{[1]}(k)(y(k-1) - C\hat{x}(k-1|k-2)) + L(k)\hat{x}(k)$$
  Hierbij is $L(k)$ de standaard LQR-winst berekend via discrete-tijd Riccati-recursie, terwijl $F(k)$ en $F^{[1]}(k)$ sparse winstmatrices zijn die via convexe programmering worden berekend en de informatiebeperkingen respecteren.
• Afhandeling van Gecorreleerde Verstoringen: In tegen tegenstelling tot eerder werk dat beperkt was tot onafhankelijke verstoringen, generaliseert deze aanpak naar gecorreleerde verstoringen over subsystemen.
• Computationele Tractabiliteit: De oplossing reduceert het ontwerp van de optimale regelaar tot het oplossen van één standaard discrete-tijd Riccati-vergelijking en één recursieve vergelijking, wat de berekening efficiënt maakt.

Resultaten
Numerieke simulaties op een drie-speler systeem met een tijdshorizon van $N=1000$ vergelijken de voorgestelde regelaar met drie benchmarks:

1. Gecentraliseerde regeling zonder vertraging.
2. Gecentraliseerde regeling met een twee-stappen vertraging.
3. Een één-stap vertraging informatieoverdrachtpatroon.

De resultaten geven aan dat de voorgestelde drie-speler regelaar de gecentraliseerde regelaar met een twee-stappen vertraging aanzienlijk overtreft. Bovendien bereikt het een kostenniveau dat slechts ongeveer 1,74% hoger is dan het één-stap vertraging informatieoverdrachtpatroon, wat suggereert dat voor deze specifieke topologie het voordeel van twee-richtingscommunicatie marginaal is, maar de voorgestelde methode de beschikbare vertraagde informatie effectief benut.

Betekenis en Claims
Het artikel claimt een fundamenteel begrip te bieden van algemene vertragingsstructuren in gedistribueerde LQG-regeling. Door de regelaar succesvol te ontleden in een gecentraliseerd deel en lokale correctietermen, overbruggen de auteurs de kloof tussen state-feedback oplossingen en de complexere output-feedback scenario's. Het werk demonstreert dat zelfs bij het falen van het scheidingsprincipe, expliciete en computationeel efficiënte oplossingen kunnen worden afgeleid voor specifieke, niet-triviale informatiestructuren. De auteurs merken op dat dit kader de basis legt voor het uitbreiden van deze resultaten naar oneindige-horizon problemen en meer algemene netwerktopologieën.