미지입력 관측기 설계의 모델 기반 및 데이터 기반 접근법의 동등성에 관하여

기본 정보

• 논문 ID: 2311.00673
• 제목: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
• 저자: Giorgia Disarò, Maria Elena Valcher (파도바 대학교, 이탈리아)
• 분류: math.DS (동역학계)
• 발표 시간: 2023년 11월 (arXiv 사전인쇄본)
• 논문 링크: https://arxiv.org/abs/2311.00673

초록

본 논문은 미지입력 관측기(UIO) 설계의 데이터 기반 방법을 연구한다. 구체적으로, 저자들은 이산시간 선형 시불변(LTI) 시스템에 대해 유한 시간 윈도우 데이터를 기반으로 미지입력 관측기 존재성의 필요충분조건을 제시한다. 동시에 수집된 데이터에 대한 약한 가정 조건 하에서, 데이터 기반 방법으로부터 도출된 가해성 조건이 실제로 모델 기반 방법으로 얻어진 조건과 동등함을 증명한다. 즉, 원래 시스템 행렬로 표현된 고전적 모델 기반 조건에 비해, 데이터 기반 조건은 추가 제약을 부과하지 않는다.

연구 배경 및 동기

1. 문제 기술: 많은 제어공학 응용에서 시스템의 내부 상태를 파악하는 것이 상태 피드백 안정화 및 고장 검출 등의 기본 문제 해결에 필수적이다. 그러나 시스템 상태는 일반적으로 직접 획득할 수 없으므로, 상태 벡터를 추정하기 위한 적절한 관측기를 설계해야 한다.
2. 도전 과제: 실제 시스템 동역학은 종종 간섭, 측정 오차 또는 상태 진화 식별에 사용할 수 없는 기타 미지 신호의 영향을 받는다. 전통적인 관측기 설계는 시스템 모델이 이미 알려져 있다고 가정하지만, 어떤 경우에는 이용 가능한 데이터만으로는 시스템을 유일하게 식별할 수 없다.
3. 기존 방법의 한계:
   • 모델 기반 방법은 시스템 행렬이 알려져 있어야 함
   • 기존 데이터 기반 방법(예: 18)은 충분조건만 제시하며, 얻어진 시스템이 점근 안정하지 않을 때 UIO 설계 가능 여부가 불명확함
4. 연구 동기: 대량의 이용 가능한 데이터를 활용하여 제어공학 문제를 해결하는 데이터 기반 기술을 개발하고, 특히 정확한 시스템 모델을 획득할 수 없을 때의 상태 추정 문제를 다룬다.

핵심 기여

1. 필요충분조건 제시: 데이터 기반 UIO 존재성 검증을 위한 검증 가능한 필요충분조건 제공
2. 완전한 매개변수화: 모든 후보 UIO의 완전한 매개변수 표현 제공
3. 동등성 증명: 특정 데이터 가정 하에서 데이터 기반 방법의 가해성 조건과 모델 기반 방법의 조건이 완전히 동등함을 증명
4. 이론적 돌파: 데이터 기반과 모델 기반 방법 사이의 전단사 대응 관계 수립

방법 상세 설명

과제 정의

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

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

여기서:

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

UIO 정의: 다음과 같은 형태의 LTI 시스템 Σ̂:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

추정 오차 e(t) = x(t) - x̂(t)가 초기 조건과 미지 입력 동역학에 무관하게 점근적으로 0으로 수렴하도록 한다.

모델 기반 방법

필요충분조건(정리 2): UIO가 존재하기 위한 필요충분조건은 다음 중 하나이다:

1. 다음을 만족하는 행렬 (A_UIO, B^u_UIO, B^y_UIO, D_UIO)이 존재한다:
   • A_UIO는 Schur 안정적
   • D_UIO CE = E
   • B^u_UIO = (I - D_UIO C)B
   • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
2. 행렬 조건:
   • rank(CE) = rank(E) = r
   • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
3. 삼중쌍 (A,E,C)은 강*검출 가능하다

데이터 기반 방법

데이터 조직: 과거 데이터를 행렬 형태로 조직한다:

• Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
• Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
• Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

핵심 가정: 행렬 Uₚᵀ Dₚᵀ Xₚᵀᵀ는 행 완전 계수를 갖는다 (m+r+n).

주요 결과(정리 9): 다음 조건들은 동등하다:

1. (3)-(4) 형태의 UIO가 존재하여 T_Σ ⊆ T_Σ̂
2. 행렬 T₁, T₂, T₃, T₄가 존재하여 Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ이고 T₄는 Schur 안정적
3. 데이터 조건: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ)이고 rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ, |z|≥1
4. 삼중쌍 (A,E,C)은 강*검출 가능하다

기술적 혁신점

1. 동등성 수립: 데이터 기반 조건과 모델 기반 조건의 완전한 동등성을 처음으로 엄밀하게 증명
2. 전단사 대응: UIO 매개변수 행렬과 데이터 기반 매개변수 사이의 전단사 관계 수립 (추론 10)
3. 실용적 알고리즘: 문제를 더 다루기 쉬운 형태로 변환하는 단순화된 계산 방법 제공

실험 설정

수치 예제

문헌 4의 예제 사용:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

실험 매개변수

• 시간 윈도우: T = 20
• 미지 입력: (-2,2) 구간 내 균등 난수 생성
• 초기 조건: 난수 선택
• 간섭: (-10,10) 구간 내 난수 생성

비교 방법

문헌 18에서 제시된 방법과 비교

실험 결과

주요 결과

1. 모델 검증: rank(CE) = rank(E) = r 및 강*검출 가능성 조건 검증
2. 데이터 기반 설계: 데이터로부터 행렬 C를 성공적으로 재구성하고 정리 9의 조건 검증
3. 성능 비교:
   • 본 논문 방법으로 얻은 A_UIO 행렬은 멱영 행렬
   • 문헌 18 방법으로 얻은 고유값은 {0, 0, -0.2}
   • 두 방법 모두 작동하지만, 본 논문 방법은 수렴 속도 선택 가능

사례 분석

그림 1은 상태 추정 오차의 동역학을 보여준다:

• 실선(검은색): 본 논문 설계 방법
• 점선(빨간색): 문헌 18 방법
• 두 방법 모두 점근 수렴을 구현하지만, 본 논문 방법은 더 많은 설계 자유도 제공

실험 발견

1. 데이터 기반 조건은 UIO 존재성을 올바르게 식별할 수 있음
2. 완전한 매개변수화는 원하는 수렴 특성 선택 가능
3. 데이터가 가정 조건을 만족할 때, 데이터 기반 방법은 추가 제약을 도입하지 않음

관련 연구

모델 기반 UIO 설계

• Luenberger 관측기 이론 12,13
• 미지 입력 해제 방법 9,11,21
• 기하학적 방법 2 및 일반화 역행렬 방법 15
• 특이값 분해 기술 6

데이터 기반 방법

• 2단계 방법: 시스템 식별 후 관측기 설계
• 1단계 방법: 식별 단계를 피하고 데이터 직접 활용 18
• 데이터 기반 시뮬레이션 및 제어 14

본 논문의 기여 위치

기존 연구와 비교하여, 본 논문은 처음으로 두 방법의 이론적 동등성을 수립하고 완전한 매개변수화 해결책을 제공한다.

결론 및 토론

주요 결론

1. 약한 데이터 가정 하에서, 데이터 기반 UIO 설계 조건과 모델 기반 조건은 완전히 동등하다
2. 데이터 기반 방법은 추가 제약을 도입하지 않는다
3. 모든 가능한 UIO의 완전한 매개변수화를 제공한다
4. 두 설계 패러다임을 통합하는 이론적 다리를 수립한다

한계

1. 과거 상태 측정 데이터 필요 (실험실 환경에서는 가능)
2. 미지 입력 차원이 알려져 있어야 함
3. 데이터의 행 완전 계수 가정에 의존
4. 선형 시불변 시스템에만 적용 가능

향후 방향

1. 비선형 시스템으로 확장
2. 시변 시스템 경우 고려
3. 잡음이 있는 데이터의 강건성 연구
4. 실제 응용을 위한 알고리즘 구현 개발

심층 평가

장점

1. 이론적 기여 우수: 데이터 기반과 모델 기반 방법의 동등성을 처음으로 엄밀하게 증명
2. 수학적 엄밀성: 완전한 필요충분조건과 엄밀한 수학 증명 제공
3. 실용적 가치: 검증 가능한 데이터 조건과 실용적 알고리즘 제시
4. 완전성: 단일 해가 아닌 모든 UIO의 매개변수화 제공
5. 명확한 작성: 논리 구조가 명확하고 기술 세부사항이 충분함

부족한 점

1. 가정의 제한: 상태 측정 데이터 가정이 실제로는 상당히 엄격함
2. 선형성 제한: 선형 시스템에만 적용 가능하여 응용 범위 제한
3. 제한된 수치 검증: 단 하나의 수치 예제만 제공
4. 강건성 분석 부재: 데이터 잡음 및 모델링 오차의 영향 미고려

영향력

1. 이론적 의의: 데이터 기반 제어 이론에 중요한 이론적 기초 제공
2. 실용적 가치: 공학 응용을 위한 실행 가능한 설계 방법 제공
3. 연구 영감: 다른 관측기 설계 문제에 새로운 연구 방향 제시
4. 재현성: 명확한 알고리즘 단계 제공으로 재현 용이

적용 분야

1. 시스템 모델은 미지이지만 과거 상태 데이터를 획득할 수 있는 경우
2. 미지 간섭을 처리해야 하는 상태 추정 문제
3. 이산시간 선형 제어 시스템의 관측기 설계
4. 고장 검출 및 진단 응용

참고문헌

논문은 관측기 이론, 데이터 기반 제어, 시스템 식별 등 관련 분야의 중요한 연구를 포함하는 24편의 참고문헌을 인용하며, 연구에 견고한 이론적 기초를 제공한다.

종합 평가: 이는 데이터 기반 관측기 설계 분야에서 중요한 기여를 한 고품질의 이론 논문이다. 실제 응용의 일부 제한이 있지만, 그 이론적 가치와 분야 발전에 대한 추진력은 긍정적으로 평가할 만하다.