[논문 리뷰] Sample-based detectability and moving horizon state estimation of continuous-time systems

Isabelle Krauss, Victor G. Lopez외 1명|arXiv (Cornell University)|2026. 03. 23.

Control Systems and Identification인용 수 0

한 줄 요약

이 논문은 샘플 기반의 증분 적분 입력/출력-상태 안정성(i-iIOSS) 버전을 제시하고, 그것이 성립하기 위한 충분조건을 제공하며, 선형 시스템에 대한 샘플 기반 가시성(sample-based observability)과의 연계를 보이고, 강건하게 안정적인 샘플 기반 이동 지평 추정기(MHE)를 개발하며, pituitary–thyroid biomedical model에 방법을 시연한다.

ABSTRACT

In this paper we propose a detectability condition for nonlinear continuous-time systems with irregular/infrequent output measurements, namely a sample-based version of incremental integral input/output-to-state stability (i-iIOSS). We provide a sufficient condition for an i-iIOSS system to be sample-based i-iIOSS. This condition is also exploited to analyze the relationship between sample-based i-iIOSS and sample-based observability for linear systems, such that previously established sampling strategies for linear systems can be used to guarantee sample-based i-iIOSS. Furthermore, we present a sample-based moving horizon estimation scheme, for which robust stability can be shown. Finally, we illustrate the applicability of the proposed estimation scheme through a biomedical simulation example.

연구 동기 및 목표

• 비선형 연속 시간 시스템에서 불규칙하거나 드문 출력 하에서의 상태 추정을 동기화한다.
• 비정형 샘플링에 맞춘 샘플 기반 탐지 가능성 개념(i-iIOSS)을 정의한다.
• i-iIOSS로부터 샘플 기반 i-iIOSS에 대한 충분조건을 도출한다.
• 불규칙한 측정에 대한 강건하게 안정적인 샘플 기반 MHE 방식(스킴)을 개발한다.
• pituitary–thyroid 생의학 모델에서 제안을 시연한다.

제안 방법

• 이산 측정 시퀀스를 포함하는 샘플 기반 i-iIOSS 정의(정의 3)를 도입한다.
• 리피시츠 유형 가정(가정 4)하에서 i-iIOSS와 샘플 기반 i-iIOSS를 연결하는 충분조건(정리 5)을 증명한다.
• 섹션 5의 정의 10 및 정리 9–15에서 샘플 기반 i-iIOSS와 선형 시스템 가시성의 관계를 분석한다.
• 섹션 4에서 초기 상태 오차, 과정 교란, 측정 차이를 페널티하는 비용 함수를 갖는 강건하게 안정적인 샘플 기반 이동 지평 추정 방식(방식)을 제안한다.
• 정리 8의 안정성 증명을 제공하여 샘플 기반 지수 i-iIOSS 가정(가정 7)하에 추정기의 RGES를 보인다.
• 섹션 6의 생의학 시뮬레이션 예제(pituitary–thyroid loop)를 제시하여 추정기 성능을 시연한다.

실험 결과

연구 질문

• RQ1 비선형 연속 시간 시스템에서 불규칙한 출력으로 인해 샘플 기반 의미에서 탐지 가능성이 보장되는 조건은 무엇인가?
• RQ2 샘플 기반 i-iIOSS를 불규칙 샘플링에 확장할 수 있나요(샘플 기반 i-iIOSS) 그리고 이것이 추정기의 안정성에 어떤 함의를 갖나요?
• RQ3 샘플 기반 i-iIOSS와 샘플 기반 가시성이 선형 시스템에서 어떤 관계를 가지나요?
• RQ4 불규칙한 측정 시퀀스를 위한 강건하게 안정된 샘플 기반 이동 지평 추정기를 설계할 수 있나요?
• RQ5 제안된 접근법이 희박한 측정 데이터(예: pituitary–thyroid 축)와 같은 생의학 모델에 적용 가능한가요?

주요 결과

• 샘플 기반 i-iIOSS 버전이 정의되어 불규칙한 출력으로도 탐지 가능성을 분석할 수 있게 된다.
• 리피시츠 연속성 가정 아래 i-iIOSS로부터 샘플 기반 i-iIOSS를 확보하는 충분조건(정리 5)을 제시한다.
• 선형 시스템의 경우 샘플 기반 가시성으로부터 샘플 기반 i-iIOSS를 도출할 수 있어 샘플링 전략과 MHE의 안정성 보장을 연결한다.
• 정리 8에 따라 초기 지평 길이와 지수 i-iIOSS 조건을 필요로 하는 강건하게 안정적인 샘플 기반 이동 지평 추정기가 개발된다.
• 추정기가 불규칙한 측정에서 정확한 상태 추정을 보임을 뇌하수체–갑상선 루프의 6상태 비선형 생의학 모델로 보여준다.