⚡ electrical engineering

Observer Design over Hypercomplex Quaternions

Este artículo presenta un diseño de observador sobre cuaterniones hipercomplejos en un marco libre de polinomios característicos, derivando una forma compañera observable y una fórmula tipo Ackermann que permiten colocar los polos del observador directamente sobre los cuaterniones mediante clases de similitud de autovalores a la derecha.

Autores originales: Michael Sebek

Publicado 2026-03-24

📖 4 min de lectura☕ Lectura para el café

CC BY 4.0

Autores originales: Michael Sebek

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando reconstruir un mapa completo de un territorio desconocido (el "estado" de un sistema) basándote solo en las señales que ves desde una ventana (la "salida" o medición). En el mundo de la ingeniería y las matemáticas, esto se llama un observador.

Normalmente, hacemos esto usando números reales (como 1, 2, 3) o complejos (con la unidad imaginaria i). Pero este artículo habla de un mundo más complejo: los cuaterniones.

¿Qué son los cuaterniones? (La analogía del "Giro 3D")

Piensa en los números reales como una línea recta. Los números complejos son como un plano (una hoja de papel). Los cuaterniones son como un espacio tridimensional giratorio. Son herramientas matemáticas que describen rotaciones en el espacio de una manera muy eficiente, usadas mucho en robótica, aviones y videojuegos para que las cosas giren sin "atascarse".

El problema es que, a diferencia de los números normales, en el mundo de los cuaterniones el orden importa. Si giras un objeto primero hacia la izquierda y luego hacia arriba, no es lo mismo que hacerlo primero hacia arriba y luego hacia la izquierda. En matemáticas, esto significa que A × B ≠ B × A.

El Problema: Las herramientas viejas no funcionan

El autor, Michael Sebek, nos dice: "Tenemos un problema. Todas las reglas clásicas que usamos para diseñar estos observadores (como calcular un 'polinomio característico' o usar determinantes) se rompen en este mundo de giros 3D porque asumen que el orden no importa".

Es como intentar usar un mapa de carreteras planas para navegar por una montaña llena de curvas y túneles; las herramientas se vuelven inútiles.

La Solución: Un nuevo método "sin fórmulas mágicas"

El autor propone un nuevo enfoque que no depende de esas fórmulas rotas. En su lugar, utiliza una estructura llamada "forma compañera observable".

Aquí tienes la analogía para entenderlo:

El Sistema Original (El Caos): Imagina que tienes una caja negra con muchos cables y engranajes girando dentro (el sistema A). No sabes exactamente qué pasa dentro, solo ves una luz parpadear fuera (la salida C).
La Transformación (El Orden): El autor dice: "Vamos a reorganizar esos cables internos de una manera muy específica, como si ordenáramos una pila de cartas". Al hacer esto, convertimos el sistema caótico en una estructura limpia y predecible (la forma compañera).
El Polinomio Companero: En esta nueva estructura ordenada, los "números mágicos" que controlan el sistema aparecen claramente en la última columna de la pila de cartas. Estos números definen cómo se comportará el sistema.
Colocar los Poles (El Objetivo): Queremos que el sistema sea estable (que no se vuelva loco). Para lograrlo, necesitamos cambiar esos números de la última columna para que el sistema se comporte como queremos (por ejemplo, que se detenga suavemente).

La Magia: La Fórmula de Ackermann (El "Botón Mágico")

En el mundo normal, existe una fórmula famosa (Ackermann) que te dice exactamente qué cambiar para lograr el comportamiento deseado. El autor logra crear una versión de esta fórmula para cuaterniones, pero con una condición importante:

Funciona perfectamente si quieres que el sistema se comporte de manera "real" o "compleja" (como un giro simple).
No funciona si quieres un comportamiento "cuaterniónico puro" (un giro 3D muy específico y complejo) usando la fórmula rápida. En ese caso, tienes que hacer el trabajo manual de reorganizar la pila de cartas (actualizar los coeficientes en la forma compañera).

¿Por qué es importante esto?

Imagina que eres un ingeniero diseñando un dron o un robot quirúrgico.

Antes: Tenías que convertir todo el movimiento 3D del dron en cuatro números separados (como si desarmaras el dron en piezas planas) para poder diseñar el controlador. Era como intentar arreglar un reloj suizo usando solo un martillo plano.
Ahora: Con este nuevo método, puedes diseñar el controlador directamente en el lenguaje del dron (los cuaterniones). Mantienes la estructura natural del giro 3D, lo que hace que el diseño sea más elegante, preciso y respetuoso con la física real del objeto.

En resumen

Este artículo es como un manual de instrucciones actualizado para navegar en un mundo donde "girar a la izquierda y luego arriba" es diferente a "girar arriba y luego a la izquierda". El autor nos da un mapa nuevo y herramientas (la forma compañera y una fórmula adaptada) para diseñar sistemas que pueden "ver" y controlar objetos en movimiento 3D sin perderse en la complejidad matemática.

Es una victoria para la ingeniería porque nos permite trabajar con la realidad tal como es (compleja y tridimensional) en lugar de obligarla a encajar en herramientas viejas y planas.

A continuación se presenta un resumen técnico detallado del artículo "Observer Design over Hypercomplex Quaternions" de Michael Sebek, traducido y adaptado al español.

Resumen Técnico: Diseño de Observadores sobre Cuaterniones Hipercomplejos

1. Planteamiento del Problema

El artículo aborda el desafío de diseñar observadores de estado para sistemas lineales invariantes en el tiempo (LTI) definidos nativamente sobre el álgebra de división de cuaterniones ( $\mathbb{H}$ ). A diferencia de los campos reales ( $\mathbb{R}$ ) y complejos ( $\mathbb{C}$ ), los cuaterniones son no conmutativos. Esta propiedad fundamental rompe varias herramientas clásicas de la teoría de control y álgebra lineal:

No existe una noción única de determinante que funcione directamente.
El teorema de Cayley-Hamilton no se generaliza de forma directa.
Los polinomios característicos y la evaluación polinómica dependen de si los coeficientes actúan por la izquierda o por la derecha.
Los autovalores (eigenvalores) no son escalares únicos, sino que están definidos hasta clases de similitud ( $\lambda \sim \alpha^{-1}\lambda\alpha$ ).

La mayoría de las aplicaciones actuales (robótica, aeroespacial) convierten los modelos de cuaterniones a coordenadas vectoriales reales de 4 dimensiones para aplicar filtros estándar. El objetivo de este trabajo es desarrollar una teoría de observadores que preserve la estructura hipercompleja nativa, permitiendo el razonamiento directo sobre espectros de cuaterniones y clases de similitud sin recurrir a embebimientos coordenados.

2. Metodología

El autor propone un marco de trabajo libre de determinantes y libre de polinomios característicos, basado en la dualidad entre controlabilidad y observabilidad, y en la construcción directa de formas canónicas.

Convención de Módulo Derecho: Se adopta la convención estándar donde los matrices actúan por la izquierda y los escalares de cuaterniones multiplican las señales por la derecha. Esto distingue claramente entre autovalores derechos ( $Av = v\lambda$ ) e izquierdos.
Forma Canónica de Observador (Observable Companion Form): En lugar de calcular un polinomio característico, el método construye directamente una realización en forma de observador canónico a partir de la matriz de observabilidad ( $O$ $O$ ).
- Dado un par observable $(A, C)$ , se define una matriz de similitud $T$ basada en la inversa de la matriz de observabilidad.
- Esta transformación convierte el sistema en una forma donde la dinámica de error se describe mediante una matriz compañera ( $A_o$ ) y un polinomio compañero ( $a(\lambda)$ ) definido por la última columna de $A_o$ .
Anulación por Sustitución Izquierda: Se demuestra que el polinomio compañero anula a la matriz $A_o$ bajo sustitución izquierda ( $a(A_o)_\ell = 0$ ), una propiedad específica de la estructura de la forma canónica que evita la necesidad de un teorema de Cayley-Hamilton generalizado.
Asignación de Polos: El diseño de polos se interpreta como la asignación de clases de similitud de autovalores derechos. Se presentan dos enfoques:
1. Actualización de Coeficientes: Modificación directa de los coeficientes del polinomio compañero en las coordenadas canónicas.
2. Fórmula de Ackermann: Una fórmula algebraica compacta para calcular la ganancia del observador ( $L$ ), pero con una restricción crítica: solo es válida si el polinomio objetivo tiene coeficientes reales.

3. Contribuciones Clave

Marco Determinante-Free: Se establece una teoría de observadores para $\mathbb{H}$ que no depende de determinantes ni de polinomios característicos tradicionales, los cuales fallan o son ambiguos en cuaterniones.
Forma de Observador Canónico Constructiva: Se proporciona un procedimiento explícito para transformar cualquier par observable $(A, C)$ a una forma canónica derecha, extrayendo un polinomio compañero único.
Relación Espectro-Zeros: Se demuestra que el espectro derecho de la matriz en forma canónica corresponde exactamente a las clases de similitud de las raíces derechas de su polinomio compañero.
Dualidad Estrella ( $*$ ): Se formaliza la dualidad entre control y observación en $\mathbb{H}$ utilizando la transpuesta conjugada ( $A^* = \bar{A}^T$ ) en lugar de la transpuesta simple, preservando la estructura hermitiana y las clases de similitud.
Fórmula de Ackermann para Cuaterniones: Se deriva una fórmula de Ackermann para observadores, pero se aclara su limitación: funciona perfectamente para polinomios objetivo con coeficientes reales (que están en el centro de $\mathbb{H}$ ), pero falla para polinomios con coeficientes cuaterniónicos no centrales, donde la evaluación polinómica no es equivariante bajo similitud.

4. Resultados Principales

Teorema 1 (Forma Canónica): Existe una transformación de similitud única que lleva un par observable a la forma de observador canónico, definida puramente por la matriz de observabilidad.
Teorema 3 y 4 (Espectro): El espectro derecho de la matriz del sistema (o de su forma canónica) coincide con las clases de similitud de las raíces del polinomio compañero.
Teorema 5 (Asignación de Polos): Es posible asignar cualquier conjunto deseado de clases de similitud de autovalores derechos modificando los coeficientes del polinomio compañero en las coordenadas canónicas.
Teorema 6 (Ackermann): Se presenta la fórmula $L = a_d(A)O^{-1}e_n$ $L = a_{d} (A) O^{- 1} e_{n}$ .
- Hallazgo Crítico: Esta fórmula es válida solo si el polinomio deseado $a_d(\lambda)$ tiene coeficientes reales. Si se intentan asignar polos con coeficientes cuaterniónicos no centrales usando esta fórmula "de un solo paso", se obtiene una ganancia incorrecta. En tales casos, se debe utilizar el método de actualización de coeficientes en la forma canónica.
Simulación: Se valida el método mediante un ejemplo numérico donde un observador diseñado con la ganancia calculada logra que el error de estimación converja a cero en todas las componentes cuaterniónicas (real, $i, j, k$ ).

5. Significado e Impacto

Este trabajo es fundamental para la teoría de sistemas hipercomplejos porque:

Preserva la Estructura Nativa: Permite diseñar controladores y observadores directamente en el espacio de cuaterniones, lo cual es crucial para aplicaciones donde la estructura geométrica y algebraica es intrínseca (ej. dinámica cuántica, procesamiento de señales de polarización, imágenes en color, robótica de orientación).
Clarifica las Limitaciones: Expone claramente por qué las herramientas clásicas (como la fórmula de Ackermann estándar) no son universalmente aplicables en $\mathbb{H}$ y define las condiciones (coeficientes reales) bajo las cuales sí funcionan.
Herramientas Prácticas: Ofrece recetas constructivas (algoritmos) para la implementación de observadores en sistemas de 4 canales sin necesidad de descomponerlos en sistemas reales de mayor dimensión, manteniendo la eficiencia computacional y la interpretabilidad física de los cuaterniones.

En resumen, el artículo establece las bases rigurosas para el diseño de observadores en el dominio de los cuaterniones, superando las barreras de la no conmutatividad mediante el uso de formas canónicas basadas en la observabilidad y el manejo cuidadoso de las clases de similitud espectral.