Active Disturbance Rejection for Boundary Control Systems

Technische Samenvatting: Actieve Verstoringonderdrukking voor Randcontrolemechanismen

Probleemstelling
Dit artikel behandelt de stabilisatie van oneindig-dimensionale lineaire systemen en partiële differentiaalvergelijkingen (PDV's) die onderhevig zijn aan onbekende inputverstoringen en niet-gemodelleerde nonlineariteiten. Specifiek beschouwen de auteurs abstracte randcontrolemechanismen van de vorm:
$$\dot{x}(t) = Ax(t), \quad x(0) = x_0$$
$$Bx(t) = u(t) + d(t) + \phi_s(x(t)) + \phi_o(y(t))$$
$$y(t) = Cx(t)$$
waarbij $x$ de toestand is, $u$ de besturingsinput, en $y$ de output. Het systeem wordt verstoord door een onbekend verstoringssignaal $d(t)$ en niet-gemodelleerde nonlineariteiten $\phi_s$ (toestandsafhankelijk) en $\phi_o$ (outputafhankelijk). Het doel is om een controller te ontwerpen die de "totale verstoring" $d_{tot} = d + \phi_s(x) + \phi_o(y)$ schat en onderdrukt, waardoor de toestand $x$ naar nul convergeert als $t \to \infty$, terwijl externe welgesteldheid gewaarborgd blijft.

Methodologie
De auteurs maken gebruik van de Active Disturbance Rejection Control (ADRC)-benadering binnen het kader van abstracte randcontrolemechanismen. De kernmethodologie omvat:

1. Schatting van de Totale Verstoring: De controller maakt gebruik van een "geïnverteerd" systeem om de totale verstoring te schatten. Door de randvoorwaarden die de input als metingen definiëren te herinterpreteren en de output-randsporen als nieuwe randvoorwaarden te beschouwen, construeren de auteurs een estimator. Indien het geïnverteerde systeem over goed gedefinieerde en stabiele dynamica beschikt, convergeert de schattingsfout naar nul.
2. Controllerstructuur: De voorgestelde controller bestaat uit drie hoofdonderdelen:
   • Een Separator: Een pre-stabiliserend blok dat de controle-input $u$ verwijdert uit de oorspronkelijke systeemdynamica vóór inversie.
   • Een Inverter: Een dynamisch systeem dat de input-outputrelatie medieert om het onbekende deel van de input ($d_{tot}$) te schatten.
   • Een Luenberger-type Observer: Een lineaire observer voor het oorspronkelijke systeem die de verstoringsschatting $\hat{d}$ gebruikt om de onbekende input te benaderen en het effect ervan asymptotisch te compenseren.
3. Wiskundig Kader: De analyse steunt op de theorie van welgestelde randknopen (well-posed boundary nodes) en lineaire systemen in Hilbertruimten. De auteurs definiëren klassieke en gegeneraliseerde oplossingen voor het gesloten-lus systeem, dat de plant en de controller (die zelf een systeem met een interne lus is) omvat. Zij maken gebruik van transmissiefuncties, semigroeptheorie en resolvent-schattingen om stabiliteit en welgesteldheid vast te stellen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert twee hoofdtheorema's die de theoretische basis leggen voor ADRC in abstracte randcontrolemechanismen:

• Theorem 3.2 (Standaard Welgesteldheid): Onder specifieke aannames met betrekking tot de welgesteldheid van het geïnverteerde systeem (specifiek dat de geïnverteerde randknoop een welgestelde output-afbeelding heeft), bewijzen de auteurs:

  • De existentie en uniciteit van klassieke en gegeneraliseerde oplossingen voor het niet-lineaire gesloten-lus systeem.
  • Exponentiële convergentie van de verstoring-schattingsfout ($\hat{d} - d_{tot}$) naar nul.
  • Exponentiële stabiliteit van de gesloten-lus toestand en output, mits de onderliggende semigroepen exponentieel stabiel zijn.
  • Externe incrementele welgesteldheid van het gesloten-lus systeem.

• Theorem 3.6 (Verzwakte Voorwaarden voor Parabolische Systemen): In erkenning van het feit dat de inversen van bepaalde PDV-systemen (met name warmtevergelijkingen) slecht gesteld (ill-posed) zijn, bieden de auteurs een aangepast resultaat. Zij vervangen de strikte welgesteldheidseis van het geïnverteerde systeem door een voorwaarde die verband houdt met de uniforme begrensdheid van een specifiek product van transmissiefuncties. Dit maakt het mogelijk om het ADRC-ontwerp toe te passen op parabolische PDV's waarbij de inverse dynamica niet in de standaard zin welgesteld is, door gebruik te maken van het vloeiende effect (smoothing effect) van de parabolische modellen.

Toepassingen op PDV's
De auteurs demonstreren de toepasbaarheid van hun abstracte resultaten door controllers te ontwerpen voor:

1. Eendimensionale Golfvergelijking: Een systeem met gecollocated randinputs en outputs. De controller onderdrukt succesvol randverstoringen en compenseert voor niet-gemodelleerde nonlineariteiten, wat leidt tot exponentiële energie-afname.
2. Eendimensionale Warmtevergelijking: Een systeem waarbij de inverse karakteristiek slecht gesteld is. De auteurs passen Theorem 3.6 toe om aan te tonen dat de controller het systeem stabiliseert en verstoringen onderdrukt ondanks de slechte gesteldheid van de inverse, door gebruik te maken van de parabolische vloeiende eigenschappen.

Betekenis en Claims
Het artikel claimt de stand van de techniek voor ADRC voor PDV's op verschillende specifieke manieren vooruit te helpen:

• Exponentiële Convergentie: In tegen tegenstelling tot veel bestaande referenties die slechts asymptotische convergentie aantonen, vestigt dit werk de exponentieel snelle convergentie van zowel de verstoring-schatting als de gecontroleerde toestand.
• Omgaan met Nonlineariteiten: De controller is in staat om rand-nonlineariteiten ($\phi_o \neq 0$) te behandelen, terwijl eerdere resultaten vaak lineaire outputs aannamen of output-afhankelijke nonlineariteiten negeerden.
• Externe Welgesteldheid: De auteurs vestigen externe incrementele welgesteldheid voor het niet-lineaire gesloten-lus systeem, een eigenschap die in eerdere ontwerpen niet altijd gegarandeerd is.
• Abstract Kader: De methodologie is ontwikkeld voor abstracte randcontrolemechanismen, wat een verenigd kader biedt dat de complexiteit vermijdt van het vinden van representaties als reguliere lineaire systemen of systeemknopen.
• Zwakker Voorwaarden: De controller garandeert de existentie van gesloten-lus oplossingen onder zwakkere voorwaarden dan vereist voor het open-lus systeem, specifiek zonder de vereiste van globale Lipschitz-eigenschappen voor $\phi_s$, grenzen aan de Lipschitz-constante van $\phi_o$, of passiviteits-/monotoniciteitsaannames.

De auteurs merken op dat hoewel de theorie van oneindig-dimensionale systemen eerder is gebruikt voor specifieke PDV-modellen, deze methodologie nog niet eerder is toegepast in de context van abstracte oneindig-dimensionale systemen. De resultaten versterken bestaande conclusies door een rigoureuze structurele analyse en een reeks voorwaarden te bieden die geschikt zijn voor efficiënte controller-tuning.