Observer Design over Hypercomplex Quaternions

Titolo: Progettazione di Osservatori su Quaternioni Iperecomplessi

1. Il Problema

I quaternioni ($\mathbb{H}$) estendono i numeri reali e complessi formando un'algebra di divisione non commutativa. Questa proprietà fondamentale rende inadatti molti strumenti classici dell'analisi dei sistemi lineari (LTI) sviluppati per $\mathbb{R}$ e $\mathbb{C}$:

• Non commutatività: La moltiplicazione non è commutativa ($ab \neq ba$), il che distingue nettamente tra autovalori a destra e a sinistra.
• Assenza di strumenti classici: Il determinante, il polinomio caratteristico standard e il teorema di Cayley-Hamilton non si generalizzano direttamente o perdono le loro proprietà utili in $\mathbb{H}$.
• Classi di similarità: Gli autovalori a destra sono definiti solo a meno di classi di similarità quaternioniche ($q \sim r \iff q = \alpha^{-1}r\alpha$), non come valori scalari unici.
• Limiti attuali: Nella pratica ingegneristica (aerospaziale, robotica), i sistemi quaternionici vengono spesso convertiti in coordinate reali a 4 vettori per applicare filtri e osservatori standard, perdendo così la struttura ipercomplessa intrinseca e le proprietà spettrali specifiche.

L'obiettivo del paper è sviluppare un quadro teorico per la progettazione di osservatori che operi nativamente su $\mathbb{H}$, senza ricorrere a trasformazioni in coordinate reali e senza fare affidamento su determinanti o polinomi caratteristici classici.

2. Metodologia

L'autore propone un approccio basato sulla dualità tra controllabilità e osservabilità, evitando l'uso di determinanti. La metodologia si articola nei seguenti punti chiave:

• Convenzione del Modulo Destro: Il sistema è modellato come un modulo destro su $\mathbb{H}$. Le matrici agiscono da sinistra, mentre gli scalari quaternionici moltiplicano i segnali da destra. Questo garantisce la linearità destra.
• Forma Compagna Osservabile (Observable Companion Form):
  • Invece di derivare una forma compagna da un polinomio caratteristico (che non esiste in forma standard), l'autore costruisce direttamente la forma compagna osservabile partendo dalla matrice di osservabilità invertibile.
  • Viene definito un polinomio compagna quaternionico $a(\lambda)$ i cui coefficienti sono letti direttamente dall'ultima colonna della matrice compagna.
• Sostituzione Sinistra (Left Substitution): Per valutare il polinomio compagna sulla matrice $A_o$, viene utilizzata la sostituzione sinistra ($a(A_o)_\ell$). Questo permette di dimostrare che il polinomio "annichila" la matrice compagna, un risultato che funge da sostituto del teorema di Cayley-Hamilton in questo contesto.
• Spettro e Zeri: Viene stabilito che lo spettro destro (insieme delle classi di similarità degli autovalori) della matrice compagna corrisponde esattamente alle classi di similarità degli zeri destri del polinomio compagna.
• Dualità con la Coniugata Trascoposta: A differenza del caso reale/complesso dove la trasposta è l'operatore duale, in $\mathbb{H}$ la dualità richiede l'uso della coniugata trascoposta ($M^* = \bar{M}^T$). Questo preserva la forma hermitiana e la teoria spettrale quaternionica.

3. Contributi Chiave

1. Forma Compagna Osservabile Determinante-Free:
   Viene fornita una procedura costruttiva (Teorema 1) per trasformare una coppia osservabile $(A, C)$ in una forma compagna osservabile $(A_o, C_o)$ utilizzando solo la matrice di osservabilità e operazioni di base, senza calcolare determinanti.

2. Polinomio Compagna e Spettro:
   Viene dimostrato (Teoremi 2 e 3) che il polinomio compagna associato alla forma osservabile annichila la matrice $A_o$ tramite sostituzione sinistra e che i suoi zeri destri definiscono esattamente lo spettro destro del sistema.

3. Formula di Ackermann per Osservatori Quaternionici:
   Viene derivata una formula di Ackermann specifica per gli osservatori (Teorema 6) che calcola il guadagno $L$ per posizionare gli autovalori dell'errore di dinamica.

   • Vincolo Cruciale: La formula di Ackermann è valida solo se il polinomio target ha coefficienti reali ($ad(\lambda) \in \mathbb{R}[\lambda]$). Questo perché i coefficienti reali sono centrali in $\mathbb{H}$, rendendo la valutazione del polinomio invariante per similarità.
   • Se i coefficienti del polinomio target sono quaternionici (non centrali), la formula di Ackermann fallisce nel posizionare correttamente i poli; in tal caso, è necessario aggiornare i coefficienti direttamente nella forma compagna.

4. Dualità Controller-Osservatore:
   Viene chiarito come la mappatura duale funzioni tra un sistema controllabile e il suo duale osservabile, utilizzando la coniugata trascoposta per trasformare i guadagni di stato ($K$) in guadagni di osservatore ($L = K^*$).

4. Risultati e Validazione

• Esempi Numerici: Il paper dimostra la validità del metodo attraverso esempi numerici che includono:
  • Posizionamento di poli con target reali (es. $-1, -2$).
  • Posizionamento di poli con target complessi coniugati (es. $-1 \pm i$).
  • Posizionamento di poli con target quaternionici puri (es. $-1+j, -2+k$).
• Confronto tra Metodi:
  • L'aggiornamento dei coefficienti nella forma compagna funziona correttamente anche per target con coefficienti quaternionici, assegnando le classi di similarità desiderate.
  • La formula di Ackermann funziona perfettamente per target reali ma produce risultati errati se applicata a target quaternionici non centrali.
• Simulazione: Una simulazione di un sistema SISO quaternionico mostra la convergenza dell'osservatore allo stato reale del sistema in tutte le componenti quaternioniche (parte reale, $i, j, k$), confermando l'efficacia pratica del design.

5. Significato e Impatto

Questo lavoro è significativo perché:

• Preserva la Struttura Intrinseca: Permette di progettare osservatori mantenendo la struttura ipercomplessa nativa, essenziale per applicazioni dove la geometria quaternionica è fondamentale (es. dinamica quantistica, elaborazione di segnali polarizzati, imaging a colori, robotica 3D).
• Supera i Limiti Algebrici: Offre un quadro rigoroso per l'analisi spettrale e il controllo in $\mathbb{H}$, colmando il vuoto lasciato dall'assenza di un teorema di Cayley-Hamilton standard e di polinomi caratteristici ben definiti.
• Guida Pratica: Fornisce regole chiare su quando è possibile usare formule chiuse (come Ackermann, limitate a coefficienti reali) e quando è necessario ricorrere a metodi basati sulla forma compagna (per coefficienti quaternionici generali).
• Applicabilità: Apre la strada a filtri e osservatori più efficienti e concettualmente coerenti per sistemi a 4 canali e modelli di apprendimento quaternionico emergenti, evitando la sovrapparametrizzazione tipica delle conversioni in coordinate reali.

In sintesi, il paper stabilisce un fondamento teorico solido per il controllo e l'osservazione dei sistemi quaternionici, offrendo strumenti pratici (forme compagne e formule di Ackermann adattate) che rispettano la non commutatività dell'algebra dei quaternioni.