Verhalten, Trajektorien und Daten: Eine neuartige Perspektive auf die Gestaltung von Beobachtern mit unbekanntem Eingang

Grundinformationen

• Papier-ID: 2407.18833
• Titel: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
• Autoren: Giorgia Disarò, Maria Elena Valcher (Universität Padua)
• Klassifizierung: math.OC (Optimierung und Regelung), math.DS (Dynamische Systeme)
• Veröffentlichungsdatum: 26. Juli 2024 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2407.18833

Zusammenfassung

Dieses Papier präsentiert basierend auf Willems' „Verhaltenstheorie" (behavior theory) eine neuartige Perspektive auf die Gestaltung von Beobachtern mit unbekanntem Eingang (UIO) für lineare zeitinvariante diskrete Zustandsraummodelle, die von unbekannten Störungen in den Zustands- und Ausgangsgleichungen beeinflusst werden. Die Forschung geht zunächst von bekannten ursprünglichen Systemmodellen aus und erweitert sich dann auf Fälle mit unbekannten Modellen, aber mit Verlaufsdaten, die bestimmte Annahmen erfüllen. In beiden Fällen bieten grundlegende Konzepte der Verhaltenstheorie – wie Verhaltensprojektion, Verhaltensinklusionsbeziehungen sowie Kern- und Bilddarstellungen – leistungsstarke Werkzeuge zur Bestimmung notwendiger und hinreichender Bedingungen für die Existenz von UIOs sowie zur Entwicklung von Designalgorithmen.

Forschungshintergrund und Motivation

Problemdefinition

1. Kernproblem: Gestaltung eines Beobachters mit unbekanntem Eingang für lineare zeitinvariante diskrete Systeme, die von unbekannten Störungen beeinflusst werden, wobei die Störungen sowohl die Zustands- als auch die Ausgangsgleichung beeinflussen
2. Herausforderung: Herkömmliche Methoden basieren hauptsächlich auf algebraischen Zustandsraumoperationen und ermangeln eines einheitlichen theoretischen Rahmens zur Behandlung sowohl bekannter Modelle als auch datengestützter Szenarien

Bedeutungsanalyse

• Praktische Anforderung: In komplexen Systemen existieren häufig schwer zu modellierende Störungen, weshalb eine Zustandsschätzung trotz Störungen erforderlich ist
• Theoretischer Wert: Die Verhaltenstheorie bietet einen verallgemeinerten Rahmen im Vergleich zu herkömmlichen Zustandsraummethoden
• Anwendungsperspektive: Datengestützte Methoden vermeiden Modellidentifikationsschritte und sind in praktischen Anwendungen effizienter

Einschränkungen bestehender Methoden

1. Herkömmliches UIO-Design: Basiert hauptsächlich auf algebraischen Zustandsraumoperationen und ermangelt eines einheitlichen theoretischen Rahmens
2. Anwendung der Verhaltenstheorie: In bestehenden Forschungsarbeiten 1,12,15 entworfene Beobachter garantieren keine Kausalität
3. Datengestützte Methoden: Frühere Arbeiten 3,4,11 berücksichtigten nur vereinfachte Fälle, in denen Störungen die Ausgabe nicht beeinflussen

Kernbeiträge

1. Theoretische Innovation: Erstmalige systematische Anwendung der Willems-Verhaltenstheorie auf das UIO-Design mit neuer theoretischer Perspektive
2. Einheitlicher Rahmen: Etablierung einer einheitlichen Methode für das UIO-Design in Szenarien mit bekannten Modellen und datengestützten Ansätzen
3. Notwendige und hinreichende Bedingungen: Ableitung neuer notwendiger und hinreichender Bedingungen für die Existenz von UIOs basierend auf der Verhaltenstheorie, mit Nachweis ihrer Äquivalenz zu klassischen Bedingungen
4. Algorithmisches Design: Bereitstellung algebraischer Algorithmen zur direkten Gestaltung von UIO-Parametern aus Daten
5. Erweiterte Anwendung: Behandlung des allgemeineren Falls, in dem Störungen sowohl die Zustands- als auch die Ausgangsgleichung beeinflussen

Methodische Details

Aufgabendefinition

Betrachten Sie das diskrete LTI-System Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

Wobei:

• x(t) ∈ ℝⁿ: Zustandsvektor
• u(t) ∈ ℝᵐ: Bekannte Steuereingabe
• y(t) ∈ ℝᵖ: Ausgangsvektor
• d(t) ∈ ℝʳ: Unbekannte Eingabe (Störung)

Gestaltung des UIO:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)    (2a)
x̂(t) = z(t) + D^u_UIO u(t) + D^y_UIO y(t)            (2b)

Grundlagen der Verhaltenstheorie

Verhaltensdefinition: Ein Verhalten B ⊆ (ℝʷ)^ℤ₊ ist die Menge von Trajektorien, die ein System von Differenzengleichungen erfüllen:

R(σ)w = 0

Wobei R(z) ∈ ℝz^(p×w) eine Polynommatrix ist und σ der Linksverschiebungsoperator ist.

Kernkonzepte:

1. Verhaltensprojektion: P_{w₁}B = {w₁ : ∃w₂ so dass (w₁,w₂) ∈ B}
2. Minimaler linker Nullifizierer (MLA): Minimale Ordnung Polynommatrix, die H(z)M(z) = 0 erfüllt
3. Verhaltensinklusion: Bestimmungsbedingungen für B₁ ⊆ B₂

Verhaltensbasiertes UIO-Design

Szenario mit bekanntem Modell

Systemverhaltensdefinition:

B_Σ = ker(R_Σ(σ))

Wobei:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

UIO-Verhaltensdefinition:

B_Σ̂ = ker(R_Σ̂(σ))

Hauptsatz: System Σ̂ ist ein UIO von Σ dann und nur dann, wenn:

1. Akzeptorbedingung: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. Stabilitätsbedingung: A_UIO ist Schur-stabil

Designbedingung: UIO existiert dann und nur dann, wenn Matrizen existieren, die erfüllen:

[-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CE F] = [-E 0]     (10)
                                    [F  0]

A_UIO = A + [-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CA]    (11)
                                                [C ]

[B^u_UIO] = [I  -D^y_UIO C  -B^y_UIO][B]               (12)
[D^u_UIO]   [0  -D^y_UIO            ][D]

und A_UIO ist Schur-stabil.

Datengestützte Methode

Verlaufsdaten: Erfassung von Zustands-Eingangs-Ausgangs-Trajektorien im Zeitintervall 0,T-1:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

Datenmatrix:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

Kompatible Trajektorie: Eine Trajektorie (x,u,y) ist mit Verlaufsdaten kompatibel dann und nur dann, wenn:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

Hauptergebnis: UIO existiert dann und nur dann, wenn für beliebige Matrizen, die ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d) erfüllen, ein Ω existiert, so dass:

Ω[V_p V_f] = [-A* I_n]

wobei A* eine Schur-Matrix ist.

Technische Innovationen

1. Kerndarstellungsmethode: Verwendung von Kerndarstellungen von Polynommatrizen zur einheitlichen Beschreibung von System- und Beobachterverhalten
2. Projektionstechnik: Eliminierung nicht beobachtbarer Variablen (unbekannte Eingaben) durch Verhaltensprojektion
3. Inklusionsbeziehung: Umwandlung der Akzeptorbedingung in Verhaltensinklusionsbeziehungen für algebraische Operationen
4. Datenparametrisierung: Direkte Konstruktion von UIO-Parametern aus Datenmatrizen, Vermeidung von Zwischenmodellierungsschritten

Experimentelle Einrichtung

Numerisches Beispiel

Betrachten Sie ein System dritter Ordnung:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

Implementierungsdetails

• Zeitfenster: T = 11
• Eingabedaten: u(t) gleichmäßig verteilt in (-4,4), d(t) gleichmäßig verteilt in (-3,3)
• Anfangsbedingungen: Zufällig generiert

Experimentelle Ergebnisse

Designprozess

1. Datenerfassung: Konstruktion der Datenmatrix Φ_d
2. Kernberechnung: Bestimmung der Matrizen Ψ, die Bedingung (20) erfüllen
3. Parameterauflösung: Auflösung von Gleichung (21) durch SVD-Zerlegung
4. Stabilisierung: Wahl von L, so dass Ā + LC̄ Schur-stabil ist

Erhaltene UIO-Parameter

A_UIO = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (Eigenwerte: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_UIO = [-2.9070]    B^y_UIO = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

Leistungsverifikation

Der Zustandsschätzungsfehler konvergiert in etwa 20 Zeitschritten gegen Null, was die Wirksamkeit des UIO bestätigt.

Verwandte Arbeiten

Anwendungen der Verhaltenstheorie

• Grundlegende Arbeiten von Willems 20,21: Etablierung des Verhaltenstheorie-Rahmens
• Beobachterdesign 1,12,15: Beobachterdesign im Verhaltensrahmen, garantiert aber keine Kausalität
• Datengestützte Regelung 6,7,8: Datengestützte Methoden basierend auf Willems' Fundamentallemma

UIO-Designmethoden

• Klassische Methoden 2,13: UIO-Design basierend auf algebraischen Zustandsraumoperationen
• Datengestütztes UIO 3,4,11: Berücksichtigung nur vereinfachter Fälle, in denen Störungen die Ausgabe nicht beeinflussen

Vorteile dieses Papiers

1. Theoretische Vereinigung: Bereitstellung eines einheitlichen Rahmens für modell- und datengestützte Methoden
2. Vollständige Bedingungen: Behandlung des allgemeinen Falls, in dem Störungen sowohl Zustands- als auch Ausgangsgleichung beeinflussen
3. Vereinfachter Algorithmus: Bereitstellung direkter algebraischer Designalgorithmen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Theoretischer Beitrag: Erfolgreiche Anwendung der Verhaltenstheorie auf das UIO-Design mit Etablierung eines neuen theoretischen Rahmens
2. Methodische Vereinigung: Lösung sowohl modellbekannter als auch datengestützter Szenarien in einem einheitlichen Rahmen
3. Äquivalenz der Bedingungen: Nachweis der Äquivalenz zwischen Verhaltenstheorie-Bedingungen und klassischen algebraischen Bedingungen
4. Algorithmische Wirksamkeit: Bereitstellung realisierbarer Designalgorithmen und Verifikation durch numerische Beispiele

Einschränkungen

1. Datenannahmen: Erfordert Zustandsmessbarkeit in der Offline-Phase, was in praktischen Anwendungen eingeschränkt sein kann
2. Störungsanforderungen: Annahme, dass unbekannte Eingaben die Bedingung der anhaltenden Anregung erfüllen, ist praktisch schwer zu überprüfen
3. Rechenkomplexität: Bei hochdimensionalen Systemen kann die Rechenlast von Matrixoperationen erheblich sein
4. Robustheit: Berücksichtigung von Messunsicherheiten und Modellunsicherheiten fehlt

Zukünftige Richtungen

1. Robustes Design: Berücksichtigung von Messunsicherheiten und Modellunsicherheiten
2. Online-Lernen: Entwicklung adaptiver UIO-Designmethoden
3. Nichtlineare Erweiterung: Erweiterung der Methode auf nichtlineare Systeme
4. Verteilte Beobachtung: Untersuchung des verteilten UIO-Designs für Multi-Agent-Systeme

Tiefgreifende Bewertung

Stärken

1. Theoretische Innovativität: Erstmalige systematische Anwendung der Verhaltenstheorie auf das UIO-Design, eröffnet neue Forschungsrichtungen
2. Methodische Vollständigkeit: Von theoretischer Analyse über Algorithmenentwurf bis zur numerischen Verifikation bildet eine vollständige Forschungskette
3. Einheitlicher Rahmen: Behandlung modellbekannter und datengestützter Szenarien in einem theoretischen Rahmen
4. Strenge Bedingungen: Bereitstellung strenger mathematischer Ableitungen und notwendiger sowie hinreichender Bedingungen
5. Praktische Algorithmen: Bereitstellung direkt implementierbarer algebraischer Designschritte

Mängel

1. Anwendungsbeschränkungen: Die Annahme der Offline-Zustandsmessbarkeit kann in praktischen Systemen schwer erfüllbar sein
2. Störungsannahmen: Die Annahme anhaltender Anregung unbekannter Eingaben ist praktisch schwer zu überprüfen
3. Recheneffizienz: Bei großen Systemen können Matrixoperationen zum Rechenbottleneck werden
4. Fehlende Robustheit: Berücksichtigung von in praktischen Systemen allgegenwärtigen Unsicherheiten und Rauschen fehlt

Einflussfähigkeit

1. Akademischer Wert: Bereitstellung neuer mathematischer Werkzeuge und Analyseperspektiven für die Regelungstheorie
2. Methodologischer Beitrag: Demonstration des Anwendungspotenzials der Verhaltenstheorie bei praktischen Regelungsproblemen
3. Nachfolgeforschung: Kann weitere auf Verhaltenstheorie basierende Forschung zur Gestaltung von Regelungssystemen inspirieren
4. Lehrwert: Bereitstellung einer guten theoretischen Grundlage zum Verständnis datengestützter Regelung

Anwendungsszenarien

1. Industrielle Prozesse: Chemische, Elektro- und andere Industriesysteme mit schwer zu modellierenden Störungen
2. Robotersysteme: Zustandsschätzung unter unbekannten Umgebungsstörungen erforderlich
3. Luft- und Raumfahrt: Navigation und Regelung von Flugzeugen in komplexen Umgebungen
4. Netzwerksysteme: Zustandsüberwachung und Fehlererkennung in Kommunikationsnetzwerken

Literaturverzeichnis

Dieses Papier zitiert 24 wichtige Literaturquellen, hauptsächlich umfassend:

Grundlagen der Verhaltenstheorie:

• 20,21 Bahnbrechende Arbeiten von J.C. Willems
• 18,22 Entwicklung der Verhaltenstheorie für Systeme

Beobachterdesign:

• 1,15 Beobachterdesign mit Verhaltensmethoden
• 2,13 Klassische UIO-Designtheorie

Datengestützte Methoden:

• 19 Willems' Fundamentallemma
• 3,4,11 Frühere Arbeiten zum datengestützten UIO-Design

Diese Literaturquellen bieten eine solide Grundlage für die theoretische Entwicklung und methodische Vergleiche in diesem Papier.