[논문 리뷰] Verifying Resiliency in Closed-Loop Structured Systems

Shana Moothedath, RaviTeja Gundeti외 1명|arXiv (Cornell University)|2017. 12. 22.

Radiation Effects in Electronics참고 문헌 22인용 수 2

한 줄 요약

이 논문은 기하급수적으로 증가하는 브루트포스 방법보다 더 효율적인 다항시간 알고리즘을 제안하여, 기저가 없는 닫힌 루프 구조 시스템에서 최대 두 개의 피드백 링크 장애에 대한 피드백 내성 여부를 검증하는 알고리즘을 소개한다. 일반적인 피드백 내성 문제의 계산 복잡도는 NP-완전임을 증명하지만, k=1 및 k=2의 경우에 대해 효율적인 검증 방법을 제공한다.

ABSTRACT

This paper deals with the analysis of robustness of closed-loop structured system. Specifically, given a structured system and a structured feedback matrix, our aim is to verify whether the closed-loop system is robust to failure of any k feedback links, where k is an integer. We refer to this problem as the feedback resilience problem. Firstly, we show that the feedback resilience problem is NP-complete using a reduction from a known NP-complete problem, the blocker problem. This result also shows that even when the state digraph of the structured system is irreducible, the feedback resilience problem is NP-complete, since the structured system constructed in the reduction is irreducible. Subsequently, we propose an algorithm to verify the robustness of the feedback matrix of an irreducible system for two possible cases: (a) when the number of feedback link failure is one, and (b) when the number of feedback link failures are two. We also prove that the proposed algorithms verify the robustness of the feedback matrix accurately in polynomial time, and is more efficient than brute force validation.

연구 동기 및 목표

• 피드백 링크 고장 상황에서 닫힌 루프 구조 시스템의 내성 특성을 분석하기 위해.
• k개의 피드백 링크 고장에 대한 내성 검증의 계산 복잡도를 규명하기 위해.
• 기저가 없는 시스템에서 k=1 및 k=2일 경우 피드백 행렬의 내성 특성을 검증하기 위한 효율적인 알고리즘을 개발하기 위해.
• 제안된 알고리즘이 브루트포스 검증 방법보다 더 효율적임을 입증하기 위해.

제안 방법

• 피드백 내성 문제의 NP-완전성을 증명하기 위해 차단자 문제(blocker problem)로의 환원을 수행하였다.
• 한 개의 피드백 링크 고장 발생 시 내성 여부를 검증하기 위한 다항시간 알고리즘을 설계하였다 (k=1).
• 두 개의 피드백 링크 고장 발생 시 내성 여부를 검증하기 위한 다항시간 알고리즘을 설계하였다 (k=2).
• 상태 디그래프의 기저가 없음을 활용하여 분석 과정에서 구조적 특성이 유지되도록 보장하였다.
• 그래프 이론적 기법을 사용하여 피드백 링크 고장과 구조 시스템의 접근 가능성 모델링을 수행하였다.
• 이론적 분석을 통해 알고리즘의 정확성과 효율성을 공식적으로 검증하였다.

실험 결과

연구 질문

• RQ1 구조 시스템의 피드백 내성 문제는 계산적으로 다룰 수 있는 문제인지, 아니면 NP-완전한 문제인가?
• RQ2 기저가 없는 시스템에서 한 개 또는 두 개의 피드백 링크 고장에 대한 내성 여부를 검증할 수 있는 효율적인 알고리즘을 구축할 수 있는가?
• RQ3 상태 디그래프의 기저가 없음 여부가 피드백 내성 문제의 복잡도에 영향을 미치는가?
• RQ4 제안된 알고리즘은 브루트포스 검증 방법에 비해 얼마나 더 효율적인가?

주요 결과

• 피드백 내성 문제의 NP-완전성이 증명되었으며, 이는 상태 디그래프가 기저가 없는 경우에도 동일하게 성립한다.
• 제안된 알고리즘은 k=1일 경우 다항시간 내에 피드백 내성 여부를 검증할 수 있다.
• 제안된 알고리즘은 k=2일 경우 다항시간 내에 피드백 내성 여부를 검증할 수 있다.
• 제안된 알고리즘은 브루트포스 검증 방법보다 더 효율적이다.
• 결과는 기저가 없는 구조 시스템에 대해 특별히 성립하며, 고장 분석 시 구조적 정합성이 유지된다.