⚡ electrical engineering

Observer Design over Hypercomplex Quaternions

이 논문은 특성 다항식 없는 프레임워크를 사용하여 하이퍼복소수 쿼터니언 기반 관측기 설계를 개발하고, 오차 역학을 인코딩하는 우측 관측 가능 동반 형식과 동반 다항식을 유도하며, 실수 계수 목표 다항식에 대한 아커만-type 공식을 제시합니다.

원저자: Michael Sebek

게시일 2026-03-24

📖 3 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Michael Sebek

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

1. 배경: "비틀리는 세계" (쿼터니언이란?)

우리가 평소에 쓰는 숫자 (실수) 나 복소수는 순서가 바뀌어도 결과가 같습니다. (예: $2 \times 3 = 3 \times 2$ ). 하지만 이 논문에서 다루는 쿼터니언은 다릅니다. 순서가 바뀌면 결과가 완전히 달라집니다. ( $A \times B \neq B \times A$ ).

비유: 쿼터니언은 3 차원 공간에서 물체를 회전시킬 때 쓰는 언어입니다. 먼저 앞쪽으로 돌리고, 그 다음 오른쪽으로 돌리는 것과, 먼저 오른쪽으로 돌리고 그 다음 앞쪽으로 돌리는 것은 결국 다른 방향을 가리키게 됩니다.
문제: 기존의 공학자들은 이 복잡한 회전 (쿼터니언) 을 계산할 때, 일단 4 개의 실수 좌표로 쪼개서 계산했습니다. 하지만 이 방법은 쿼터니언 고유의 "비틀림" 특성을 잃어버리게 만듭니다.

2. 목표: "눈이 보이지 않는 로봇의 상태 파악하기"

이 논문에서 다루는 **관측기 (Observer)**는 로봇이나 비행기 같은 시스템의 **실제 상태 (위치, 속도 등)**를 정확히 알아내는 장치입니다.

상황: 로봇의 내부 상태 ( $x$ ) 는 직접 볼 수 없지만, 바깥에서 나오는 신호 ( $y$ ) 는 측정할 수 있습니다.
과제: 측정된 신호 ( $y$ ) 를 바탕으로, 로봇이 지금 정확히 어떤 상태인지 추측해내는 수학적 공식을 만드는 것입니다.

3. 혁신: "고전적인 도구 버리기, 새로운 지도 만들기"

기존의 수학 (실수나 복소수 세계) 에서는 **'특성 다항식 (Characteristic Polynomial)'**이라는 강력한 도구를 썼습니다. 마치 나침반처럼 시스템의 성격을 한 번에 파악해 주는 도구였죠.
하지만 쿼터니언 세계에서는 이 나침반이 고장 납니다. (비교적 순서가 뒤죽박죽이라서요.)

논문의 해결책: 저자는 "그럼 나침반을 버리고, 직접 길을 찾는 새로운 지도를 만들자"라고 말합니다.
새로운 방법:
1. 시스템의 관측 가능한 데이터를 모아서 **관측기용 동반 행렬 (Observable Companion Form)**이라는 특수한 형태로 시스템을 재배열합니다.
2. 이 새로운 형태에서는 시스템의 성질이 다항식의 마지막 열에 숨어 있습니다.
3. 이 열을 보고 원하는 성질 (안정성 등) 을 가진 다항식을 직접 만들어냅니다.

4. 핵심 아이디어: "비슷한 것들의 그룹 (유사성 클래스)"

쿼터니언에서는 숫자가 하나만 있는 게 아니라, 비슷한 숫자들의 그룹으로 존재합니다.

비유: 마치 지구본에서 "북극"은 한 점이지만, "북위 45 도"는 원 전체입니다. 쿼터니언에서는 특정 값이 정확히 하나일 수도 있고, 구면 (구) 전체가 같은 값을 가질 수도 있습니다.
논문의 성과: 저자는 이 그룹 (유사성 클래스) 단위로 시스템의 성질을 설계합니다. "이 그룹 안의 어떤 값이든 시스템은 안정하게 작동한다"는 식으로 설계하는 것입니다.

5. 두 가지 설계 도구

이 논문은 관측기를 설계할 때 두 가지 방법을 제시합니다.

A. "좌표 수정법" (Companion-coordinate updates)

방식: 시스템을 특별한 형태 (동반 행렬) 로 바꾼 후, 그 행렬의 마지막 열에 있는 숫자들을 원하는 값으로 직접 수정하는 방법입니다.
장점: 쿼터니언의 복잡한 비틀림 (비중심 계수) 을 모두 다룰 수 있습니다. 가장 강력하고 정확한 방법입니다.
비유: 레고 조립을 할 때, 특정 블록을 떼어내고 원하는 모양의 블록으로 직접 교체하는 것입니다.

B. "Ackermann 공식" (한 번에 계산하기)

방식: 고전적인 공학에서 쓰이던 "Ackermann 공식"을 쿼터니언 버전으로 변형한 것입니다.
한계: 이 공식은 **실수 (Real numbers)**로만 된 목표값을 사용할 때만 작동합니다. 쿼터니언의 복잡한 회전 값을 직접 넣으면 오작동합니다.
비유: 미리 만들어진 자동 조리 기계입니다. 재료 (목표값) 가 단순할 때는 아주 빠르고 편리하지만, 재료에 복잡한 향신료 (쿼터니언 계수) 가 섞이면 기계가 망가집니다.

6. 결론: 왜 이 논문이 중요한가?

이 연구는 쿼터니언이라는 복잡한 3 차원 회전 세계에서, 시스템의 상태를 파악하는 장치를 설계할 때 더 이상 실수 좌표로 변환할 필요가 없다는 것을 증명했습니다.

핵심 메시지: "쿼터니언의 비틀림을 무시하고 실수로 계산하지 말고, 쿼터니언 그 자체의 언어로 직접 설계하면 더 정확하고 효율적이다."
실제 적용: 드론, 우주선, MRI 기기, 로봇 팔 등 3 차원 회전이 중요한 분야에서 더 정교한 제어 시스템을 만들 수 있게 되었습니다.

한 줄 요약:

"비틀리는 3 차원 세계 (쿼터니언) 에서 로봇의 상태를 파악할 때, 낡은 나침반 (고전적 다항식) 을 버리고, 비틀림을 그대로 살린 새로운 지도 (관측기 동반 행렬) 를 만들어 더 정확하게 길을 찾자."

논문 요약: 사원수 (Quaternion) 기반 관측기 설계

1. 문제 제기 (Problem)

배경: 사원수 ( $\mathbb{H}$ ) 는 실수 ( $\mathbb{R}$ ) 와 복소수 ( $\mathbb{C}$ ) 를 확장한 비가환 (noncommutative) 나눗셈 대수입니다. 항공우주, 로봇공학, 양자 제어 등 다양한 분야에서 사원수 모델이 사용되지만, 기존 설계 기법들은 주로 4 차원 실수 벡터 좌표계로 변환하여 적용됩니다.
핵심 문제: 사원수의 비가환성으로 인해 고전적인 선형 제어 이론의 핵심 도구들인 행렬식 (determinant), 특성 다항식 (characteristic polynomial), 케일리 - 해밀턴 정리 (Cayley-Hamilton theorem) 등이 사원수 영역에서는 그대로 적용되지 않거나 정의 자체가 모호해집니다.
- 좌측 (left) 과 우측 (right) 곱셈이 다르며, 고유값은 유사성 (similarity) 클래스로만 정의됩니다.
- 기존 관측기 (Observer) 설계 기법들이 사원수 구조를 보존한 채로 직접 적용되기 어렵습니다.

2. 방법론 (Methodology)

저자는 사원수 영역에서 직접 작동하는 행렬식 및 특성 다항식 없는 (determinant-free, characteristic-polynomial-free) 관측기 설계 프레임워크를 개발했습니다.

기본 가정 및 규약:
- 우측 모듈 (Right-module) 규약: 행렬은 좌측에서 작용하고, 사원수 스칼라는 신호에 우측에서 곱해집니다.
- 스펙트럼: 우측 고유값 (right eigenvalues) 과 그 유사성 클래스 (similarity classes) 를 기반으로 시스템을 분석합니다.
관측 가능 동반형 (Observable Companion Form) 유도:
- 관측성 행렬 (Observability Matrix) $\mathcal{O}$ 를 직접 사용하여 관측 가능 동반형 (Observable Companion Form) 을 구성합니다.
- 이 과정에서 행렬식이나 케일리 - 해밀턴 정리를 사용하지 않으며, 관측성 행렬의 역행렬을 통해 변환 행렬 $T$ 를 구합니다.
동반 다항식 (Companion Polynomial) 정의:
- 고전적인 특성 다항식 대신, 관측 가능 동반형 행렬의 마지막 열에서 계수를 읽어 정의된 사원수 동반 다항식을 도입합니다.
- 이 다항식의 우측 영점 (right zeros) 이 시스템의 우측 고유값 유사성 클래스를 결정함을 증명합니다.
이중성 (Duality) 활용:
- 실수/복소수에서의 전치 (transpose) 대신, 사원수에서는 **켤레 전치 (conjugate transpose, $M^*$ )**를 사용하여 제어기 - 관측기 이중성을 확립합니다.
- $(A, C)$ 의 관측 가능성은 $(A^*, C^*)$ 의 제어 가능성과 동치임을 이용합니다.

3. 주요 기여 (Key Contributions)

행렬식 없는 관측기 동반형 구성:
- 사원수 시스템에서 관측성 행렬을 기반으로 관측 가능 동반형을 직접 구성하는 알고리즘을 제시했습니다. 이는 기존에 존재하지 않았던 방법론입니다.
사원수 관측기 아커만 공식 (Quaternionic Observer Ackermann Formula):
- 실수 계수를 갖는 원하는 다항식 (target polynomial) 에 대해, 관측기 이득 (Observer Gain) $L$ 을 한 번의 계산으로 구하는 아커만 공식을 유도했습니다.
- 공식: $L = a_d(A) \mathcal{O}^{-1} e_n$ (여기서 $a_d$ 는 실수 계수 다항식).
- 중요한 제한: 이 공식은 실수 계수 다항식에만 유효합니다. 사원수 계수 다항식은 좌우 곱셈 순서에 따라 결과가 달라지므로 (similarity-equivariant 하지 않음), 아커만 공식을 직접 적용할 수 없습니다.
좌표계 기반 계수 업데이트 (Companion-coordinate Updates):
- 실수가 아닌 사원수 계수를 가진 다항식을 목표로 할 때는, 아커만 공식을 사용할 수 없음을 지적하고, 대신 관측 가능 동반형 좌표계에서 직접 계수를 업데이트하는 방법을 제시했습니다.
우측 고유값 유사성 클래스 할당:
- 관측기 극점 (poles) 을 사원수 영역의 고유값이 아닌 **유사성 클래스 (similarity classes)**로 직접 할당하는 방법을 명확히 했습니다.

4. 결과 (Results)

이론적 증명: 관측 가능 동반형 행렬이 동반 다항식에 의해 좌측 치환 (left substitution) 시 영행렬이 됨을 증명했습니다 (사원수 버전의 케일리 - 해밀턴 성질).
시뮬레이션:
- 주어진 사원수 SISO 시스템에 대해 설계된 관측기를 적용했습니다.
- 실수/복소수 목표: 아커만 공식을 사용하여 설계한 관측기는 시스템 상태와 관측기 상태가 모든 사원수 성분 (실수부, $i, j, k$ ) 에서 수렴함을 확인했습니다.
- 사원수 목표: 사원수 계수를 가진 다항식을 목표로 할 때, 아커만 공식은 잘못된 이득을 산출하지만, 동반형 좌표계에서의 직접적인 계수 업데이트는 원하는 유사성 클래스를 성공적으로 할당함을 보였습니다.

5. 의의 및 중요성 (Significance)

구조 보존 설계: 사원수 시스템의 고유한 비가환 구조를 4 차원 실수 벡터로 변환하지 않고, 원래의 초복소수 (hypercomplex) 구조를 보존하며 관측기를 설계할 수 있는 길을 열었습니다.
응용 분야 확장: 양자 역학 제어, NMR/MRI 펄스 설계, 편광 신호 처리, 컬러 영상 처리, 사원수 기반 신경망 등 사원수 구조가 본질적으로 중요한 분야에서 직접적인 제어 이론 적용이 가능해졌습니다.
이론적 명확성: 사원수 선형 대수 및 제어 이론에서 '특성 다항식'과 '행렬식'이 부재하거나 제한적일 때, 어떻게 관측성, 제어성, 극점 배치를 체계적으로 다룰 수 있는지에 대한 새로운 기준을 제시했습니다.

결론적으로, 이 논문은 사원수 시스템의 관측기 설계를 위한 첫 번째 체계적인 프레임워크를 제공하며, 특히 실수 계수 목표에 대한 아커만 공식과 사원수 계수 목표에 대한 좌표계 업데이트 방법을 구분하여 제시함으로써 이론적 완성도와 실용성을 모두 확보했습니다.