⚡ electrical engineering

Observer Design over Hypercomplex Quaternions

Cet article propose une conception d'observateur sur les quaternions hypercomplexes dans un cadre sans polynôme caractéristique, en dérivant une forme compagnon observable à droite et une formule de type Ackermann qui permettent de placer directement les pôles de l'observateur sur les quaternions tout en clarifiant les conditions de validité de ces mises à jour.

Auteurs originaux : Michael Sebek

Publié 2026-03-24

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Michael Sebek

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de piloter un avion ou de contrôler un robot, mais au lieu d'utiliser des nombres simples (comme 1, 2, 3) ou même des nombres complexes (avec une partie réelle et imaginaire), vous devez utiliser des quaternions.

Pour faire simple, un quaternion est comme un "super-nombre" qui a quatre dimensions (une partie réelle et trois parties imaginaires). C'est très utile pour décrire des rotations dans l'espace 3D (comme l'orientation d'un drone), mais il y a un gros problème : l'ordre dans lequel on multiplie ces nombres compte. Si vous faites A × B, ce n'est pas pareil que B × A. C'est comme si tourner votre tête vers la gauche puis vers le haut donnait un résultat différent de tourner vers le haut puis vers la gauche.

Cette particularité casse toutes les règles habituelles des mathématiques que les ingénieurs utilisent pour concevoir des "observateurs".

Qu'est-ce qu'un observateur ?

Imaginez que vous conduisez une voiture de nuit dans le brouillard. Vous ne voyez pas la route (l'état réel du système), mais vous avez des phares et un radar (les mesures de sortie). Un observateur est un "co-pilote virtuel" qui utilise ces informations pour deviner où vous êtes et où vous allez, même si vous ne voyez pas tout.

Le but de l'ingénieur est de régler ce co-pilote pour qu'il soit très réactif et ne se trompe jamais. Pour cela, on doit placer des "aimants" mathématiques (appelés pôles) à des endroits précis pour que l'erreur de prédiction disparaisse vite.

Le problème du papier

Dans le monde classique (avec des nombres normaux), il existe une "recette magique" (appelée la formule d'Ackermann) pour placer ces aimants facilement. Mais cette recette repose sur des outils comme le "déterminant" ou le "polynôme caractéristique".

Le problème : Ces outils ne fonctionnent tout simplement pas avec les quaternions à cause de la non-commutativité (le fait que l'ordre de multiplication compte). C'est comme essayer d'utiliser une clé anglaise pour visser un écrou carré : ça ne tient pas.

La solution proposée par Michael Sebek

L'auteur de ce papier a développé une nouvelle méthode pour concevoir ces observateurs directement avec les quaternions, sans utiliser les outils cassés de l'ancien monde.

Voici comment il procède, avec des analogies :

La "Boîte Noire" Réorganisée (Forme Compagnon) :
Au lieu d'essayer de calculer des formules compliquées, l'auteur réorganise le système mathématique dans une structure très spécifique, qu'il appelle la "forme compagnon observable".
- Analogie : Imaginez que vous avez un labyrinthe complexe. Au lieu de chercher une sortie en calculant chaque virage, vous transformez le labyrinthe en un simple couloir droit avec des portes numérotées. Dans ce couloir, il est très facile de voir où sont les erreurs et comment les corriger.
Le "Polynôme Compagnon" :
Il crée un nouveau type de "recette" (un polynôme) qui fonctionne dans ce couloir spécial. Cette recette encode la façon dont l'erreur va se comporter.
- Analogie : C'est comme écrire une partition de musique. Au lieu de dire "jouez cette note", on dit "si vous jouez cette séquence, la mélodie s'arrêtera ici".
La Recette de l'Aimant (Formule d'Ackermann Quaternionique) :
L'auteur propose une version améliorée de la formule d'Ackermann.
- Le cas simple (Nombres réels) : Si vous voulez que votre observateur soit stable avec des nombres "normaux" (réels), vous pouvez utiliser une formule rapide, une "recette en un coup" (one-shot). C'est comme utiliser un bouton "Auto" sur votre appareil photo.
- Le cas complexe (Nombres quaternioniques) : Si vous voulez placer les aimants dans des directions très spécifiques en 3D (avec des coefficients quaternioniques), la formule rapide ne marche plus. Il faut alors faire la mise à jour manuellement, brique par brique, dans le couloir spécial (la forme compagnon).
- Analogie : Si vous voulez peindre un mur en blanc, vous pouvez utiliser un rouleau (la formule rapide). Mais si vous voulez peindre un motif complexe en 3D avec des couleurs qui changent selon l'angle, vous devez peindre à la main, pinceau par pinceau (la méthode par forme compagnon).

Pourquoi c'est important ?

Avant, pour utiliser des quaternions, les ingénieurs devaient souvent "casser" le quaternion en 4 nombres réels séparés pour faire leurs calculs, puis les remettre ensemble. C'était lourd et on perdait la beauté mathématique du quaternion.

Ce papier permet de penser directement en quaternions.

C'est plus naturel pour les systèmes qui tournent (drones, satellites, robots).
Cela permet de concevoir des observateurs plus précis et plus efficaces.
Cela ouvre la porte à de nouvelles applications en imagerie médicale (IRM), en informatique quantique et en traitement de signaux de couleur.

En résumé

Michael Sebek a inventé un nouvel outil de navigation pour les mathématiques des quaternions. Il a montré comment construire un "co-pilote virtuel" (observateur) qui fonctionne parfaitement dans un monde où l'ordre des opérations compte, en créant une structure spéciale (le couloir) qui rend le problème simple à résoudre, même si les règles du jeu sont plus complexes que d'habitude.

Titre : Conception d'observateurs sur les quaternions hypercomplexes

1. Problématique

L'article aborde le problème de la conception d'observateurs pour les systèmes linéaires invariants dans le temps (LTI) définis sur l'algèbre des quaternions ( $\mathbb{H}$ ).

Défi fondamental : Contrairement aux réels ( $\mathbb{R}$ ) et aux complexes ( $\mathbb{C}$ ), l'algèbre des quaternions est non commutative. Cette propriété rend les outils classiques de l'automatique (déterminants, polynômes caractéristiques, théorème de Cayley-Hamilton) inapplicables ou mal définis tels quels.
Limites des approches existantes : Les méthodes actuelles convertissent souvent les systèmes quaternioniques en vecteurs réels de dimension 4 pour appliquer des filtres standards, perdant ainsi la structure hypercomplex native. De plus, la notion de valeurs propres doit être redéfinie : les valeurs propres à droite sont définies uniquement à une classe de similarité quaternionique près ( $\lambda \sim \alpha^{-1}\lambda\alpha$ ), et l'évaluation des polynômes dépend de l'ordre de multiplication (gauche ou droite).
Objectif : Développer une méthodologie de conception d'observateurs native sur $\mathbb{H}$ , sans recourir aux déterminants ni aux polynômes caractéristiques, tout en préservant la structure algébrique des quaternions.

2. Méthodologie

L'auteur propose un cadre théorique basé sur la dualité entre commandabilité et observabilité, en utilisant une convention de module à droite.

Forme compagnon observable :
- Au lieu d'utiliser un polynôme caractéristique, l'article définit une forme compagnon observable directe à partir de la matrice d'observabilité $O$ .
- Si le système $(A, C)$ est observable, il existe une transformation de similarité $T$ qui transforme le système en une forme canonique où la matrice d'état $A_o$ possède une structure spécifique (décalage sous-diagonal et dernière colonne contenant les coefficients du polynôme).
- Cette construction est déterminant-free (sans déterminant).
Polynôme compagnon et annihilation :
- Un polynôme compagnon $a(\lambda)$ est défini à partir de la dernière colonne de la forme compagnon.
- L'article établit que ce polynôme annule la matrice $A_o$ par substitution à gauche ( $a(A_o)^\ell = 0$ ), bien que le théorème de Cayley-Hamilton général ne tienne pas sur $\mathbb{H}$ .
- Le spectre à droite de $A_o$ correspond exactement aux classes de similarité des zéros à droite du polynôme compagnon.
Placement de pôles (Pole Placement) :
- La conception de l'observateur vise à placer les pôles de l'erreur dynamique ($A - LC$) dans le demi-plan gauche.
- Les pôles sont interprétés comme des classes de similarité de valeurs propres à droite.
- Une formule de mise à jour des coefficients est proposée : dans la base compagnon, le gain d'observateur $L_o$ est simplement la différence entre les coefficients du polynôme désiré et ceux du polynôme original.
Formule d'Ackermann quaternionique :
- L'article dérive une formule d'Ackermann pour le calcul direct du gain $L$ .
- Contrainte cruciale : Cette formule n'est valide que si le polynôme désiré $a_d(\lambda)$ a des coefficients réels (qui sont centraux dans $\mathbb{H}$ ). Cela garantit que l'évaluation du polynôme est compatible avec la similarité. Si les coefficients sont quaternioniques non réels, la formule d'Ackermann échoue, et il faut utiliser la méthode de mise à jour dans les coordonnées compagnon.
Dualité :
- La dualité contrôleur-observateur est établie via l'opération de conjugaison transposée ( $M^* = \bar{M}^T$ ) plutôt que la simple transposée.
- La commandabilité de $(A, B)$ équivaut à l'observabilité de $(A^*, B^*)$ .

3. Contributions Clés

Cadre sans polynôme caractéristique : Développement complet d'une théorie d'observateurs sur $\mathbb{H}$ qui contourne les limitations des outils classiques (déterminants) en s'appuyant sur la structure de la matrice d'observabilité.
Forme compagnon observable constructive : Preuve de l'existence et construction explicite de la forme compagnon pour les paires observables SISO (Single-Input Single-Output) sur $\mathbb{H}$ .
Relation Spectre-Zéros : Établissement rigoureux du lien entre le spectre à droite d'une matrice en forme compagnon et les zéros à droite de son polynôme compagnon (via des classes de similarité).
Formule d'Ackermann adaptée : Dérivation d'une formule d'Ackermann pour les observateurs quaternioniques, avec la clarification importante de sa validité restreinte aux polynômes à coefficients réels.
Distinction des méthodes : Mise en évidence que la mise à jour des coefficients dans les coordonnées compagnon est plus générale (accepte des coefficients quaternioniques) que la formule d'Ackermann (limitée aux coefficients réels).

4. Résultats et Validation

Exemples numériques : L'article illustre la méthode sur un système 2D.
- Cas (a) : Cibles réelles (pôles -1, -2). La méthode fonctionne parfaitement.
- Cas (b) : Cibles complexes conjuguées. La méthode assigne correctement la classe de similarité.
- Cas (c) : Cibles avec coefficients quaternioniques non réels. La mise à jour dans les coordonnées compagnon réussit à placer les pôles, tandis que la formule d'Ackermann (appliquée naïvement) échoue.
Simulation : Une simulation montre la convergence de l'estimateur d'état $\hat{x}(t)$ vers l'état réel $x(t)$ pour toutes les composantes quaternioniques (réelle, $i, j, k$ ), validant la stabilité et la précision de l'observateur conçu.

5. Signification et Impact

Ce travail est significatif car il permet de concevoir des observateurs directement dans l'espace des quaternions, ce qui est crucial pour les applications où la structure hypercomplex est intrinsèque et algorithmiquement pertinente, telles que :

La dynamique et le contrôle quantique.
La conception d'impulsions pour l'IRM/RMN.
Le traitement du signal polarisé et l'imagerie couleur.
Les modèles d'apprentissage quaternioniques.

En évitant la conversion en coordonnées réelles (vecteurs 4D), cette approche préserve la structure géométrique et algébrique native, offrant potentiellement des algorithmes plus efficaces et une interprétation physique plus directe des spectres et des classes de similarité. L'article fournit ainsi les fondations théoriques nécessaires pour étendre l'automatique moderne aux systèmes quaternioniques natifs.