[논문 리뷰] Herdability of Linear Systems Based on Sign Patterns and Graph Structures

Sebastian F. Ruf, Magnus Egerstedt외 1명|arXiv (Cornell University)|2019. 04. 17.

Stability and Control of Uncertain Systems참고 문헌 45인용 수 4

한 줄 요약

이 논문은 연속시간 선형 시간 불변(LTI) 시스템에 대해 상태 성분들이 비음수 임계값 이상으로 이동할 수 있는지 여부를 판단하는 집합 기반 도달 가능성 조건인 허드어빌리티(herdability)를 제안한다. 그래프 구조와 제어 가능 행렬의 부호 패턴을 이용해 정확한 간선 가중치에 의존하지 않는 구조적 분석이 가능한, 부호 기반 충분조건을 수립한다.

ABSTRACT

We consider the notion of herdability, a set-based reachability condition, which asks whether the state of a system can be controlled to be element-wise larger than a non-negative threshold. First a number of foundational results on herdability of a continuous time, linear time invariant system are presented. These show that the herdability of a linear system can be determined based on certain matrices, such as the controllability matrix, which arise in the study of controllability of linear systems. Second, the relationship between the sign pattern of the underlying graph structure of a system and the herdability properties of the system is investigated. In doing so the notion of sign herdability is introduced which captures classes of systems whose sign pattern determines their herdability. We identify a set of conditions, first on the sign pattern of the controllability matrix and then on the underlying graph structure, that ensure that the system is sign herdable.

연구 동기 및 목표

• 모든 상태 성분이 비음수 임계값을 초과해야 하는 집합 기반 도달 가능성 조건으로 허드어빌리티를 공식화하는 것, 즉 전체 제어 가능성의 개념이 아닌 것.
• 시스템 행렬 A와 B의 부호 패턴 및 기저 그래프 구조가 정확한 간선 가중치에 영향을 받지 않고 허드어빌리티를 결정하는 방식을 탐구하는 것.
• 제어 가능 행렬의 부호 구조와 그래프 기반 도달 경로를 바탕으로 완전한 허드어빌리티를 위한 충분조건을 개발하는 것.
• 방향 그래프 내의 양음 경로 기여도를 분석하여 구조적 제어 가능성 개념을 허드어빌리티로 확장하는 것.
• 네트워크 구조에서의 구조적 균형과 경로 부호 일관성에 기반해 부호 기반 허드어빌리티를 보장하는 시스템의 유형을 식별하는 것.

제안 방법

• 제어 입력을 사용하여 모든 상태 성분을 임계값 d ≥ 0 이상으로 이동시킬 수 있는 능력으로 허드어빌리티를 정의하며, 전체 제어 가능성과는 독립적이다.
• 제어 가능 행렬 C와 그 부호 패턴을 이용해 허드어빌리티를 위한 충분조건를 유도하며, 입력에서 상태로의 모든 도달 경로에서의 열 부호에 중점을 둔다.
• 입력 u_j에서 상태 x_i로 길이 d의 모든 도달 경로의 네트워크 부호 합계에 따라 노드를 분류하기 위해 집합 𝒩_d^j 및 𝒫_d^j 를 도입한다.
• 입력에서 상태로의 모든 도달 경로의 부호가 일관될 경우, 이를 부호 엄격 허드어빌리티(sign-strict herdability)로 정의하여 영향력의 단조성 보장.
• 부호 엄격 허드어빌리티 노드에 의해 상충 경로가 균형을 이루는 노드에 대해 부호 균형(sign-balance)을 도입하여 더 넓은 범위의 허드어빌리티 분석이 가능하도록 한다.
• 그래프 순회를 통해 𝒩_d^j 및 𝒫_d^j 를 계산하는 알고리즘을 제시하며, DAG에서는 선형 시간 복잡도를, 그렇지 않은 경우는 지수 시간 복잡도를 가진다.

실험 결과

연구 질문

• RQ1 선형 시스템이 완전히 허드어블리블리 가능한데 있어 제어 가능 행렬의 부호 패턴이 어떤 조건을 가져야 하는가?
• RQ2 시스템의 기저 그래프 구조가 간선 가중치의 크기와는 무관하게 허드어빌리티에 어떤 영향을 미치는가?
• RQ3 시스템 행렬 A와 B의 부호 구조만으로도 허드어빌리티를 판단할 수 있는가? 만약 가능하다면 어떤 구조적 가정이 필요한가?
• RQ4 그래프의 구조적 균형이 부호 허드어빌리티를 결정하는 데 어떤 역할을 하는가? 그리고 분석을 어떻게 단순화하는가?
• RQ5 부호가 부여된 경로의 그래프 순회 기반으로 허드어빌리티를 검증하는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 선형 시스템의 허드어빌리티는 제어 가능 행렬 C의 부호 패턴을 분석함으로써 결정될 수 있으며, 일관된 열 부호는 잠재적 허드어빌리티를 나타낸다.
• 모든 상태 노드가 부호 엄격 허드어빌리티(모든 경로의 부호가 일관됨) 또는 부호 균형(상충 경로가 부호 엄격 허드어빌리티 노드에 의해 지배됨)일 경우, 시스템은 완전히 부호 기반 허드어빌리블리하다.
• 정리 9는 완전한 부호 기반 허드어빌리티를 위한 충분조건를 제공한다: 각 상태 노드에 대해, 해당 노드가 오직 양수 또는 오직 음수 경로로만 도달 가능한 입력과 거리 d가 존재해야 한다.
• 정리 10은 이를 부호 균형 노드로 확장하여, 모든 노드가 부호 엄격 허드어빌리티 노드에 의해 균형을 이루면 시스템은 완전히 부호 기반 허드어빌리블리하다는 것을 보여준다.
• 방향 비순환 그래프(DAG)의 경우, 집합 𝒩_d^j 및 𝒫_d^j 는 선형 시간 내에 계산 가능하여 효율적인 허드어빌리티 검증이 가능하다.
• 비-DAG의 경우, 모든 도달 경로를 나열해야 하므로 계산에 지수 시간 복잡도가 소요되며, 이는 희박하거나 비순환적인 구조로의 실용적 확장성을 제한한다.