[논문 리뷰] Meanings and Applications of Structure in Networks of Dynamic Systems

Vasu Chetty, Sean Warnick|arXiv (Cornell University)|2014. 06. 07.

Gene Regulatory Network Analysis인용 수 5

한 줄 요약

이 논문은 선형 시간 불변(LTI) 동적 시스템 네트워크 분석 및 설계를 위한 새로운 프레임워크로, 시스템의 동적 구조 함수의 신호 구조를 제안한다. 이 구조가 네트워크 재구성, 취약성 분석 및 구조적 제어기 설계를 가능하게 하며, 특정 구조를 가진 안정화 제어기가 존재하는지 체계적으로 판단할 수 있는 방법을 제공한다. 주요 결과로는 순환 제어기가 어떤 감지 가능하고 안정화 가능한 시스템이라도 안정화할 수 있으며, 대각선 제어기는 관측 가능성과 구동 가능성 간의 불일치가 발생할 경우 실패한다는 점을 보여준다.

ABSTRACT

This chapter reviews four notions of system structure, three of which are contextual and classic (i.e. the complete computational structure linked to a state space model, the sparsity pattern of a transfer function, and the interconnection of subsystems) and one which is relatively new (i.e. the signal structure of a system's dynamical structure function). Although each of these structural concepts apply to the nonlinear and stochastic setting, this work will focus on linear time invariant systems to distill the key concepts and make their relationships clear. We then discusses three applications of the newest structural form (the signal structure of a system's dynamical structure function): network reconstruction, vulnerability analysis, and a recent result in distributed control that guarantees the synthesis of a stabilizing controller with a specified structure or proves that no such controller exists.

연구 동기 및 목표

• 기존의 표현 방식을 초월하여 동적 시스템 네트워크의 시스템 구조를 이해하는 통합 프레임워크를 개발하기.
• 특히 분산 및 보안성이 요구되는 사이버-물리 시스템에서 통신 또는 제어 구조에 제약이 있는 안정화 제어기 설계 과제를 해결하기.
• 주어진 구조를 가진 안정화 제어기가 존재하는지 체계적으로 판단할 수 있는 방법을 제공하여 시행착오 접근을 피하기.
• 신호 구조가 네트워크 재구성 및 동적 시스템의 취약성 분석에 실용적으로 어떻게 응용될 수 있는지 보여주기.

제안 방법

• 논문은 LTI 시스템의 새로운 표현으로 동적 구조 함수를 도입하여, 신호 수준의 상호작용을 구조적 행렬 형태로 기록한다.
• 신호 구조는 동적 구조 함수의 희박성 패턴으로 정의되며, 외부로 나타나는 신호가 직접적으로 어떻게 영향을 주는지를 드러낸다.
• 이중 구조 제약 조건을 기반으로 반복적으로 제어기 링크를 추가하는 절차를 제안하며, 각 단계에서 극점-영점 상쇄가 발생하지 않도록 하며 안정성 여부를 검증한다.
• 구조적 제약 조건 하에서 불안정 모드의 구동 가능성과 관측 가능성을 평가하기 위해 Popov-Belevitch-Hautus(PBH) 테스트를 사용한다.
• 주어진 제어기 구조(예: 대각선 또는 순환)가 시스템을 안정화할 수 있는지 여부를 판단하기 위해 구조적 구동 가능성과 관측 가능성을 적용한다.
• 해당 절차가 실패할 경우, 주어진 구조를 가진 안정화 제어기가 존재하지 않는다는 것을 증명하는 접근 방식이다.

실험 결과

연구 질문

• RQ1 시스템의 동적 구조 함수의 신호 구조를 이용하여 입력-출력 데이터로부터 기반 네트워크 구조를 재구성할 수 있는가?
• RQ2 불안정한 LTI 시스템에 대해 안정화 제어기가 보장되도록 보장되는 제어기의 구조적 제약 조건은 무엇인가?
• RQ3 신호 구조와 시스템 동역학 간의 상호작용이 사이버-물리 시스템에서 공격이나 장애에 대한 취약성에 어떻게 영향을 미치는가?
• RQ4 왜 일부 제어기 구조(예: 대각선)는 시스템이 안정화 가능하더라도 실패할 수 있으며, 어떤 구조적 성질이 순환 제어기와 같은 다른 제어기에서 성공을 가능하게 하는가?

주요 결과

• 주어진 구조를 가진 안정화 제어기가 존재하는 것은 유일하게, 구조적 제약 조건과 극점-영점 상쇄가 발생하지 않는 반복적 설계 절차가 성공할 경우에 한해 성립한다.
• 대각선 제어기는 각 불안정 모드가 해당 입력으로부터 구동 가능하고 해당 출력으로부터 관측 가능할 경우에만 안정화할 수 있으며, 그렇지 않으면 그러한 제어기는 존재하지 않는다.
• 순환 제어기의 경우, 모든 모드에 대해 전체 관측 가능성과 구동 가능성을 보장할 수 있기 때문에, 안정화 가능하고 감지 가능한 어떤 시스템이라도 안정화할 수 있다.
• 동적 구조 함수의 신호 구조는 특히 명확한 하위시스템 분해가 없는 시스템에서 시스템 상호작용에 대해 고유하고 유의미한 시각을 제공한다.
• 네트워크 재구성과 취약성 분석은 신호 구조 덕분에 전통적 모델에서 드러나지 않는 명시적 변수 간의 의존성을 드러내며 가능해진다.
• 논문은 만약 구조적 제어기 설계 절차가 실패한다면, 주어진 구조를 가진 안정화 제어기가 존재하지 않는다는 것을 증명하며, 완전한 결정 기준을 제공한다.