[논문 리뷰] Partial-realization theory and algorithms for linear switched systems: A formal power series approach

Mihály Petreczky, Jan H. van Schuppen|arXiv (Cornell University)|2010. 10. 25.

Stability and Control of Uncertain Systems참고 문헌 47인용 수 3

한 줄 요약

이 논문은 유리형 형식 거듭제곱급수를 사용하여 선형 스위치 시스템(LSS)에 대한 부분 실현 이론과 알고리즘을 개발한다. 헨켈 행렬의 열 추출과 행렬 분해 기반으로 두 가지 알고리즘을 제안하며, 이는 최소 부분 실현을 계산하고, 헨켈 행렬의 질량이 안정화될 경우 완전한 최소 실현으로 수렴한다.

ABSTRACT

The paper presents partial-realization theory and realization algorithms for linear switched systems. Linear switched systems are a particular subclass of hybrid systems. We formulate a notion of a partial realization and we present conditions for existence of a minimal partial realization. We propose two partial-realization algorithms and we show that under certain conditions they yield a complete realization. Our main tool is the theory of rational formal power series.

연구 동기 및 목표

• 선형 스위치 시스템(LSS)에 대한 공식적 부분 실현 이론을 개발하여 고전적 실현 이론을 하이브리드 시스템으로 확장한다.
• 제한된 입력-출력 데이터로부터 최소 LSS 모델을 식별하는 문제에 대응하며, 시스템 식별 및 모델 축소에 관련된 문제를 다룬다.
• 유리형 형식 거듭제곱급수 이론이 LSS에 대한 실현 알고리즘 유도에 강력한 프레임워크를 제공함을 보여준다.
• 조각별 애파인 시스템과 경계 조건이 있는 시스템을 포함한 더 넓은 하이브리드 시스템 클래스로 부분 실현 이론을 확장하는 기초를 마련한다.
• 이론적 형식화와 실용적 알고리즘 설계를 연결하며, 특히 LSS의 부분공간 식별 유사 방법에 초점을 맞춘다.

제안 방법

• LSS의 입력-출력 행동을 유리형 형식 거듭제곱급수의 가족으로 기술하며, LSS와 이러한 급수 간의 대응을 활용한다.
• 입력-출력 사상의 헨켈 행렬을 해당 형식 거듭제곱급수 가족의 헨켈 행렬로 정의한다.
• 알고리즘 1을 제안하여 헨켈 행렬의 유한 부분행렬에서 열 선택을 통해 부분 실현을 구성한다.
• 알고리즘 2를 제안하여 유한 헨켈 부분행렬의 분해를 통해 부분 실현을 계산하며, 이는 알고리즘 1과 동형임을 보장한다.
• 유한 헨켈 부분행렬의 질량 안정화(H_{Φ,N,N}, H_{Φ,N+1,N}, H_{Φ,N,N+1})를 사용하여 부분 실현이 완전한 최소 실현으로 수렴할 때의 정지 기준으로 삼는다.
• 형식 거듭제곱급수 이론의 이론적 결과를 활용하여 부분 실현이 최소이자 완전한 조건을 도출한다.

실험 결과

연구 질문

• RQ1 주어진 선형 스위치 시스템에 대해 최소 부분 실현이 존재하는 조건은 무엇인가?
• RQ2 유리형 형식 거듭제곱급수의 구조를 활용하여 LSS의 부분 실현을 위한 구축 가능한 알고리즘을 도출할 수 있는가?
• RQ3 유한 헨켈 부분행렬의 질량을 어떻게 활용하여 부분 실현이 완전한 최소 실현으로 전환되는지를 판단할 수 있는가?
• RQ4 제안된 형식 거듭제곱급수 프레임워크를 조각별 애파인 시스템과 같은 더 일반적인 하이브리드 시스템으로 얼마나 넓게 확장할 수 있는가?
• RQ5 일반화된 마르코프 매개변수와 LSS 실현 간의 관계는 무엇이며, 데이터로부터 이를 어떻게 추정할 수 있는가?

주요 결과

• 제안된 부분 실현 알고리즘(알고리즘 1 및 알고리즘 2)은 동일한 입력-출력 데이터에 적용될 경우 동형인 최소 실현을 도출한다.
• 유한 헨켈 부분행렬의 질량이 안정화되면 즉, rank(H_{Φ,N,N}) = rank(H_{Φ,N+1,N}) = rank(H_{Φ,N,N+1})일 경우, 입력-출력 행동의 최소 완전 실현이 확보된다.
• 모든 N에 대해 N+1이 입력-출력 사상의 잠재적 최소 실현 차원과 일치할 경우, 알고리즘은 최소 LSS 실현을 반환한다.
• 유리형 형식 거듭제곱급수 이론은 LSS에 대한 부분 실현 결과 유도에 있어 통합적 프레임워크를 제공하며, 잠재적으로 다른 하이브리드 시스템에도 적용 가능하다.
• 이 방법은 모멘트 매칭 기반 모델 축소로 확장 가능하며, 유한한 수의 일반화된 마르코프 매개변수의 부분 실현으로써 저차원 LSS를 구성할 수 있다.
• 이 프레임워크는 LSS 공간의 기하학적 및 위상적 분석을 지원하며, 거리 척도 및 매개변수 식별 도구를 가능하게 한다.