Über die Äquivalenz modellbasierter und datengestützter Ansätze zur Auslegung von Beobachtern mit unbekannten Eingängen

Grundlegende Informationen

• Papier-ID: 2311.00673
• Titel: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
• Autoren: Giorgia Disarò, Maria Elena Valcher (Universität Padua, Italien)
• Klassifizierung: math.DS (Dynamische Systeme)
• Veröffentlichungsdatum: November 2023 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2311.00673

Zusammenfassung

Dieses Papier untersucht datengestützte Methoden zur Auslegung von Beobachtern mit unbekannten Eingängen (UIO). Konkret stellen die Autoren notwendige und hinreichende Bedingungen für die Existenz von Beobachtern mit unbekannten Eingängen für diskrete zeitinvariante lineare Systeme (LTI) bereit, die auf Daten aus endlichen Zeitfenstern basieren. Gleichzeitig wird nachgewiesen, dass unter schwachen Annahmen über die erfassten Daten die durch die datengestützte Methode abgeleiteten Lösungsbedingungen tatsächlich äquivalent zu den durch modellbasierte Methoden erhaltenen Bedingungen sind. Mit anderen Worten: Die datengestützten Bedingungen führen keine zusätzlichen Einschränkungen im Vergleich zu klassischen modellbasierten Bedingungen ein, die mit den ursprünglichen Systemmatrizen ausgedrückt werden.

Forschungshintergrund und Motivation

1. Problembeschreibung: In vielen Anwendungen der Regelungstechnik ist die Kenntnis des inneren Systemzustands entscheidend für die Lösung grundlegender Probleme wie Zustandsrückkopplungsstabilisierung und Fehlererkennung. Der Systemzustand ist jedoch normalerweise nicht direkt zugänglich und erfordert die Auslegung eines geeigneten Beobachters zur Schätzung des Zustandsvektors.
2. Herausforderungen: Die Dynamik realer Systeme wird häufig durch Störungen, Messfehler oder andere unbekannte Signale beeinflusst, die nicht zur Identifikation der Zustandsentwicklung verwendet werden können. Traditionelle Beobachterauslegungen setzen ein bekanntes Systemmodell voraus, aber in einigen Fällen kann das System aus verfügbaren Daten nicht eindeutig identifiziert werden.
3. Einschränkungen bestehender Methoden:
   • Modellbasierte Methoden erfordern bekannte Systemmatrizen
   • Bestehende datengestützte Methoden (z.B. 18) liefern nur hinreichende Bedingungen; wenn das erhaltene System nicht asymptotisch stabil ist, ist unklar, ob ein UIO ausgelegt werden kann
4. Forschungsmotivation: Entwicklung datengestützter Techniken zur Lösung von Regelungsproblemen unter Nutzung großer verfügbarer Datenmengen, insbesondere bei Zustandsschätzungsproblemen, wenn kein exaktes Systemmodell verfügbar ist.

Kernbeiträge

1. Notwendige und hinreichende Bedingungen: Bereitstellung verifizierbarer notwendiger und hinreichender Bedingungen zur Validierung der UIO-Existenz basierend auf Daten
2. Vollständige Parametrisierung: Bereitstellung einer vollständigen Parametrisierung aller kandidierenden UIOs
3. Äquivalenzbeweis: Nachweis, dass unter spezifischen Datenannahmen die Lösungsbedingungen der datengestützten Methode vollständig äquivalent zu denen der modellbasierten Methode sind
4. Theoretischer Durchbruch: Etablierung einer bijektiven Entsprechung zwischen datengestützten und modellbasierten Methoden

Methodische Details

Aufgabendefinition

Betrachten Sie das diskrete zeitinvariante lineare System Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

Wobei:

• x(t) ∈ ℝⁿ: Zustandsvektor
• u(t) ∈ ℝᵐ: bekannte Steuerungseingabe
• y(t) ∈ ℝᵖ: Ausgabevektor
• d(t) ∈ ℝʳ: unbekannte Eingabe (z.B. Störung)

UIO-Definition: Ein LTI-System Σ̂ der Form:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

so dass der Schätzfehler e(t) = x(t) - x̂(t) asymptotisch gegen Null konvergiert, unabhängig von Anfangsbedingungen und der Dynamik unbekannter Eingaben.

Modellbasierte Methode

Notwendige und hinreichende Bedingungen (Satz 2): Ein UIO existiert dann und nur dann, wenn eine der folgenden Bedingungen erfüllt ist:

1. Es existieren Matrizen (A_UIO, B^u_UIO, B^y_UIO, D_UIO) die erfüllen:
   • A_UIO ist Schur-stabil
   • D_UIO CE = E
   • B^u_UIO = (I - D_UIO C)B
   • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
2. Matrizenbedingungen:
   • rank(CE) = rank(E) = r
   • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
3. Das Tripel (A,E,C) ist stark *-erkennbar

Datengestützte Methode

Datenorganisation: Historische Daten werden in Matrixform organisiert:

• Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
• Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
• Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

Kernhypothese: Die Matrix Uₚᵀ Dₚᵀ Xₚᵀᵀ hat vollen Zeilenrang m+r+n.

Hauptergebnis (Satz 9): Die folgenden Bedingungen sind äquivalent:

1. Es existiert ein UIO der Form (3)-(4) so dass T_Σ ⊆ T_Σ̂
2. Es existieren Matrizen T₁,T₂,T₃,T₄ so dass Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ und T₄ ist Schur-stabil
3. Datenbedingung: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) und rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
4. Das Tripel (A,E,C) ist stark *-erkennbar

Technische Innovationen

1. Äquivalenzherstellung: Erstmaliger strenger Nachweis der vollständigen Äquivalenz zwischen datengestützten und modellbasierten Bedingungen
2. Bijektive Entsprechung: Etablierung einer bijektiven Beziehung zwischen UIO-Parametermatrizen und datengestützten Parametern (Korollar 10)
3. Praktischer Algorithmus: Bereitstellung vereinfachter Berechnungsmethoden, die das Problem in eine leichter handhabbare Form umwandeln

Experimentelle Einrichtung

Numerisches Beispiel

Verwendung des Beispiels aus der Literatur 4:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]
E = [-1; 0; 0]

Experimentalparameter

• Zeitfenster: T = 20
• Unbekannte Eingabe: gleichmäßig zufällig im Intervall (-2,2) generiert
• Anfangsbedingungen: zufällig gewählt
• Störung: zufällig im Intervall (-10,10) generiert

Vergleichsmethoden

Vergleich mit der in Literatur 18 vorgeschlagenen Methode

Experimentelle Ergebnisse

Hauptergebnisse

1. Modellvalidierung: Validierung von rank(CE) = rank(E) = r und der Bedingung der starken *-Erkennbarkeit
2. Datengestützte Auslegung: Erfolgreiche Rekonstruktion der Matrix C aus Daten und Validierung der Bedingungen von Satz 9
3. Leistungsvergleich:
   • Die durch die Methode dieses Papiers erhaltene Matrix A_UIO ist nilpotent
   • Die Methode aus Literatur 18 erhält Eigenwerte {0, 0, -0.2}
   • Beide Methoden funktionieren, aber diese Methode ermöglicht die Wahl der Konvergenzgeschwindigkeit

Fallanalyse

Abbildung 1 zeigt die Dynamik des Zustandsschätzfehlers:

• Durchgezogene Linie (schwarz): Auslegungsmethode dieses Papiers
• Gestrichelte Linie (rot): Methode aus Literatur 18
• Beide Methoden erreichen asymptotische Konvergenz, aber diese Methode bietet mehr Auslegungsfreiheit

Experimentelle Erkenntnisse

1. Datengestützte Bedingungen können die Existenz von UIOs korrekt identifizieren
2. Vollständige Parametrisierung ermöglicht die Wahl gewünschter Konvergenzeigenschaften
3. Wenn Daten die Annahmen erfüllen, führt die datengestützte Methode keine zusätzlichen Einschränkungen ein

Verwandte Arbeiten

Modellbasierte UIO-Auslegung

• Luenberger-Beobachtertheorie 12,13
• Methoden zur Entkopplung unbekannter Eingaben 9,11,21
• Geometrische Methoden 2 und verallgemeinerte Inverse 15
• Singulärwertzerlegungstechniken 6

Datengestützte Methoden

• Zweistufige Methode: zunächst Systemidentifikation, dann Beobachterauslegung
• Einstufige Methode: direkte Nutzung von Daten zur Vermeidung der Identifikationsphase 18
• Datengestützte Simulation und Regelung 14

Positionierung des Beitrags dieses Papiers

Im Vergleich zu bestehenden Arbeiten wird hier erstmals die theoretische Äquivalenz beider Methoden etabliert und eine vollständige parametrisierte Lösung bereitgestellt.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Unter schwachen Datenannahmen sind die Bedingungen für die datengestützte UIO-Auslegung vollständig äquivalent zu denen der modellbasierten Methode
2. Die datengestützte Methode führt keine zusätzlichen Einschränkungen ein
3. Bereitstellung einer vollständigen Parametrisierung aller möglichen UIOs
4. Etablierung einer theoretischen Brücke, die beide Auslegungsparadigmen vereinheitlicht

Einschränkungen

1. Erfordert historische Zustandsmessdaten (in Laborumgebungen durchführbar)
2. Erfordert bekannte Dimension der unbekannten Eingabe
3. Abhängig von der Vollrangigkeit der Datenannahme
4. Nur auf zeitinvariante lineare Systeme anwendbar

Zukünftige Richtungen

1. Erweiterung auf nichtlineare Systeme
2. Berücksichtigung zeitvarianter Systeme
3. Untersuchung der Robustheit gegenüber verrauschten Daten
4. Entwicklung von Algorithmusimplementierungen für praktische Anwendungen

Tiefgreifende Bewertung

Stärken

1. Herausragender theoretischer Beitrag: Erstmaliger strenger Nachweis der Äquivalenz zwischen datengestützten und modellbasierten Methoden
2. Mathematische Strenge: Bereitstellung vollständiger notwendiger und hinreichender Bedingungen und strenger mathematischer Beweise
3. Praktischer Wert: Bereitstellung verifizierbarer Datenbedingungen und praktischer Algorithmen
4. Vollständigkeit: Bereitstellung einer Parametrisierung aller UIOs, nicht nur einer einzelnen Lösung
5. Klare Darstellung: Logische Struktur und ausreichende technische Details

Mängel

1. Annahmebeschränkungen: Die Annahme von Zustandsmessdaten ist in der Praxis relativ streng
2. Linearitätsbeschränkung: Nur auf lineare Systeme anwendbar, was die Anwendungsbereiche einschränkt
3. Begrenzte numerische Validierung: Nur ein numerisches Beispiel bereitgestellt
4. Fehlende Robustheitsanalyse: Datenlärm und Modellierungsfehler nicht berücksichtigt

Auswirkungen

1. Theoretische Bedeutung: Bereitstellung einer wichtigen theoretischen Grundlage für die datengestützte Regelungstheorie
2. Praktischer Wert: Bereitstellung praktischer Auslegungsmethoden für technische Anwendungen
3. Forschungsinspiration: Bereitstellung neuer Forschungsideen für andere Beobachterauslegungsprobleme
4. Reproduzierbarkeit: Bereitstellung klarer Algorithmusschritte zur Erleichterung der Reproduzierbarkeit

Anwendungsszenarien

1. Szenarien, in denen das Systemmodell unbekannt ist, aber historische Zustandsdaten verfügbar sind
2. Zustandsschätzungsprobleme, die unbekannte Störungen behandeln müssen
3. Beobachterauslegung für diskrete zeitinvariante lineare Regelungssysteme
4. Anwendungen in Fehlererkennung und -diagnose

Referenzen

Das Papier zitiert 24 verwandte Referenzen, die wichtige Arbeiten in den Bereichen Beobachtertheorie, datengestützte Regelung und Systemidentifikation abdecken und eine solide theoretische Grundlage für die Forschung bieten.

Gesamtbewertung: Dies ist ein hochqualitatives theoretisches Papier, das wichtige Beiträge zum Bereich der datengestützten Beobachterauslegung leistet. Obwohl es einige praktische Anwendungsbeschränkungen gibt, sind sein theoretischer Wert und seine Auswirkungen auf die Entwicklung des Feldes bemerkenswert.