[논문 리뷰] Observability and Detectability of Linear Switching Systems: A Structural Approach

Elena De Santis, Maria Domenica Di Benedetto외 1명|ArXiv.org|2008. 02. 27.

Stability and Control of Uncertain Systems참고 문헌 38인용 수 4

한 줄 요약

이 논문은 선형 스위칭 시스템에 대한 관측 가능성과 감지 가능성에 대한 구조적 접근을 제안하며, 관측 가능성에 대한 계산 가능한 필요 및 충분 조건을 도입하고, 감지 가능성은 유도된 스위칭 시스템의 점근적 안정성 확인으로 귀결됨을 증명한다. 주요 기여는 감지 가능성과 보조 시스템의 안정성 간의 관계를 연결하는 칼만 유사 분해를 제공함으로써 기존의 안정성 이론을 관측기 설계에 활용할 수 있도록 한다.

ABSTRACT

We define observability and detectability for linear switching systems as the possibility of reconstructing and respectively of asymptotically reconstructing the hybrid state of the system from the knowledge of the output for a suitable choice of the control input. We derive a necessary and sufficient condition for observability that can be verified computationally. A characterization of control inputs ensuring observability of switching systems is given. Moreover, we prove that checking detectability of a linear switching system is equivalent to checking asymptotic stability of a suitable switching system with guards extracted from it, thus providing interesting links to Kalman decomposition and the theory of stability of hybrid systems.

연구 동기 및 목표

• 제어 입력을 사용하여 출력으로부터 상태 재구성 가능성을 기반으로 선형 스위칭 시스템에 대한 관측 가능성과 감지 가능성의 정의 및 체계화.
• 관측 가능성에 대한 계산 가능한 필요 및 충분 조건을 제공하여 알고리즘 기반 검증 가능하게 한다.
• 감지 가능성과 유도된 스위칭 시스템(가드 포함)의 점근적 안정성 간의 연결 고리를 확립하여 기존 안정성 이론의 활용을 가능하게 한다.
• 하이브리드 상태 관측기 설계를 지원하기 위해 그 존재에 필요한 조건을 명확히 한다.
• 특정 시스템 클래스를 초월하여 하이브리드 실행의 동적 특성에 중점을 두고 관측 가능성과 감지 가능성 개념을 일반화한다.

제안 방법

• 적절한 제어 입력을 사용하여 출력으로부터 하이브리드 상태(연속 및 이산 성분)를 재구성할 수 있는 능력으로 관측 가능성 정의.
• 스위칭 로직과 전이를 모델링하기 위해 유한 상태 기계(FSM)와 가드를 기반으로 한 구조적 프레임워크 도입.
• 감지 가능성 분석을 원래 시스템에서 추출한 유도된 스위칭 시스템(가드 포함)의 점근적 안정성 확인으로 환원하기 위해 칼만 유사 분해 사용.
• 공통 리아푸노프 함수 기법과 행렬 부등식((A_i')P + P A_i ≤ -Q 등)을 적용하여 하위시스템의 점근적 안정성 검증.
• 특히 복잡한 스위칭 구조를 가진 경우, FSM의 강하게 연결된 구성요소에서 안정성 분석을 위해 추상화 기법 활용.
• 하이브리드 시스템의 안정성 이론 결과(예: [12, 17])를 활용하여 보조 시스템의 안정성에 기반한 감지 가능성 검증.

실험 결과

연구 질문

• RQ1 선형 스위칭 시스템의 하이브리드 상태가 적절한 제어 입력을 사용하여 출력 측정치로부터 재구성될 수 있도록 보장하는 조건은 무엇인가?
• RQ2 감지 가능성은 관련된 가드를 갖는 유도된 스위칭 시스템의 안정성 측면에서 어떻게 특징지어질 수 있는가?
• RQ3 선형 스위칭 시스템에 대한 관측 가능성과 하이브리드 관측기 존재 간의 관계는 무엇인가?
• RQ4 스위칭 시스템의 감지 가능성은 유도된 시스템의 안정성 문제로 환원될 수 있는가? 만약 가능하면, 그 유도 과정은 어떻게 이루어지는가?
• RQ5 스위칭 시스템의 구조적 특성(예: 강하게 연결된 구성요소 및 리셋 맵)은 관측 가능성과 감지 가능성에 어떤 영향을 미치는가?

주요 결과

• 행렬 및 부분공간 분석을 활용하여 계산 가능한 관측 가능성의 필요 및 충분 조건이 도출되었다.
• 선형 스위칭 시스템의 감지 가능성은 유도된 스위칭 시스템(가드 포함)의 점근적 안정성과 동치이며, 이는 기존 안정성 도구의 활용을 가능하게 한다.
• 유도된 스위칭 시스템(가드 포함)이 점근적으로 안정할 때, 시스템은 감지 가능하며, Q1, Q2, Q3로 구성된 예시에서 이를 입증하였다.
• 유도된 시스템 H0가 점근적으로 안정함이 입증되어, 시스템 H가 감지 가능함을 확인하였으며, 이는 공통 리아푸노프 함수 및 행렬 부등식 검증을 통해 검증되었다.
• 시스템의 유한 상태 기계는 세 개의 강하게 연결된 구성요소를 가지며, 각 구성요소에서 독립적으로 안정성이 평가되어 전체적인 점근적 안정성이 확인되었다.
• 이 방법은 체계적인 관측기 설계 접근법을 가능하게 하며, 관측 가능성은 하이브리드 상태 재구성 알고리즘의 존재를 암시하지만, 현재는 무한 정밀도가 필요하다.