행동, 궤적 및 데이터: 미지 입력 관측기 설계의 새로운 관점

기본 정보

• 논문 ID: 2407.18833
• 제목: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
• 저자: Giorgia Disarò, Maria Elena Valcher (파도바 대학교)
• 분류: math.OC (최적화 및 제어), math.DS (동역학계)
• 발표 시간: 2024년 7월 26일 (arXiv 사전인쇄본)
• 논문 링크: https://arxiv.org/abs/2407.18833

초록

본 논문은 Willems의 "행동 이론(behavior theory)"을 기반으로 미지 입력 관측기(UIO)의 설계에 대한 새로운 관점을 제시하며, 미지 외란의 영향을 받는 상태 및 출력 방정식을 가진 선형 시불변 이산시간 상태공간 모델에 적용된다. 본 연구는 먼저 원래 시스템 모델이 알려진 경우를 가정한 후, 모델은 미지이지만 특정 가정을 만족하는 이력 데이터가 있는 경우로 확장된다. 두 경우 모두에서 행동 이론의 기본 개념(행동 투영, 행동 포함 관계, 핵 및 상 표현 등)은 UIO 존재의 필요충분조건 결정 및 설계 알고리즘 제공을 위한 강력한 도구를 제공한다.

연구 배경 및 동기

문제 정의

1. 핵심 문제: 미지 외란의 영향을 받는 선형 시불변 이산시간 시스템에 대한 미지 입력 관측기 설계. 외란은 상태 및 출력 방정식에 동시에 영향을 미침
2. 도전 과제: 전통적 방법은 주로 상태공간 대수 연산에 기반하며, 모델 기반 및 데이터 기반 두 가지 시나리오를 처리하기 위한 통일된 이론 프레임워크가 부족함

중요성 분석

• 실제 필요성: 복잡한 시스템에서 모델링하기 어려운 외란이 자주 존재하므로, 외란이 존재하는 상황에서 시스템 상태를 추정해야 함
• 이론적 가치: 행동 이론은 전통적 상태공간 방법보다 더 일반화된 프레임워크를 제공함
• 응용 전망: 데이터 기반 방법은 모델 식별 단계를 회피하므로 실제 응용에서 더욱 효율적임

기존 방법의 한계

1. 전통적 UIO 설계: 주로 상태공간 대수 연산에 기반하며 통일된 이론 프레임워크 부족
2. 행동 이론 응용: 기존 연구1,12,15에서 설계된 관측기는 인과성을 보장하지 않음
3. 데이터 기반 방법: 이전 연구3,4,11는 외란이 출력에 영향을 미치지 않는 단순화된 경우만 고려함

핵심 기여

1. 이론적 혁신: Willems 행동 이론을 UIO 설계에 체계적으로 적용한 최초의 시도로, 새로운 이론적 관점 제공
2. 통일된 프레임워크: 모델 기반 및 데이터 기반 두 가지 시나리오에서 UIO 설계의 통일된 방법 수립
3. 필요충분조건: 행동 이론을 기반으로 UIO 존재성의 새로운 필요충분조건 도출 및 고전적 조건과의 동등성 증명
4. 알고리즘 설계: 데이터로부터 직접 UIO 매개변수를 설계하는 대수 알고리즘 제공
5. 확장된 응용: 외란이 상태 및 출력에 동시에 영향을 미치는 더욱 일반적인 경우 처리

방법론 상세 설명

작업 정의

이산시간 LTI 시스템 Σ를 고려:

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

여기서:

• x(t) ∈ ℝⁿ: 상태 벡터
• u(t) ∈ ℝᵐ: 알려진 제어 입력
• y(t) ∈ ℝᵖ: 출력 벡터
• d(t) ∈ ℝʳ: 미지 입력(외란)

UIO 설계:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)    (2a)
x̂(t) = z(t) + D^u_UIO u(t) + D^y_UIO y(t)            (2b)

행동 이론 기초

행동 정의: 행동 B ⊆ (ℝʷ)^ℤ₊는 다음 차분 방정식을 만족하는 궤적의 집합:

R(σ)w = 0

여기서 R(z) ∈ ℝz^(p×w)는 다항식 행렬이고, σ는 좌측 이동 연산자임.

핵심 개념:

1. 행동 투영: P_{w₁}B = {w₁ : ∃w₂ such that (w₁,w₂) ∈ B}
2. 최소 좌측 영인자(MLA): H(z)M(z) = 0을 만족하는 최소 차수 다항식 행렬
3. 행동 포함: B₁ ⊆ B₂의 판정 조건

행동 기반 UIO 설계

모델 기반 경우

시스템 행동 표현:

B_Σ = ker(R_Σ(σ))

여기서:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

UIO 행동 표현:

B_Σ̂ = ker(R_Σ̂(σ))

주요 정리: 시스템 Σ̂는 Σ의 UIO일 필요충분조건:

1. 수용 조건: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. 안정성 조건: A_UIO는 Schur 안정임

설계 조건: UIO 존재의 필요충분조건은 다음을 만족하는 행렬이 존재:

[-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CE F] = [-E 0]     (10)
                                    [F  0]

A_UIO = A + [-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CA]    (11)
                                                [C ]

[B^u_UIO] = [I  -D^y_UIO C  -B^y_UIO][B]               (12)
[D^u_UIO]   [0  -D^y_UIO            ][D]

그리고 A_UIO는 Schur 안정임.

데이터 기반 방법

이력 데이터: 시간 구간 0,T-1에서 상태-입력-출력 궤적 수집:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

데이터 행렬:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

호환 궤적: 궤적 (x,u,y)는 이력 데이터와 호환할 필요충분조건:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

주요 결과: UIO 존재할 필요충분조건은 ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d)를 만족하는 임의의 행렬에 대해, 다음을 만족하는 Ω이 존재:

Ω[V_p V_f] = [-A* I_n]

여기서 A*는 Schur 행렬임.

기술적 혁신점

1. 핵 표현 방법: 다항식 행렬의 핵 표현을 사용하여 시스템 및 관측기 행동을 통일적으로 기술
2. 투영 기법: 행동 투영을 통해 관측 불가능한 변수(미지 입력) 제거
3. 포함 관계: 수용 조건을 행동 포함 관계로 변환하여 대수 연산 용이화
4. 데이터 매개변수화: 데이터 행렬로부터 직접 UIO 매개변수 구성으로 중간 모델링 단계 회피

실험 설정

수치 예제

3차 시스템 고려:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

구현 세부사항

• 시간 윈도우: T = 11
• 입력 데이터: u(t)는 (-4,4) 균등 분포, d(t)는 (-3,3) 균등 분포
• 초기 조건: 무작위 생성

실험 결과

설계 과정

1. 데이터 수집: 데이터 행렬 Φ_d 구성
2. 핵 계산: 조건 (20)을 만족하는 행렬 Ψ 결정
3. 매개변수 해결: SVD 분해를 통해 방정식 (21) 해결
4. 안정화: Ā + LC̄가 Schur 안정이 되도록 L 선택

획득한 UIO 매개변수

A_UIO = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (고유값: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_UIO = [-2.9070]    B^y_UIO = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

성능 검증

상태 추정 오차는 약 20개 시간 단계 내에 0으로 수렴하여 UIO의 유효성을 검증함.

관련 연구

행동 이론 응용

• Willems 기초 연구20,21: 행동 이론 프레임워크 수립
• 관측기 설계1,12,15: 행동 프레임워크 내 관측기 설계이나 인과성 보장 불가
• 데이터 기반 제어6,7,8: Willems 기본 보조정리 기반 데이터 기반 방법

UIO 설계 방법

• 고전적 방법2,13: 상태공간 대수 기반 UIO 설계
• 데이터 기반 UIO3,4,11: 외란이 출력에 영향을 미치지 않는 단순화된 경우만 고려

본 논문의 장점

1. 이론 통일: 모델 기반 및 데이터 기반 방법의 통일된 프레임워크 제공
2. 조건 완전성: 외란이 상태 및 출력에 동시에 영향을 미치는 일반적 경우 처리
3. 알고리즘 단순성: 직접적인 대수 설계 알고리즘 제공

결론 및 토의

주요 결론

1. 이론적 기여: 행동 이론을 UIO 설계에 성공적으로 적용하여 새로운 이론 프레임워크 수립
2. 방법 통일: 동일한 프레임워크 내에서 모델 기반 및 데이터 기반 두 가지 경우 해결
3. 조건 동등성: 행동 이론 조건과 고전적 대수 조건의 동등성 증명
4. 알고리즘 유효성: 실현 가능한 설계 알고리즘 제공 및 수치 예제로 검증

한계점

1. 데이터 가정: 오프라인 단계에서 상태가 측정 가능해야 하므로 실제 응용에서 제한될 수 있음
2. 외란 요구사항: 미지 입력이 지속적 여기 조건을 만족한다고 가정하나 실제로 검증 어려움
3. 계산 복잡도: 고차원 시스템의 경우 행렬 연산의 계산 부담이 큼
4. 강건성: 잡음 및 모델 불확실성의 영향을 고려하지 않음

향후 방향

1. 강건 설계: 측정 잡음 및 모델 불확실성 고려
2. 온라인 학습: 적응형 UIO 설계 방법 개발
3. 비선형 확장: 비선형 시스템으로의 방법 확장
4. 분산 관측: 다중 에이전트 시스템의 분산 UIO 설계 연구

심층 평가

장점

1. 이론적 창의성: 행동 이론을 UIO 설계에 체계적으로 적용한 최초의 시도로 새로운 연구 방향 개척
2. 방법론 완전성: 이론 분석에서 알고리즘 설계를 거쳐 수치 검증까지 완전한 연구 체인 형성
3. 통일된 프레임워크: 동일한 이론 프레임워크 내에서 모델 기반 및 데이터 기반 두 가지 시나리오 처리
4. 조건의 엄밀성: 엄격한 수학적 유도 및 필요충분조건 제공
5. 실용적 알고리즘: 직접 실시 가능한 대수 설계 단계 제시

부족점

1. 응용 제약: 상태 오프라인 측정 가능 가정이 실제 시스템에서 만족하기 어려울 수 있음
2. 외란 가정: 미지 입력의 지속적 여기 가정이 실제로 검증하기 어려움
3. 계산 효율성: 대규모 시스템의 경우 행렬 연산이 계산 병목이 될 수 있음
4. 강건성 부재: 실제 시스템에 널리 존재하는 잡음 및 불확실성을 고려하지 않음

영향력

1. 학술적 가치: 제어 이론에 새로운 수학적 도구 및 분석 관점 제공
2. 방법론적 기여: 실제 제어 문제에서 행동 이론의 응용 가능성 시연
3. 후속 연구: 행동 이론 기반 제어 시스템 설계 연구 촉발 가능성
4. 교육적 가치: 데이터 기반 제어 이해를 위한 우수한 이론적 기초 제공

적용 시나리오

1. 산업 공정: 화학, 전력 등 모델링 어려운 외란이 존재하는 산업 시스템
2. 로봇 시스템: 미지 환경 외란 하에서 상태 추정이 필요한 로봇
3. 항공우주: 복잡한 환경에서 항공기의 항법 및 제어
4. 네트워크 시스템: 통신 네트워크의 상태 모니터링 및 고장 탐지

참고문헌

본 논문은 24편의 중요 문헌을 인용하며, 주요 내용은 다음과 같음:

행동 이론 기초:

• 20,21 J.C. Willems의 개척적 연구
• 18,22 행동 시스템 이론의 발전

관측기 설계:

• 1,15 행동 방법의 관측기 설계
• 2,13 고전적 UIO 설계 이론

데이터 기반 방법:

• 19 Willems 기본 보조정리
• 3,4,11 데이터 기반 UIO 설계의 선행 연구

이러한 문헌들은 본 논문의 이론적 발전 및 방법론 비교를 위한 견고한 기초를 제공함.