선형 시스템 최적 액추에이터·센서 배치: 구조적 접근법

초록

본 논문은 선형 시불변(LTI) 시스템의 구조적 제어 가능성을 확보하기 위해, 각 입력이 하나의 상태 변수만 직접 제어하도록 제한된 전용 입력(dedicated input) 배치를 설계한다. 최소 개수의 전용 입력을 구하고, 그 최소 입력 행렬 B의 모든 가능한 구성을 제시한다. 제시된 알고리즘은 상태 변수 수에 대해 다항 시간 복잡도를 가지며, 대칭적인 논리를 통해 최소 출력 행렬 C의 설계(구조적 관측 가능성)에도 적용할 수 있다.

상세 분석

이 논문은 구조적 제어 이론과 그래프 이론을 결합해 LTI 시스템의 전용 입력 배치 문제를 체계적으로 해결한다. 시스템의 구조는 상태 전이 행렬 A의 영-비영 패턴으로 정의되며, 이를 유향 그래프 𝔾(A)로 변환한다. 각 정점은 상태 변수를, 각 간선은 비영 요소를 나타낸다. 구조적 제어 가능성은 그래프의 강하게 연결된 구성요소(SCC)와 최대 매칭(maximum matching) 특성에 의해 판정된다.

핵심 결과는 최소 전용 입력 수가 두 가지 그래프적 파라미터의 최대값으로 표현된다는 점이다. 첫 번째 파라미터는 최대 매칭에서 매칭되지 않은 정점의 개수 β이며, 이는 ‘불일치 정점(unmatched vertices)’이라 불린다. 두 번째 파라미터는 ‘비상위 연결된 SCC(non‑top linked SCC)’의 개수 m이다. 따라서 최소 전용 입력 수는 𝑘 = max{β, m}이다. 이때 β는 시스템의 자유도와 직접 연관되고, m은 그래프의 위계 구조가 제어 신호를 전달할 수 없는 부분을 나타낸다.

전용 입력 배치를 구성하는 구체적인 절차는 다음과 같다. (1) 𝔾(A)에서 최대 매칭을 찾고, 매칭되지 않은 정점을 식별한다. (2) SCC 분해를 수행해 비상위 SCC들을 찾는다. (3) β와 m 중 큰 값을 기준으로 전용 입력을 할당한다. 만약 β ≥ m이면, 매칭되지 않은 정점마다 하나씩 입력을 연결하고, 남은 입력은 비상위 SCC에 추가한다. 반대로 m > β이면, 각 비상위 SCC에 최소 하나씩 입력을 배치하고, 부족한 경우 매칭되지 않은 정점에 추가한다.

알고리즘의 복잡도는 최대 매칭을 찾는 데 O(n³) (헝가리안 알고리즘) 정도가 소요되며, SCC 분해는 O(n + e)로 선형 시간에 수행된다. 따라서 전체 절차는 다항 시간 내에 해결 가능하다.

또한, 구조적 관측 가능성 문제는 제어 가능성과 대칭적인 관계에 있다. 전치 행렬 Aᵀ에 동일한 절차를 적용하면 최소 전용 출력 행렬 C를 설계할 수 있다. 즉, 최소 출력 수 역시 max{βᵗ, mᵗ} 로 결정되며, 여기서 βᵗ와 mᵗ는 전치 그래프에서의 대응 파라미터이다.

논문은 실제 예시를 통해 제시된 방법이 기존 휴리스틱이나 완전 탐색에 비해 계산량이 크게 감소하면서도 최적성을 보장함을 입증한다. 특히 대규모 네트워크(수천 개 노드)에서도 실시간 수준의 설계가 가능함을 시뮬레이션 결과로 제시한다. 이러한 결과는 전력망, 교통 시스템, 생물학적 네트워크 등 복잡계에서 센서·액추에이터 배치를 최적화하려는 실무자에게 직접적인 활용 가치를 제공한다.