선형 시스템 최소 실현: 최단 기저 접근법

초록

이 논문은 제어 가능한 이산시간 선형 시스템 C에 대해, 길이가 가장 짧은 선형 독립 생성기 집합인 “최단 기저”를 정의하고, 이를 통해 최소 상태·전이 공간 차원을 직접 구한다. 최단 기저는 예측 가능한 스팬 특성(예측 지연·차수·비재해성) 혹은 부분시스템 기저 특성을 만족하는 경우와 동치이며, 이를 이용해 제어자 표준형(controller canonical form)과 관측자 표준형(observer canonical form)의 최소 실현을 간단히 구성한다. 전통적인 최소 실현 이론보다 개념적으로 직관적이다.

상세 분석

논문은 먼저 제어 가능한 이산시간 선형 시스템 C를 벡터 공간으로 모델링하고, 그 원소들을 시간에 따라 정의된 유한 길이의 시퀀스로 본다. “최단 기저”는 C의 모든 원소를 선형 결합으로 표현할 수 있는 최소한의 독립 생성기 집합으로, 각 생성기의 지원(support) 길이가 가능한 한 짧다. 저자는 이 최단 기저가 두 가지 동등한 특성을 만족한다는 점을 증명한다. 첫 번째는 예측 가능한 스팬 특성(predictable span property) 으로, 이는 (i) 예측 지연(predictable delay) – 각 생성기의 시작 시점이 명확히 정의되고, (ii) 예측 차수(predictable degree) – 각 생성기의 종료 시점이 명확히 정의되며, (iii) 비재해성(non‑catastrophic) – 무한히 긴 선형 결합이 유한 길이의 결과를 초래하지 않음을 의미한다. 두 번째는 부분시스템 기저 특성(subsystem basis property) 으로, 임의의 시간 구간 J에 대해, 그 구간 안에 완전히 포함되는 생성기들만을 모아도 C의 부분시스템 C_J를 완전히 기술한다는 것이다. 이 두 특성은 서로 동치이며, 최단 기저 존재와 유일성을 보장한다.

다음으로, 최단 기저의 각 시점 t에서 활성(active)인 생성기 수가 바로 최소 상태 공간 차원임을 보인다. 즉, t 시점에 시작했지만 아직 종료되지 않은 생성기의 개수가 그 시점의 최소 상태 차원을 결정한다. 마찬가지로, 심볼(출력) 시점 k에서 활성인 생성기 수가 최소 전이 공간 차원을 제공한다. 따라서 최단 기저만 알면 시스템의 최소 차원을 즉시 읽어낼 수 있다.

제어자 표준형 실현은 각 활성 생성기를 상태 변수로 두고, 입력이 들어오면 해당 상태를 업데이트하며, 출력은 현재 활성 생성기의 마지막 심볼을 결합해 만든다. 이 구조는 바로 “컨트롤러 캐노니컬 폼(controller canonical form)”이라 불리며, 최단 기저가 제공하는 최소 차원을 그대로 구현한다. 반대로, 정규 직교 시스템 C^⊥의 최단 기저를 이용하면 관측자 표준형 실현을 얻을 수 있다. 여기서 C^⊥는 C와 내적이 0이 되는 모든 시퀀스들의 집합이며, 그 최단 기저는 C의 출력 관측 가능성을 최소 차원으로 표현한다.

마지막으로, 저자는 전통적인 최소 실현 이론(예: Kalman‑Bucy, Ho‑Kálmán)과 비교해, 최단 기저 접근법이 복잡한 행렬 연산이나 고차 방정식 풀이 없이도 최소 실현을 직접 구성할 수 있다는 장점을 강조한다. 특히, 시스템이 시간‑가변이거나 비정규 형태일 때도 최단 기저를 구하면 바로 최소 실현을 얻을 수 있어, 설계·분석 단계에서 큰 편의성을 제공한다.