[논문 리뷰] The Meaning of Structure in Interconnected Dynamic Systems

Enoch Yeung, Jorge Gonçalves외 2명|arXiv (Cornell University)|2011. 08. 13.

Fuel Cells and Related Materials참고 문헌 35인용 수 12

한 줄 요약

이 논문은 모순을 통한 방법으로 상호연결된 동적 시스템에서 부분계통 구조의 유일성을 증명하며, 임의의 두 최대 허용 분할이 반드시 동일해야 한다고 보여준다. 주요 기여는 시스템의 강한 부분구조가 유일하게 정의됨을 입증함으로써, 복잡한 시스템이 겹치지 않는 동적 의미를 지닌 부분계통으로 일관되게 분해될 수 있음을 보장하는 데 있다.

ABSTRACT

Interconnected dynamic systems are a pervasive component of our modern infrastructures. The complexity of such systems can be staggering, which motivates simplified representations for their manipulation and analysis. This work introduces the complete computational structure of a system as a common baseline for comparing different simplified representations. Linear systems are then used as a vehicle for comparing and contrasting distinct partial structure representations. Such representations simplify the description of a system's complete computational structure at various levels of fidelity while retaining a full description of the system's input-output dynamic behavior. Relationships between these various partial structure representations are detailed, and the landscape of new realization, minimality, and model reduction problems introduced by these representations is briefly surveyed.

연구 동기 및 목표

• 상호연결된 동적 시스템에서 부분계통 구조의 유일성을 확립하기 위해.
• 최대 허용 분할이 동일함을 증명하여 시스템 분해의 모호성을 제거하기 위해.
• 제어 및 네트워크 기반 시스템에서 일관된 부분계통 식별을 위한 공식적 기초를 제공하기 위해.
• 구조적 분해가 분할 선택에 영향을 받지 않도록 하여 신뢰할 수 있는 시스템 분석을 보장하기 위해.

제안 방법

• 시스템의 구성 요소를 겹치지 않는 동적 의미를 지닌 부분계통으로 나누는 것으로 부분계통 구조 $\mathcal{S}$ 를 정의한다.
• 두 개의 서로 다른 최대 허용 분할 $\mathcal{S}$ 와 $\bar{\mathcal{S}}$ 가 존재한다고 가정하며, 둘 다 기수 $q$ 를 가진다.
• 모든 $S_i \in \mathcal{S}$, $\bar{S}_j \in \bar{\mathcal{S}}$ 에 대해 교차 $R_k = S_i \cap \bar{S}_j$ 를 사용하여 보다 정밀한 분할 $R$ 을 구성한다.
• 입력에서 출력으로의 연결을 나타내는 보조 변수 $w$ 를 통해 $R$ 에서의 간선을 정의한다.
• $\mathcal{S}$ 나 $\bar{\mathcal{S}}$ 를 통해 연결성이 확인됨을 입증함으로써 $R$ 의 각 간선이 메니페스트 변수에 대응됨을 보여준다.
• 원래의 $q$ 개의 집합으로 커버되지 않는 적어도 하나의 비어 있지 않은 교차 $R_{q+1} = \bar{S}_j \cap S_l$ 를 식별함으로써 $|V(R)| > q$ 를 증명하고, 최대성에 위배됨을 보여준다.

실험 결과

연구 질문

• RQ1 상호연결된 동적 시스템의 부분계통 구조는 유일하게 정의되는가?
• RQ2 두 개의 서로 다른 최대 허용 분할이 모순 없이 동시에 존재할 수 있는가?
• RQ3 여러 개의 최대 분할이 존재하면 더 큰 유효한 분할이 존재하게 되어 최대성에 위배되는가?
• RQ4 어떤 조건이 시스템의 부분계통으로의 분해가 분할 선택에 관계없이 불변함을 보장하는가?

주요 결과

• 시스템 $G$ 의 부분계통 구조 $\mathcal{S}$ 는 비유일성의 가정이 모순을 일으키므로 고유하게 결정된다.
• $\mathcal{S}$ 와 $\bar{\mathcal{S}}$ 의 교차를 통해 구성된 보다 정밀한 분할 $R$ 은 $|V(R)| > q$ 를 만족하여 원래의 분할의 최대성에 위배된다.
• $k=1,\dots,q$ 에 대해 어떤 $R_k$ 에도 포함되지 않는 비어 있지 않은 $R_{q+1} = \bar{S}_j \cap S_l$ 의 존재는 $\mathcal{S}$ 와 $\bar{\mathcal{S}}$ 가 동시에 최대일 수 없음을 증명한다.
• $R$ 의 각 간선이 메니페스트 변수에 대응되므로 보다 정밀한 분할은 동적 무결성을 유지한다.
• $\mathcal{S}$ 와 $\bar{\mathcal{S}}$ 가 동시에 최대이고 서로 다를 수 없기 때문에 모순이 발생하며, 이는 유일성을 증명한다.
• 이 증명은 $\mathcal{S} \neq \bar{\mathcal{S}}$ 라는 가정 하에 성립하며, 서로 다른 $\bar{S}_s$ 와 $\bar{S}_l$ 는 $R_i$ 와 $R_j$ 가 서로소임을 의미한다.