[논문 리뷰] Minimum Cost Input/Output Design for Large Scale Linear Structural Systems

Sérgio Pequito, Soummya Kar외 1명|arXiv (Cornell University)|2014. 07. 12.

Advanced Control Systems Optimization참고 문헌 24인용 수 1

한 줄 요약

이 논문은 비용을 최소화하면서도 구조적 제어 가능성 또는 관측 가능성을 보장하는 대규모 선형 구조 시스템에서 최적의 입력/출력 장치 배치를 위한 다항식 시간 알고리즘을 제시한다. 비용 인식형 슬랙 변수를 갖는 이중 그래프에서 최소 무게 최대 매칭 문제로 문제를 모델링함으로써, 임의의 비균일 비용 조건 하에서도 최소 비용의 액추에이터/센서 배치를 효율적으로 결정할 수 있으며, 최적성과 계산 효율성이 입증되어 있다.

ABSTRACT

In this paper, we provide optimal solutions to two different (but related) input/output design problems involving large-scale linear dynamical systems, where the cost associated to each directly actuated/measured state variable can take different values, but is independent of the labeled input/output variable. Under these conditions, we first aim to determine and characterize the input/output placement that incurs in the minimum cost while ensuring that the resulting placement achieves structural controllability/observability. Further, we address a constrained variant of the above problem, in which we seek to determine the minimum cost placement configuration, among all possible input/output placement configurations that ensures structural controllability/observability, with the lowest number of directly actuated/measured state variables. We show that both problems can be solved efficiently, i.e., using algorithms with polynomial time complexity in the number of the state variables. Finally, we illustrate the obtained results with an example.

연구 동기 및 목표

• 임의의 비균일 비용 조건 하에서도 대규모 선형 동적 시스템의 액추에이터 및 센서 위치를 효율적이고 최적의 방법으로 선택하는 해법을 개발하기.
• 각 상태 변수의 비용이 다를 경우에도 총 설치 비용을 최소화하면서 구조적 제어 가능성 또는 관측 가능성을 보장하기.
• 두 가지 변형을 다루기: 하나는 최소 수의 구동 변수를 갖는 경우이고, 다른 하나는 순수 비용 최소화를 목표로 하는 경우.
• 전력망 및 산업 공장과 같이 이질적인 구성 요소를 갖는 실세계 시스템에 적용 가능한 계산 효율적인 프레임워크를 제공하기.
• 쌍대성에 기반해 결과를 구조적 관측 가능성으로 확장하여, 비용 제약 조건 하에서 출력 설계를 가능하게 하기.

제안 방법

• 시스템의 상태 전이 구조에서 유도된 이중 그래프 상에서 최소비용 최대 매칭 문제로 입력/출력 설계 문제를 수식화하기.
• 상태 변수 비용과 비상접속 강한 연결 성분(SCC)의 최소 비용을 조합한 간선 가중치를 갖는 슬랙 변수 도입하기.
• 비용 인식형 할당을 모델링하기 위해 수정된 이중 그래프 (B(Ā, S); w′)를 사용하며, 간선 가중치는 관련된 액추에이션 비용과 SCC의 최소 비용의 합을 반영한다.
• 최대 매칭 알고리즘을 적용하여 오른쪽에 매칭되지 않은 정점들을 식별하며, 이는 전용 입력이 필요한 상태 변수에 해당한다.
• 오른쪽에 매칭되지 않은 정점들에 전용 입력을 할당하여 최소 비용으로 구조적 제어 가능성을 확보하는 최적의 입력 행렬을 구성하기.
• 최소비용 및 최소액추에이터 변형 모두가 그래프 이론적 기법을 사용하여 다항식 시간 내에 해결 가능하다는 것을 증명하기.

실험 결과

연구 질문

• RQ1 비균일한 액추에이션 비용을 갖는 대규모 선형 시스템에서 구조적 제어 가능성을 보장하는 최소 비용 입력 구성은 찾을 수 있는가?
• RQ2 구조적 제어 가능성과 비용 최소화를 유지하면서 직접적으로 제어되는 변수 수를 최소화하는 방법은 무엇인가?
• RQ3 임의의 비균일 비용 할당 조건 하에서 최적의 입력/출력 장치 배치 문제를 해결할 수 있는 다항식 시간 알고리즘이 존재하는가?
• RQ4 제안된 프레임워크는 쌍대성에 의해 구조적 관측 가능성으로 확장될 수 있는가?
• RQ5 실제 비용 제약 조건 하에서 이러한 입력/출력 설계 문제를 해결하는 데 필요한 계산 복잡도는 얼마인가?

주요 결과

• 제안된 알고리즘은 상태 변수 수 n에 대해 O(n^3)의 시간 복잡도를 갖는다. 이는 대규모 시스템에 대해 확장 가능함을 의미한다.
• 임의의 비균일 비용 조건 하에서도 최소비용 및 최소액추에이터 변형에 대해 최적성을 보장한다.
• 예시 분석에서 최소 액추에이터 수 조건에서의 비용 60을 30으로 줄여 더 많은 구동 변수를 허용함으로써 비용 인식 설계의 효과를 입증하였다.
• 비용 인식형 슬랙 변수와 간선 가중치의 사용은 액추에이터 수와 총 비용 간의 트레이드오프를 포괄하는 수식의 구성에 기여한다.
• 쌍대성에 기반해 구조적 관측 가능성으로의 확장이 가능하여, 비용 제약 조건 하에서 센서 배치에 대해 유사한 최적화를 수행할 수 있다.
• 최소액추에이터 제약 조건을 완화하면 총 비용이 크게 감소할 수 있음을 시사하며, 순수 최소 액추에이터 접근보다는 비용 인식 설계의 중요성을 강조한다.