Observer Design over Hypercomplex Quaternions

Titel: Ontwerp van waarnemers over hypercomplexe quaternions

1. Probleemstelling

Quaternions ($\mathbb{H}$) vormen een uitbreiding van de reële en complexe getallen naar een verdelingsalgebra, maar ze onderscheiden zich fundamenteel door niet-commutativiteit in de vermenigvuldiging. Deze eigenschap maakt het onmogelijk om klassieke lineaire systeemtheorie-tools (zoals determinanten, karakteristieke polynomen en de Cayley-Hamilton-stelling) direct en onveranderd over te nemen voor het ontwerp van waarnemers (observers).

In de bestaande literatuur worden quaternionische systemen vaak omgezet naar reële 4-vectorcoördinaten om standaard waarnemers toe te passen. Dit benadert echter de intrinsieke hypercomplexe structuur niet en maakt het moeilijk om te redeneren over quaternionische spectra, similariteitsklassen en companion-vormen. De kernuitdaging is het ontwikkelen van een waarnemerontwerp dat native over $\mathbb{H}$ werkt, rekening houdend met het onderscheid tussen linkse en rechtse eigenwaarden en het feit dat eigenwaarden slechts gedefinieerd zijn tot op quaternionische similariteit.

2. Methodologie

De auteur ontwikkelt een raamwerk voor het ontwerp van waarnemers dat volledig vrij is van determinanten en karakteristieke polynomen. De methode rust op de volgende pijlers:

• Recht-module conventie: Het systeem wordt gemodelleerd waarbij matrices links werken en scalaire quaternions rechts vermenigvuldigen. Dit behoudt de lineariteit in de dynamica.
• Observabiliteitsmatrix: In plaats van een karakteristieke polynoom te berekenen, wordt de waarnemer direct afgeleid uit de observabiliteitsmatrix $\mathcal{O}$.
• Recht waarneembare companion-vorm: Er wordt een constructieve procedure ontwikkeld om een systeem $(A, C)$ via een similariteitstransformatie $T$ om te zetten naar een canonieke "rechter waarneembare companion-vorm" $(A_o, C_o)$.
• Companion-polynoom: Een moniek quaternionisch polynoom $a(\lambda)$ wordt gedefinieerd op basis van de rechterkolom van de companion-matrix $A_o$. Het artikel toont aan dat de rechter nulpunten van dit polynoom overeenkomen met de rechter eigenwaarden van het systeem, binnen hun respectievelijke similariteitsklassen.
• Linkse substitutie: Voor de evaluatie van het polynoom in de matrix $A_o$ wordt linkse substitutie gebruikt ($a(A_o)_\ell$), wat essentieel is vanwege de niet-commutativiteit.

3. Belangrijkste Bijdragen

• Constructie van de Companion-Vorm: Het artikel levert een determinant-vrije methode om een quaternionisch SISO-systeem (Single-Input Single-Output) te transformeren naar een companion-vorm. De coëfficiënten van het bijbehorende polynoom worden direct afgelezen uit de rechterkolom van de getransformeerde matrix.
• Spectrale Koppeling: Er wordt bewezen dat het rechter spectrum van de companion-matrix exact bestaat uit de similariteitsklassen van de rechter nulpunten van het companion-polynoom. Dit vervangt de rol van de karakteristieke polynoom in de klassieke theorie.
• Dualiteit over $\mathbb{H}$: De paper formaliseert de dualiteit tussen besturing en waarneming over quaternions. In tegenstelling tot het reële geval (waar transponering wordt gebruikt), is de geconjugeerde transponering ($M^* = \bar{M}^T$) de correcte operatie. Hierdoor geldt: $(A, C)$ is waarneembaar $\iff$ $(A^*, C^*)$ is bestuurbare.
• Plaatsering van Poolen (Pole Placement):
  • Er wordt een methode gepresenteerd om de waarnemer-gain $L$ te berekenen door de coëfficiënten van het companion-polynoom in de companion-coördinaten aan te passen.
  • Ackermann's Formule voor Quaternions: Er wordt een quaternionische variant van de Ackermann-formule afgeleid voor het direct berekenen van de gain $L$.
    • Voorwaarde: Deze formule werkt alleen als het gewenste polynoom reële coëfficiënten heeft (centraal in $\mathbb{H}$).
    • Beperking: Als het doelpolynoom niet-centrale (quaternionische) coëfficiënten heeft, faalt de Ackermann-formule; in dat geval moet de coëfficiënt-update in de companion-coördinaten worden gebruikt.

4. Resultaten en Validatie

• Theoretische Validatie: De theoremas bewijzen dat de afgeleide waarnemer de foutdynamica $e = x - \hat{x}$ stabiliseert met een spectrum dat overeenkomt met de gewenste similariteitsklassen van de rechter eigenwaarden.
• Numerieke Voorbeelden:
  • Er worden voorbeelden getoond waarbij waarnemers worden ontworpen voor systemen met reële, complexe en quaternionische doel-poollocaties.
  • Vergelijking: Het artikel demonstreert dat de coëfficiënt-update-methode in companion-coördinaten werkt voor zowel reële als quaternionische doelpolynomen, terwijl de Ackermann-formule alleen correct is voor reële polynomen.
• Simulatie: Een simulatie toont aan dat de geschatte toestanden $\hat{x}(t)$ convergeren naar de werkelijke toestanden $x(t)$ in alle quaternionische componenten (reëel, $i$, $j$, $k$), wat de effectiviteit van het ontwerp bevestigt.

5. Significatie

Dit werk is significant omdat het een native hypercomplexe benadering biedt voor het ontwerp van waarnemers, zonder terug te vallen op reële coördinaattransformaties. Dit is cruciaal voor toepassingen waar de quaternionische structuur intrinsiek is, zoals:

• Kwantumdynamica en controle.
• NMR/MRI-pulsontwerp.
• Polariseerbaarheidsverwerking en kleurensignalen.
• Quaternionische filtertechnieken en leermethoden.

De paper lost het probleem op van het ontbreken van een universele Cayley-Hamilton-stelling voor quaternions door een alternatief, constructief raamwerk te bieden dat specifiek is ontworpen voor de niet-commutatieve aard van de algebra. Het biedt zowel een theoretisch fundament als praktische algoritmen (companion-vorm en Ackermann) voor ingenieurs die werken met quaternionische systemen.