[논문 리뷰] A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems

Sérgio Pequito, Soummya Kar외 1명|arXiv (Cornell University)|2013. 09. 23.

Formal Methods in Verification참고 문헌 18인용 수 2

한 줄 요약

이 논문은 구조 시스템 이론을 활용하여 대규모 선형 시스템에서 희소 입력/출력 및 제어 구성 선택을 다항시간 내에 해결하는 프레임워크를 제시한다. 시스템을 방향성 그래프로 모델링하고 이중 매칭 및 강하게 연결된 성분(SCC) 분석을 활용함으로써, 구조적 제어 가능성/관측 가능성에 필요한 최소 입력/출력 집합을 효율적으로 식별하며, 최적의 피드백 상호연결을 통해 구조적 고정 모드가 존재하지 않도록 보장한다. 이는 O(n³) 복잡도로 전역 최적성을 달성한다.

ABSTRACT

This paper addresses problems on the structural design of control systems taking explicitly into consideration the possible application to large-scale systems. We provide an efficient and unified framework to solve the following major minimization problems: (i) selection of the minimum number of manipulated/measured variables to achieve structural controllability/observability of the system, and (ii) selection of the minimum number of feedback interconnections between measured and manipulated variables such that the closed-loop system has no structurally fixed modes. Contrary to what would be expected, we show that it is possible to obtain a global solution for each of the aforementioned minimization problems using polynomial complexity algorithms in the number of the state variables of the system. In addition, we provide several new graph-theoretic characterizations of structural systems concepts, which, in turn, enable us to characterize all possible solutions to the above problems.

연구 동기 및 목표

• 대규모 시스템에서 입력/출력 및 제어 구성 설계를 위한 확장 가능하고 통합된 프레임워크의 부족을 해결한다.
• 구조적 제어 가능성과 관측 가능성에 대한 최소 입력/출력 선택 문제를 수립하고 해결한다.
• 측정된 변수와 조작 가능한 변수 간의 피드백 상호연결을 최소화하여 구조적 고정 모드가 존재하지 않도록 보장한다.
• 전역 최적성을 보장하는 통합적이고 효율적인 해법을 제공하며, 다항시간 복잡도를 확보한다.
• 시스템의 구조적 패턴에 대한 그래프 이론적 성질을 활용해 모든 가능한 최적 해를 특성화한다.

제안 방법

• 시스템 행렬 A의 희소성 패턴을 나타내는 이진 인접행렬을 사용하여 시스템 동역학을 모델링한다.
• 시스템의 상태 및 입력/출력 노드에서 유도된 가중치가 부여된 이중 그래프 상에서 입력/출력 선택 문제를 이중 매칭 문제로 수립한다.
• 비상위연결 및 비하위연결 강하게 연결된 성분(SCC)을 식별하기 위해 깊이 우선 탐색과 위상 정렬을 사용한다. 이는 최소 입력/출력 구성의 결정에 핵심적이다.
• 최소 가중치 최대 매칭을 계산하기 위해 헝가리안 알고리즘을 적용하여 최소의 전용 입력/출력 구성과 최적의 상위 할당 가능성을 식별한다.
• 폐루프 시스템의 방향성 그래프 상에서 사이클 커버링 방법을 사용하여 피드백 상호연결(K)을 구성함으로써 구조적 고정 모드를 제거한다.
• 구조적 제어 가능성, 관측 가능성 및 고정 모드에 대한 그래프 이론적 특성화를 활용하여 모든 제약 조건을 최소한의 구조적 복잡도로 충족시킨다.

실험 결과

연구 질문

• RQ1 대규모 시스템에서 구조적 제어 가능성과 관측성을 확보하기 위해 필요한 최소 입력 및 출력의 수는 얼마인가?
• RQ2 폐루프 시스템에 구조적 고정 모드가 존재하지 않도록 하기 위해 피드백 상호연결을 어떻게 최소화할 수 있는가?
• RQ3 이러한 문제들에 대해 전역 최적 해를 시스템 크기와 무관하게 다항시간 내에 찾을 수 있는가?
• RQ4 주어진 시스템에 대해 가능한 모든 최적의 입력/출력 및 피드백 구성의 완전한 집합은 무엇인가?
• RQ5 구조적 성질을 유지하면서 전용 입력/출력 구성(일대일 매핑)을 최적으로 선택하는 방법은 무엇인가?

주요 결과

• 논문은 구조적 제어 가능성과 관측 가능성에 대한 최소 입력/출력 선택 문제를 이중 매칭과 그래프 분해를 통해 O(n³) 시간 내에 해결할 수 있음을 입증한다.
• 폐루프 시스템 그래프 상에서 사이클 커버링 방법을 통해 구조적 고정 모드가 존재하지 않도록 하는 최소 피드백 구성이 구축되며, 필요한 피드백 링크 수는 구조적 그래프에서 매칭되지 않은 정점 수로 제한된다.
• 이 프레임워크는 세 가지 문제 모두에 대해 전역 최적성을 보장한다: 최소 입력/출력 선택, 전용 입력/출력 선택, 최소 피드백 상호연결 선택.
• 모든 최적 해는 비상위연결 및 비하위연결 SCC, 보조 이중 그래프에서의 최대 매칭과 같은 그래프 이론적 불변량을 사용하여 완전히 특성화할 수 있다.
• 이 방법은 결과 제어 구성이 동시에 구조적 제어 가능성, 관측 가능성, 고정 모드의 부재를 확보함을 보장한다.
• 전체 프레임워크의 복잡도는 상태 변수의 수에 대해 다항식으로 유지되어 대규모 시스템에 대해 확장 가능하다.