전역 지수 관측기 설계와 적용

초록

본 논문은 전역적으로 안정된 콤팩트 집합을 갖는 시스템과 열린 집합 위에서 정의되는 시스템 두 종류에 대해 전역 지수 관측기의 존재 조건을 제시하고, 연속‑시간 및 샘플링‑데이터 형태의 관측기 설계 방법을 구체적으로 제시한다. 예제로는 단조 비선형 시스템과 Chemostat 모델을 다룬다.

상세 분석

논문은 비선형 시스템의 상태 추정 문제를 두 주요 클래스에 대해 체계적으로 접근한다. 첫 번째 클래스는 전역적으로 asymptotically stable 한 콤팩트 집합 S 가 존재하는 시스템이며, 이를 위해 가정(H1)에서는 라디컬하게 발산하지만 반드시 양정적일 필요는 없는 함수 V 와 양정적 함수 W 를 이용해 (\dot V\le -W) 형식의 Lyapunov 부등식을 설정한다. 이 부등식은 모든 초기조건과 입력에 대해 해가 유한 시간 내에 S 에 진입함을 보장한다. 두 번째 가정(H2)은 지역 지수 관측기 설계를 위한 조건으로, 행렬 P>0, 상수 μ, R_b 와 매핑 h_k 을 도입해 관측오차 ξ 에 대한 미분 부등식 (\dot ξ^TPξ\le -μ|ξ|^2) 를 확보한다. 여기서 중요한 점은 h_k 이 실제 출력 y와 관측기 출력 (\hat y) 를 연결하는 보정 함수라는 점이다. H3은 보정 항 ϕ 의 설계에 필요한 추가적인 제한을 제공한다. 구체적으로 ϕ 은 V 값이 큰 영역에서 활성화되어 (\dot V) 에 부정적인 영향을 상쇄하고, 시스템이 S 에 진입하기 전까지 오차를 억제한다. 정리 2.2는 이러한 가정들을 종합해 전역 지수 수렴을 보장하는 관측기 (\hat x) 를 제시한다. 관측기 구조는 (i) 지역 지수 관측기 (\dot{\hat x}=f(\hat x,u)+k(\hat x,y)) 와 (ii) V 가 임계값 b 를 초과하면 보정 항 ϕ 을 추가하는 형태로 구성된다. 보정 항은 (ϕ(x,\hat x)=p(V(\hat x))) 와 같이 V 에 대한 스위치 함수를 이용해 정의되며, p 는 a 와 b  사이에서 선형적으로 변한다. 이 설계는 관측오차가 큰 경우에도 Lyapunov 함수가 감소하도록 보장한다. 샘플링‑데이터 관측기(정리 2.4)에서는 추가 가정(H4)을 통해 출력 y와 입력 u 의 선형 관계를 이용해 측정 오류와 샘플링 지연에 대한 강인성을 확보한다. 특히, 입력 w 와 측정 오류 e 를 각각 시스템 입력과 출력에 대한 외란으로 모델링하고, 관측기 설계에 포함시켜 입력‑출력 안정성(i/o‑stability) 특성을 증명한다. 두 번째 클래스(섹션 3)에서는 상태가 열린 집합 Ω⊂ℝⁿ에 제한되는 시스템을 다룬다. 여기서는 매핑 Φ:Ω→ℝⁿ이 전역 미분가능하고 일대일이며, Φ(Ω) 가 열린 집합임을 이용해 시스템을 변환한 뒤, 변환 좌표에서 전역 지수 관측기를 설계한다. 변환 전후의 상태 추정 오차는 Φ 와 Φ⁻¹ 의 리프시츠 연속성에 의해 동일한 수렴 속도를 유지한다. 논문은 이론적 결과를 두 사례에 적용한다. 첫 번째 사례는 단조 비선형 함수 f_i(x_i) 가 포함된 구조 (\dot x_i = -a_i x_i + f_i(x_i) + u_i) 에 대해 H1‑H3을 만족함을 확인하고, 연속‑시간 및 샘플링‑데이터 관측기를 구현한다. 두 번째 사례는 Chemostat 모델(양성 변수 S, X 가 1사분면에 제한)로, 상태 변환 (\Phi(S,X) = (\ln S, \ln X)) 을 사용해 열린 집합 조건을 만족시킨 뒤, 전역 지수 관측기를 설계한다. 전체적으로 논문은 기존 고이득 관측기, 원형 기준 관측기, 변환 기반 관측기의 한계를 보완하고, 비선형 시스템의 전역 지수 수렴을 보장하는 실용적인 설계 절차를 제공한다.