Über die funktionale Beobachtbarkeit nichtlinearer Systeme und die Auslegung funktionaler Beobachter mit zuweisbarer Fehlerdynamik

Grundinformationen

• Papier-ID: 2501.00167
• Titel: On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
• Autor: Costas Kravaris (Texas A&M University)
• Klassifizierung: eess.SY cs.SY
• Veröffentlichungsdatum: Januar 2025
• Papierlink: https://arxiv.org/abs/2501.00167

Zusammenfassung

In diesem Artikel wird eine neue Methode zur Auslegung funktionaler Beobachter für nichtlineare Systeme mit linearer Fehlerdynamik und zuweisbaren Polen vorgestellt. Zunächst werden hinreichende Bedingungen für die funktionale Beobachtbarkeit hergeleitet und funktionale Beziehungen zwischen den Lie-Ableitungen der zu schätzenden Ausgänge und der gemessenen Ausgänge etabliert. Diese Beziehungen werden direkt für die vorgeschlagene Auslegung des funktionalen Beobachters verwendet. Der funktionale Beobachter wird in differentieller Ein-Aus-Form definiert und erfüllt angemessene Invarianzbedingungen, die sich aus den Zustandsraum-Invarianzbedingungen in der Literatur entwickelt haben. Darüber hinaus wird das Konzept des funktionalen Beobachter-Index eingeführt, um die minimal realisierbare Ordnung des funktionalen Beobachters mit Polzuweisung zu charakterisieren. Die vorgeschlagene Methode wird durch zwei Anwendungen in chemischen Reaktoren illustriert.

Forschungshintergrund und Motivation

Problemdefinition

Das Kernproblem dieser Forschung besteht darin, funktionale Beobachter für nichtlineare Systeme auszulegen, insbesondere in Anwendungen, in denen nur eine Funktion des Zustands und nicht der gesamte Zustandsvektor geschätzt werden muss. Herkömmliche Zustandsbeobachter müssen den gesamten Zustandsvektor rekonstruieren, was in vielen praktischen Anwendungen unnötig und rechnerisch komplex ist.

Bedeutung des Problems

Funktionale Beobachter haben in vielen Ingenieuranwendungen großen Wert, insbesondere bei:

1. Fehlererkennung und Diagnosesystemen
2. Regelsystemen, die nur Rückkopplung bestimmter Zustandsfunktionen benötigen
3. Reduzierung der Beobachterordnung zur Verbesserung der Recheneffizienz
4. Überwachung von Verfahren in der Chemietechnik

Einschränkungen bestehender Methoden

1. Lineare Systemansätze: Die bahnbrechende Arbeit von Luenberger konzentriert sich hauptsächlich auf lineare Systeme und kann nicht direkt auf nichtlineare Systeme angewendet werden
2. Exakte Linearisierungsmethoden: Bestehende Auslegungen nichtlinearer funktionaler Beobachter basieren auf exakter Linearisierung und erfordern strenge Bedingungen
3. Zustandsraumform: Die meisten bestehenden Methoden gehen von Anforderungen an lineare Fehlerdynamik in Zustandsraumform aus, was die Auslegungsflexibilität einschränkt

Forschungsmotivation

Die Innovation dieses Artikels besteht darin, von der funktionalen Beobachtbarkeit auszugehen und funktionale Beobachter direkt in Ein-Aus-Form auszulegen, wodurch die Einschränkungen herkömmlicher Methoden vermieden werden. Dies bietet eine Auslegungsmethode mit linearer Fehlerdynamik und zuweisbaren Polen für jedes lokal funktional beobachtbare nichtlineare System.

Kernbeiträge

1. Neue Definition und hinreichende Bedingungen für die funktionale Beobachtbarkeit nichtlinearer Systeme mit Etablierung funktionaler Beziehungen basierend auf Lie-Ableitungen
2. Entwicklung einer Auslegungsmethode für funktionale Beobachter in Ein-Aus-Form, die die Einschränkungen der Zustandsraumform vermeidet
3. Einführung des Konzepts des funktionalen Beobachter-Index zur Charakterisierung der minimal realisierbaren Ordnung des funktionalen Beobachters
4. Bereitstellung von linearer Fehlerdynamik mit zuweisbaren Polen, um Stabilität und Konvergenz des Beobachters zu gewährleisten
5. Etablierung der Entsprechung zwischen Zustandsraum-Invarianzbedingungen und Ein-Aus-Invarianzbedingungen
6. Validierung der Praktikabilität der Methode durch Beispiele mit chemischen Reaktoren

Methodische Erläuterung

Aufgabendefinition

Betrachten Sie ein nichtlineares System der folgenden Form:

dx/dt = F(x)
y = H(x)  
z = q(x)

wobei x ∈ ℝⁿ der Systemzustand ist, y ∈ ℝᵖ der Vektor der gemessenen Ausgänge und z die zu schätzende Ausgangsfunktion. Das Ziel besteht darin, einen funktionalen Beobachter zu konstruieren, der eine Schätzung von z basierend nur auf Ausgangsmessungen y erzeugt.

Theoretischer Kernrahmen

1. Definition der funktionalen Beobachtbarkeit

Definition 4: Ein System wird als funktional beobachtbar auf Χ bezeichnet, wenn für beliebige zwei Anfangszustände x₁, x₂ ∈ Χ gilt:

H_F(t;x₁) = H_F(t;x₂) ⟹ q(x₁) = q(x₂)

Dies ist äquivalent zur Lie-Ableitungsbedingung:

L_F^i H_j(x₁) = L_F^i H_j(x₂), ∀i=0,1,2,..., j=1,...,p ⟹ q(x₁) = q(x₂)

2. Hinreichende Bedingungen für funktionale Beobachtbarkeit

Proposition 2: Wenn eine positive ganze Zahl m existiert, so dass q(x) lokal als Funktion von Elementen der Beobachtbarkeitsmenge dargestellt werden kann:

q(x) = ψ(L_F^i H_j(x), i=0,1,...,m-1, j=1,...,p)

dann ist das System lokal funktional beobachtbar.

3. Funktionaler Beobachter in Ein-Aus-Form

Definition 6: Ein dynamisches System in Form einer ν-ten Ordnung Differentialgleichung:

d^ν ẑ/dt^ν = Φ(ẑ, dẑ/dt, ..., d^(ν-1)ẑ/dt^(ν-1), y, dy/dt, ..., d^ν y/dt^ν)

wird als funktionaler Beobachter des Systems bezeichnet, wenn die Invarianzbedingung erfüllt ist:

L_F^ν q(x) = Φ(q(x), L_F q(x), ..., L_F^(ν-1) q(x), H(x), L_F H(x), ..., L_F^ν H(x))

Auslegung linearer funktionaler Beobachter

Auslegungsvorlage

Eine lineare funktionale Beobachterform wird vorgeschlagen:

d^ν ẑ/dt^ν + α_(ν-1) d^(ν-1)ẑ/dt^(ν-1) + ... + α₁ dẑ/dt + α₀ ẑ = 
Γ(y, dy/dt, ..., d^(ν-1)y/dt^(ν-1))

Invarianzbedingungen

Die Invarianzbedingung für den linearen Beobachter lautet:

L_F^ν q(x) + α_(ν-1) L_F^(ν-1) q(x) + ... + α₁ L_F q(x) + α₀ q(x) = 
Γ(H(x), L_F H(x), ..., L_F^(ν-1) H(x))

Fehlerdynamikanalyse

Definieren Sie den Fehler e = ẑ - q(x), so erhalten Sie die Fehlerdynamikgleichung:

d^ν e/dt^ν + α_(ν-1) d^(ν-1)e/dt^(ν-1) + ... + α₁ de/dt + α₀ e = 0

Durch Wahl des Polynoms λⁿ + α_(ν-1)λ^(ν-1) + ... + α₁λ + α₀ mit Wurzeln mit negativem Realteil kann die asymptotische Konvergenz des Fehlers gegen Null gewährleistet werden.

Funktionaler Beobachter-Index

Definition 7: Die minimale positive ganze Zahl ν, die die Bedingung erfüllt:

L_F^k q(x) = ψₖ(H_j(x), L_F H_j(x), ..., L_F^ν H_j(x)), k=0,1,...,ν, j=1,...,p

wird als funktionaler Beobachter-Index bezeichnet. Dieser Index charakterisiert die minimal realisierbare Ordnung des funktionalen Beobachters mit Polzuweisung.

Experimentelle Einrichtung

Anwendungsfall 1: Isotherm betriebener diskontinuierlicher chemischer Reaktor

Betrachten Sie die kontinuierliche irreversible chemische Reaktion A → B → C → D:

• Erste und dritte Reaktion folgen Kinetik erster Ordnung
• Zweite Reaktion folgt Kinetik zweiter Ordnung
• Messung: c_B (Konzentration von B)
• Schätzung: c_A (Konzentration von A)

Anwendungsfall 2: Nicht-isotherm betriebener kontinuierlicher chemischer Reaktor

Betrachten Sie die irreversible exotherme chemische Reaktion A → B:

• Kinetik erster Ordnung, Arrhenius-Reaktionsgeschwindigkeit
• Kühlung durch Kühlmantel
• Messung: Temperatur θ der Reaktionsmischung und Temperatur θ_J des Mantels
• Schätzung: Konzentration c_A von A

Auslegungsprozess

Für jeden Fall:

1. Etablierung der Systemdynamikgleichungen
2. Berechnung von Lie-Ableitungsbeziehungen
3. Bestimmung des funktionalen Beobachter-Index
4. Auslegung des linearen funktionalen Beobachters
5. Validierung der Invarianzbedingungen

Experimentelle Ergebnisse

Ergebnisse für Fall 1

• Funktionaler Beobachter-Index: ν = 1
• Funktionale Beziehungen:

  ψ₀(y, dy/dt) = (1/k₁)y + (1/k₂)(dy/dt)
  ψ₁(y, dy/dt) = -k₂(dy/dt) + (dy/dt)
  

• Beobachtergleichung:

  dẑ/dt - λẑ = -λ(1/k₁ + 1/k₂)(dy/dt) - λ(1/k₁)y
  

Ergebnisse für Fall 2

• Funktionaler Beobachter-Index: ν = 1
• Erfolgreiche Etablierung von Ein-Aus-Form und Zustandsraumform des Beobachters
• Validierung der Wirksamkeit des theoretischen Entwurfs

Wichtigste Erkenntnisse

1. Niedrige Beobachterordnung: Beide Fälle erreichen einen funktionalen Beobachter erster Ordnung, deutlich niedriger als die Ordnung eines vollständigen Zustandsbeobachters
2. Polzuweisung: Erfolgreiche Realisierung der Polzuweisung der Fehlerdynamik mit beliebig einstellbarer Konvergenzgeschwindigkeit
3. Praktikabilität: Der Beobachter kann direkt in Ein-Aus-Form implementiert werden, was die Ingenieuranwendung erleichtert

Verwandte Arbeiten

Funktionale Beobachter für lineare Systeme

• Luenberger (1966, 1971): Bahnbrechende Definition des Konzepts des funktionalen Beobachters für lineare Systeme
• Darouach (2000): Existenz und Auslegung linearer funktionaler Beobachter
• Fernando et al. (2010): Auslegung minimal geordneter linearer funktionaler Beobachter

Beobachter für nichtlineare Systeme

• Hermann & Krener (1977): Theoretische Grundlagen der Beobachtbarkeit nichtlinearer Systeme
• Krener & Isidori (1983): Linearisierungsbeobachter basierend auf Ausgabeninjektion
• Kazantzis & Kravaris (1998): Auslegung nichtlinearer Beobachter unter Verwendung des Lyapunov-Hilfssatzes

Relative Vorteile dieses Artikels

1. Direkte Ein-Aus-Auslegung: Vermeidung der Einschränkungen der exakten Linearisierung
2. Theorie der funktionalen Beobachtbarkeit: Bereitstellung eines allgemeineren theoretischen Rahmens
3. Polzuweisungsfähigkeit: Realisierung der Polzuweisung für funktionale Beobachter nichtlinearer Systeme

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Theoretischer Beitrag: Etablierung eines vollständigen theoretischen Rahmens für die funktionale Beobachtbarkeit nichtlinearer Systeme
2. Auslegungsmethode: Bereitstellung einer direkten Auslegungsmethode für funktionale Beobachter in Ein-Aus-Form
3. Praktischer Wert: Die Methode ist auf jedes lokal funktional beobachtbare nichtlineare System anwendbar
4. Leistungsgarantie: Realisierung linearer Fehlerdynamik mit zuweisbaren Polen

Einschränkungen

1. Lokalität: Die theoretischen Ergebnisse sind lokal und müssen in einem bestimmten Bereich gelten
2. Glattheitserfordernisse: Systemfunktionen müssen ausreichend glatt sein
3. Rechenkomplexität: Die Berechnung höherer Ordnung Lie-Ableitungen kann komplex sein
4. Echtzeitimplementierung: Die Berechnung von Ausgabenleitungen kann Rauschempfindlichkeit verursachen

Zukünftige Richtungen

1. Globale Ergebnisse: Erweiterung auf globale funktionale Beobachtbarkeit und Beobachterauslegung
2. Robustheit: Berücksichtigung von Modellunsicherheiten und Messunsicherheiten
3. Numerische Methoden: Entwicklung effizienter Methoden zur Berechnung von Lie-Ableitungen
4. Anwendungserweiterung: Erweiterung auf breitere Ingenieuranwendungsgebiete

Tiefgreifende Bewertung

Stärken

1. Theoretische Innovation:
   • Vorschlag eines neuen Paradigmas für die Auslegung funktionaler Beobachter in Ein-Aus-Form
   • Etablierung strenger theoretischer Grundlagen für die Beziehung zwischen funktionaler Beobachtbarkeit und Lie-Ableitungen
   • Das Konzept des funktionalen Beobachter-Index hat wichtigen theoretischen Wert
2. Methodische Vorteile:
   • Vermeidung der Einschränkungen der exakten Linearisierung
   • Realisierung der Polzuweisung mit Designfreiheit
   • Ein-Aus-Form erleichtert die Ingenieurimplementierung
3. Experimentelle Validierung:
   • Chemische Reaktorfälle haben praktischen Ingenieurhintergrund
   • Detaillierte Darstellung jedes Schritts des Auslegungsprozesses
   • Validierung der Machbarkeit der theoretischen Methode

Mängel

1. Theoretische Einschränkungen:
   • Ergebnisse sind auf lokale Bereiche beschränkt, fehlt globale Analyse
   • Hohe Anforderungen an Systemglätte schränken die Anwendbarkeit ein
   • Modellunsicherheiten und externe Störungen werden nicht berücksichtigt
2. Experimentelle Mängel:
   • Fehlende numerische Simulationsergebnisse zur Validierung der Beobachterleistung
   • Keine quantitativen Vergleiche mit anderen Methoden
   • Fälle sind relativ einfach, fehlt Validierung an komplexen Systemen
3. Praktische Probleme:
   • Erfordert genaue Berechnung von Ausgabenleitungen, kann in der Praxis Rauschen einführen
   • Berechnung höherer Ordnung Lie-Ableitungen ist komplex und kann Echtzeitfähigkeit beeinträchtigen
   • Fehlende Robustheitsanalyse

Bewertung der Auswirkungen

1. Akademischer Wert: Bietet neue Forschungsrichtungen für die Theorie funktionaler Beobachter nichtlinearer Systeme
2. Ingenieurwert: Bietet praktische Auslegungsmethoden für praktische Ingenieuranwendungen
3. Reproduzierbarkeit: Theoretische Herleitung ist klar, Auslegungsschritte sind explizit, gute Reproduzierbarkeit

Anwendbare Szenarien

1. Prozessregelung: Prozessüberwachung in Chemietechnik, Biotechnik usw.
2. Fehlerdiagnose: Fehlererkennung, die Schätzung bestimmter Zustandsfunktionen erfordert
3. Roboterregelung: Regelungsanwendungen, die nur Teilzustandsinformationen benötigen
4. Luft- und Raumfahrt: Schätzung von Flugzeughaltung und Bahnparametern

Literaturverzeichnis

1. Luenberger, D.G. (1966). Observers for multivariable systems. IEEE Trans. Automat. Contr.
2. Hermann, R. and Krener, A.J. (1977). Nonlinear Controllability and Observability. IEEE Trans. Automat. Contr.
3. Kravaris, C. and Venkateswaran, S. (2021). Systems & Control Letters.
4. Montanari, A.N. et al. (2022). Functional observability and subspace reconstruction in nonlinear systems. Physical Review Research.

Gesamtbewertung: Dies ist ein Artikel mit wichtigen Beiträgen zur Theorie der Beobachter für nichtlineare Systeme. Die vom Autor vorgeschlagene Auslegungsmethode für funktionale Beobachter in Ein-Aus-Form ist innovativ, die theoretische Herleitung ist streng und die Anwendungsfälle sind angemessen. Trotz einiger Einschränkungen bietet der Artikel wertvolle theoretische Werkzeuge und Auslegungsmethoden für die Entwicklung dieses Forschungsgebiets.