이산시간 선형 스위치 시스템 실현 이론

초록

본 논문은 이산시간 선형 스위치 시스템(Discrete‑time Linear Switched Systems, DT‑LSS)의 입력‑출력 맵이 상태공간 실현을 가질 수 있는 필요·충분 조건을 제시한다. 조건은 비가환 변수에 대한 일반화된 Hankel 행렬의 유한 계수(rank) 조건으로 표현된다. 또한 시스템의 최소성은 도달 가능성(reachability)과 관측 가능성(observability)으로 완전히 특징지어지며, 최소 실현은 동형(isomorphism) 관계를 제외하고는 유일함을 증명한다. 논문은 기존의 비가환 유리 형식 전력급수(rational formal power series) 이론을 활용해 알고리즘적 절차를 제시하고, 입력‑출력 데이터로부터 최소 차원의 상태공간 모델을 구성하는 방법을 제시한다.

상세 분석

이 논문은 하이브리드 시스템 중에서도 각 이산 모드에 대응하는 연속 부분시스템이 선형인 이산시간 선형 스위치 시스템(DT‑LSS)을 대상으로 실현 이론을 체계화한다. 핵심 아이디어는 시스템의 입력‑출력 관계를 비가환 변수(모드 전환을 나타내는 알파벳) 위에 정의된 유리 형식 전력급수(rational formal power series, FPS)로 모델링하는 것이다. 이러한 FPS는 기존에 bilinear 및 state‑affine 시스템에 적용된 바 있으며, 여기서는 스위치 시스템의 특수한 구조에 맞게 확장된다.

먼저 저자들은 입력‑출력 맵 𝑓: Σ* → ℝ^p (여기서 Σ는 스위치 모드 집합) 를 정의하고, 이를 무한 차원의 Hankel 행렬 H_f 로 표현한다. H_f의 (u, v) 원소는 입력 문자열 u와 v에 대한 출력값의 교차 상관을 나타내며, 비가환 특성 때문에 일반적인 선형 시스템의 Hankel 행렬과는 달리 블록 구조를 가진다. 논문은 실현 가능성의 필요·충분 조건을 “H_f의 순위(rank)가 유한하고, 그 순위가 시스템 차원과 일치한다”는 형태로 제시한다. 즉, H_f가 유한 차원의 행·열 공간에 의해 완전히 설명될 때, 해당 입력‑출력 맵은 DT‑LSS 형태의 상태공간 모델로 구현될 수 있다.

다음으로 최소성에 대한 논의가 전개된다. 저자들은 도달 가능성 행렬 R와 관측 가능성 행렬 O를 각각 모드 전환에 따른 상태 전이와 출력 매핑을 비가환 변수 형태로 정의한다. R와 O의 순위가 각각 시스템 차원과 일치하면 모델은 완전 도달 가능하고 완전 관측 가능하다고 말한다. 이러한 두 조건이 동시에 만족될 때 모델은 최소이며, 최소 모델은 동형(isomorphism) 관계를 제외하고는 유일함을 증명한다. 이는 전통적인 선형 시스템 이론에서의 최소성 정리와 구조적으로 동일하지만, 비가환 변수와 스위치 모드의 조합 때문에 복잡한 대수적 도구가 필요하다.

알고리즘적 측면에서는, 주어진 입력‑출력 데이터(예: 유한 길이의 문자열과 대응 출력)로부터 H_f를 추정하고, 그 유한 차원 근사(Hankel‑rank‑reduction)를 수행하는 절차를 제시한다. 구체적으로, SVD(특이값 분해)를 이용해 H_f의 주요 특이값을 선택하고, 이를 기반으로 R와 O를 구성한 뒤, 상태 전이 행렬 A_q (각 모드 q∈Σ)와 출력 행렬 C, 입력 행렬 B_q를 계산한다. 이 과정은 기존의 Ho‑Kalman 알고리즘을 비가환 환경에 일반화한 형태이며, 최소 차원의 모델을 자동으로 얻을 수 있다. 또한, 이미 존재하는 비최소 모델을 최소 모델로 변환하는 “모드별 차원 축소” 절차도 상세히 설명한다.

마지막으로, 논문은 비가환 유리 FPS 이론이 제공하는 대수적 구조(예: 자유 대수, 비가환 포멀 파워 시리즈)와 시스템 이론 사이의 깊은 연결을 강조한다. 이를 통해 스위치 시스템뿐 아니라, 더 일반적인 하이브리드·멀티모달 시스템에 대한 실현 이론을 확장할 수 있는 기반을 마련한다. 전체적으로, 이 연구는 이산시간 선형 스위치 시스템의 실현 가능성, 최소성, 그리고 모델 추정에 대한 완전한 이론적 프레임워크를 제공함으로써, 제어·시스템 설계 분야에서 실용적인 도구와 새로운 연구 방향을 제시한다.