[논문 리뷰] Minimum Sensor Placement for Robust Observability of Structured Complex Networks

Xiaofei Liu, Sérgio Pequito외 3명|arXiv (Cornell University)|2015. 07. 26.

Gene Regulatory Network Analysis참고 문헌 25인용 수 5

한 줄 요약

이 논문은 단일 센서 또는 링크 장애 상황에서도 복잡한 네트워크에서 구조적 관측 가능성을 보장하기 위해 최소 센서 배치를 위한 이단계 방법을 제안한다. 이는 강건한 관측 가능성을 가중치가 부여된 집합 커버링 문제로 환원하여 다항식 시간 내에 성능 보장을 갖는 근사치를 제공하며, 핵심 문제들이 NP-난이도임을 증명하면서 다중 장애 상황으로의 확장을 다룬다.

ABSTRACT

This paper addresses problems on the robust structural design of complex networks. More precisely, we address the problem of deploying the minimum number of dedicated sensors, i.e., those measuring a single state variable, that ensure the network to be structurally observable under disruptive scenarios. The disruptive scenarios considered are as follows: (i) the malfunction/loss of one arbitrary sensor, and (ii) the failure of connection (either unidirectional or bidirectional communication) between a pair of agents. First, we show these problems to be NP-hard, which implies that efficient algorithms to determine a solution are unlikely to exist. Secondly, we propose an intuitive two step approach: (1) we achieve an arbitrary minimum sensor placement ensuring structural observability; (2) we develop a sequential process to find minimum number of additional sensors required for robust observability. This step can be solved by recasting it as a weighted set covering problem. Although this is known to be an NP-hard problem, feasible approximations can be determined in polynomial-time that can be used to obtain feasible approximations to the robust structural design problems with optimality guarantees.

연구 동기 및 목표

• 단일 센서 또는 링크 고장 상황에서도 구조적 관측 가능성을 보장하는 최소 수의 전용 센서를 결정하는 것.
• 이러한 파괴적 상황에서 최소 센서 배치 문제의 NP-난이도를 증명하는 것.
• 가중치가 부여된 집합 커버링 공식화를 사용하여 강건한 관측 가능성을 위한 다항식 시간 근사 방법을 개발하는 것.
• 다중 센서 또는 링크 고장을 다룰 수 있도록 프레임워크를 확장하는 것.
• 제안된 근사 알고리즘의 최적성 보장을 제공하는 것.

제안 방법

• 강건한 관측 가능성 문제를 두 단계 과정으로 재구성한다: 먼저 기본적인 구조적 관측 가능성을 확보한 후, 백업 센서를 추가한다.
• 백업 센서 선택 문제를 단일 고장에 대한 내성 보장을 위해 가중치가 부여된 집합 커버링 문제로 재정의한다.
• 가중치가 부여된 집합 커버링 문제에 대해 그린리 히우리스틱을 사용하여 성능 비율 H(p)를 확보한다. 여기서 p는 전체 집합의 크기이다.
• 구조적 시스템 이론을 활용하여 상태 디그래프와 최소 P&C 분해를 통해 관측 가능성을 분석한다.
• 강건성 확보를 위해 모니터링이 반드시 필요로 하는 민감한 링크와 핵심 상태 변수(예: 싱크-SCC 내 경로의 끝점)를 식별한다.
• 고장 모델과 집합 커버링 제약 조건을 일반화하여 다중 고장을 다룰 수 있도록 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 단일 센서 또는 링크 고장 상황에서 강건한 구조적 관측 가능성을 위한 최소 센서 배치 문제는 NP-난이도인가?
• RQ2 성능 보장을 갖는 다항식 시간 근사 알고리즘을 강건한 센서 배치에 대해 설계할 수 있는가?
• RQ3 최소한의 추가 센서를 사용하여 임의의 단일 센서 또는 링크 고장 상황에서도 구조적 관측 가능성을 유지할 수 있는가?
• RQ4 상태 디그래프의 구조와 최소 백업 센서 집합 사이의 관계는 무엇인가?
• RQ5 이 프레임워크는 다중 동시 고장을 다룰 수 있도록 어떻게 확장할 수 있는가?

주요 결과

• 단일 센서 또는 링크 고장 상황에서 최소 센서 배치 문제의 NP-난이도가 증명되었다.
• 제안된 이단계 방법은 강건한 관측 가능성을 가중치가 부여된 집합 커버링 문제로 환원하여 다항식 시간 내에 해결 가능하며, 성능 비율 H(p)를 확보한다.
• 집합 커버링을 위한 그린리 히우리스틱을 통해 타당성 보장과 최적성 경계를 제공한다.
• 최소 백업 센서 집합은 상태 디그래프의 싱크-SCC 내 경로의 끝점에 해당하며, 최소 P&C 분해를 통해 식별된다.
• 고장 모델과 제약 조건을 일반화함으로써 다중 센서 또는 링크 고장을 다룰 수 있도록 프레임워크를 확장할 수 있다.
• 집합 커버링 문제로부터의 이론적 감소를 통해 강건한 관측 가능성 문제의 NP-난이도를 확인한다.