[논문 리뷰] Invariant asymptotic observers

Silvère Bonnabel, Philippe Martin외 1명|arXiv (Cornell University)|2006. 12. 07.

Adaptive Control of Nonlinear Systems인용 수 13

한 줄 요약

이 논문은 물리적 대칭성을 활용하여 비선형 시스템을 위한 불변 점근 관측기를 도입한다. 카르탕의 이동 기준좌표계 방법을 사용하여 대칭성을 유지하는 보정 항을 구성한다. 비선형 차량에 대해 거의 전역적인 안정성과 지수 수렴을 증명하였고, 관성 항법 시스템에 대해서는 준국역 안정성을 확보하였다. 노이즈와 오판을 포함한 시뮬레이션을 통해 검증되었다.

ABSTRACT

This paper presents three non-linear asymptotic observers corresponding to three examples of engineering interest: a chemical reactor, a non-holonomic car, and an inertial navigation system. For each example, the design is based on physical symmetries. This motivates the theoretical development of invariant observers, i.e, symmetrypreserving observers. We consider an observer to consist in a copy of the system equation and a correction term, and we give a constructive method (based on the Cartan moving-frame method) to find all the symmetry-preserving correction terms. They rely on an invariant frame (a classical notion) and on an invariant output-error, a less standard notion precisely defined here. For each example, the convergence analysis relies also on symmetries consideration with a key use of invariant state-errors. For the non-holonomic car and the inertial navigation system, the invariant state-errors is shown to obey an autonomous differential equation independent of the system trajectory. This allows us to prove exponential convergence, with almost global stability for the non-holonomic car and with semi-global stability for the inertial navigation system. Simulations including noise and bias show the practical interest of such invariant asymptotic observers for the inertial navigation system.

연구 동기 및 목표

• 공 ing 시스템의 물리적 대칭성을 유지하는 비선형 점근 관측기를 개발하기 위해.
• 선형적 구조가 없는 비선형 시스템에 대해 수렴 보장을 갖는 관측기 설계의 과제를 해결하기 위해.
• 관측기 동역학에서 대칭성을 유지하는 보정 항을 체계적으로 구성하는 방법을 수립하기 위해.
• 시스템 궤적에 독립적인 불변 상태 오차를 사용하여 안정성과 수렴성을 증명하기 위해.

제안 방법

• 관측기는 시스템 동역학의 복제본에 대칭성 유지 보정 항을 부여한 구조를 취한다.
• 카르탕의 이동 기준좌표계 방법을 사용하여 불변 기준좌표계와 불변 출력 오차를 구성한다. 이는 본 논문에서 새로 정의된 개념이다.
• 불변 기준좌표계와 불변 출력 오차에서 유도된 보정 항을 통해 대칭성 유지 보장을 확보한다.
• 불변 상태 오차를 정의하고, 이가 시스템 궤적과 무관한 자율 미분방정식을 만족함을 보여준다.
• 수렴 분석은 불변 상태 오차의 동역학을 연구함으로써 수행되며, 이는 안정성 분석을 단순화한다.
• 이 방법은 화학 반응기, 비선형 차량, 관성 항법 시스템의 세 시스템에 적용된다.

실험 결과

연구 질문

• RQ1 비선형 시스템의 물리적 대칭성을 어떻게 활용하여 수렴 보장이 있는 관측기를 설계할 수 있는가?
• RQ2 불변 출력 오차는 대칭성 유지 보정 항을 구성하는 데 어떤 역할을 하는가?
• RQ3 불변 상태 오차가 궤적에 독립적인 자율 시스템에 따라 진화하는 것으로 보일 수 있는가?
• RQ4 불변 상태 오차가 자율 방정식을 따를 경우 어떤 안정성 보장을 도출할 수 있는가?
• RQ5 관성 항법과 같은 실용적 응용에서 노이즈와 오판이 존재할 경우 제안된 방법의 성능은 어떠한가?

주요 결과

• 비선형 차량의 경우, 불변 상태 오차는 자율 미분방정식을 따르며, 거의 전역적인 지수 수렴을 증명할 수 있다.
• 관성 항법 시스템의 경우, 불변 상태 오차 역시 자율 방정식을 따르며, 준국역적인 지수 수렴이 이뤄진다.
• 시뮬레이션 결과 노이즈와 오판에 대해 뛰어난 성능을 보이며, 관성 항법 응용에서 실용성을 확인한다.
• 보정 항의 구성은 카르탕의 이동 기준좌표계 방법에 기반하여 체계적이며, 대칭성 유지 보장을 보장한다.
• 불변 출력 오차는 핵심적 혁신으로, 시스템 대칭성을 존중하는 보정 항의 설계를 가능하게 한다.
• 이론적 프레임워크는 대칭성을 갖는 비선형 시스템에 널리 적용 가능하며, 통합된 관측기 설계 접근법을 제공한다.