Observer Design over Hypercomplex Quaternions

1. Problemstellung

Das Paper adressiert die Herausforderung des Entwurfs von Zustandsbeobachtern (State Observers) für lineare zeitinvariante (LTI) Systeme, die direkt über dem Divisionsring der Quaternionen $\mathbb{H}$ definiert sind.

• Nicht-Kommutativität: Im Gegensatz zu den reellen ($\mathbb{R}$) und komplexen ($\mathbb{C}$) Zahlen ist die Multiplikation in $\mathbb{H}$ nicht kommutativ. Dies führt dazu, dass klassische Werkzeuge der linearen Systemtheorie, wie Determinanten, charakteristische Polynome und der Satz von Cayley-Hamilton, nicht direkt oder in ihrer üblichen Form übertragbar sind.
• Eigenwert-Problematik: Bei Quaternionen müssen zwischen links- und rechtsseitigen Eigenwerten unterschieden werden. Eigenwerte sind nur bis auf Ähnlichkeitsklassen (similarity classes) definiert ($\lambda \sim \alpha^{-1}\lambda\alpha$).
• Aktueller Stand: In Anwendungen wie Luft- und Raumfahrt oder Robotik werden Quaternionen-Modelle oft durch Umwandlung in reelle 4-Vektoren behandelt. Dies ignoriert jedoch die intrinsische hyperkomplexe Struktur und erschwert die Analyse von Spektren und Ähnlichkeitsklassen direkt im Quaternionen-Raum.
• Ziel: Entwicklung eines Beobachter-Entwurfsverfahrens, das die native Quaternionen-Struktur bewahrt, ohne auf reelle Koordinatentransformationen zurückzugreifen, und dabei auf determinantenfreien Methoden basiert.

2. Methodik

Der Autor entwickelt einen Rahmen, der vollständig auf der Dualität zwischen Steuerbarkeit und Beobachtbarkeit sowie auf der Theorie der rechten Moduln über $\mathbb{H}$ aufbaut.

• Rechte Modul-Konvention: Das System wird als rechter Modul behandelt, wobei Matrizen von links und Skalare von rechts wirken ($Ax + Bu$, $y = Cx$). Dies garantiert die Linearität bezüglich der rechten Skalierung.
• Beobachtbare Begleitform (Observable Companion Form):
  • Statt eines charakteristischen Polynoms wird eine beobachtbare Begleitform direkt aus der Beobachtbarkeitsmatrix $\mathcal{O}$ konstruiert.
  • Für ein beobachtbares Paar $(A, C)$ existiert eine Ähnlichkeitstransformation $T$, die das System in eine kanonische Form $(A_o, C_o)$ überführt, wobei $A_o$ eine spezielle Struktur (Subdiagonale Einsen, letzte Spalte mit Koeffizienten) aufweist.
  • Diese Konstruktion ist determinantenfrei und benötigt weder den Satz von Cayley-Hamilton noch Adjunkten.
• Begleitpolynom (Companion Polynomial):
  • Aus der letzten Spalte von $A_o$ wird ein monisches Quaternionen-Polynom $a(\lambda)$ abgelesen.
  • Ein zentrales Ergebnis ist, dass dieses Polynom die Matrix $A_o$ unter linker Substitution annulliert ($a(A_o)_\ell = 0$), obwohl es $A_o$ nicht unter rechter Substitution annulliert.
  • Die rechten Nullstellen des Polynoms entsprechen genau den rechten Eigenwerten (bis auf Ähnlichkeitsklassen) der Matrix.
• Dualität: Die Dualität zwischen Regelung und Beobachtung wird über die konjugiert-transponierte Matrix ($A^* = \bar{A}^T$) definiert, nicht über die einfache Transponierte. Dies erhält die quaternionische Hermitesche Form und die Spektraltheorie.

3. Wichtige Beiträge und Ergebnisse

A. Konstruktion der Beobachtbaren Begleitform (Theorem 1)

Es wird ein konstruktiver Algorithmus vorgestellt, der eine invertierbare Ähnlichkeitsmatrix $T$ basierend auf der inversen Beobachtbarkeitsmatrix berechnet. Dies ermöglicht die Transformation jedes beobachtbaren SISO-Systems in die kanonische Form, ohne charakteristische Polynome zu berechnen.

B. Spektrale Zuordnung (Theorem 3 & 4)

Es wird bewiesen, dass das rechte Spektrum $\sigma_r(A_o)$ einer Matrix in Beobachtbarer Begleitform exakt aus den Ähnlichkeitsklassen der rechten Nullstellen des zugehörigen Begleitpolynoms besteht. Dies stellt die Verbindung zwischen Polynomkoeffizienten und Systemdynamik her.

C. Polplatzierung für Beobachter (Theorem 5)

Ein Verfahren zur Platzierung der Beobachterpole (Eigenwerte der Fehlerdynamik $A-LC$) wird vorgestellt:

1. Transformation in die Beobachtbare Begleitform.
2. Anpassung der Koeffizienten der letzten Spalte von $A_o$ durch den Beobachtergewinnvektor $L_o$.
3. Rücktransformation in die ursprünglichen Koordinaten.
   Dies erlaubt die direkte Zuweisung gewünschter Ähnlichkeitsklassen als Pole.

D. Quaternionische Ackermann-Formel (Theorem 6)

Das Paper leitet eine Ackermann-Formel für Quaternionen her:
$$L = a_d(A) \mathcal{O}^{-1} e_n$$

• Einschränkung: Diese Formel gilt strikt nur für reelle Koeffizienten des gewünschten Polynoms $a_d(\lambda) \in \mathbb{R}[\lambda]$.
• Begründung: Nur bei reellen Koeffizienten ist die Polynomauswertung $a_d(A)$ wohldefiniert und ähnlichkeitsinvariant. Bei nicht-reellen (nicht-zentralen) Koeffizienten versagt diese „One-Shot"-Formel, und die Koeffizienten-Anpassung in den Begleitkoordinaten (Theorem 5) ist erforderlich.

E. Simulationsergebnisse

Numerische Beispiele (Beispiel 3, 4, 5) demonstrieren:

• Die korrekte Zuweisung von Polen für reelle, komplexe und quaternionische Zielklassen mittels der Begleitform-Methode.
• Die Korrektheit der Ackermann-Formel für reelle Ziele.
• Das Versagen der Ackermann-Formel bei quaternionischen Zielkoeffizienten.
• Die Konvergenz des Beobachters $\hat{x}(t) \to x(t)$ in allen Quaternionen-Komponenten (Realteil, $i, j, k$).

4. Bedeutung und Fazit

• Theoretischer Durchbruch: Das Paper schließt eine Lücke in der quaternionischen Systemtheorie, indem es einen vollständigen, determinantenfreien Rahmen für den Beobachterentwurf liefert. Es zeigt, wie man mit der Nicht-Kommutativität umgeht, anstatt sie durch Umwandlung in reelle Vektoren zu umgehen.
• Praktische Relevanz: Für Anwendungen, in denen die Quaternionen-Struktur intrinsisch ist (z. B. Quantendynamik, Polarisationsverarbeitung, Farbbildverarbeitung), ermöglicht dieser Ansatz eine direktere und strukturerhaltende Analyse und Synthese.
• Unterscheidung der Methoden: Ein wichtiger praktischer Einsicht ist die Unterscheidung zwischen der allgemeinen Methode (Koeffizienten-Anpassung in Begleitkoordinaten), die beliebige quaternionische Polynome handhabt, und der Ackermann-Formel, die auf reelle Polynome beschränkt ist.
• Dualität: Die Arbeit klärt die korrekte Dualität über die konjugierte Transponierte ($*$) und etabliert, wie Beobachtergewinne aus Reglergewinnen abgeleitet werden können, wobei die Ähnlichkeitsklassen der Eigenwerte erhalten bleiben.

Zusammenfassend bietet das Paper eine robuste, native Methode für den Entwurf von Beobachtern in hyperkomplexen Systemen, die die mathematischen Besonderheiten der Quaternionen (Nicht-Kommutativität, Ähnlichkeitsklassen) explizit nutzt und ausnutzt.