[논문 리뷰] Performance Evaluation of Switched Discrete Event Systems

Long Wang|ArXiv.org|2002. 02. 17.

Petri Nets in System Modeling참고 문헌 4인용 수 4

한 줄 요약

이 논문은 최대-더하기 대수를 사용하여 스위치 방식의 이산 사건 시스템의 성능 평가 프레임워크를 제안하며, 비가역성 및 양의 대각선 조건 하에서 이러한 시스템이 점점이 주기적인 행동을 보임을 보여준다. 핵심 결과는 최대-더하기 대수에서 행렬의 곱의 고유값이 시스템의 장기적 성능을 결정하며, 고유값 계산을 통해 성능 평가가 가능하다는 것이다.

ABSTRACT

This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.

연구 동기 및 목표

• 스위칭 법칙에 의해 지배되는 스위치 방식의 이산 사건 시스템의 점점이 주기적 행동을 분석하기 위해.
• 최대-더하기 대수를 사용하여 이러한 시스템의 성능 평가 방법을 개발하기 위해.
• 스위치 시스템의 행동이 주기적이고 예측 가능해지는 조건을 설정하기 위해.
• 간단한 두 개의 하위시스템 간의 번갈아 가는 것 이상의 일반적인 스위칭 법칙으로 분석을 확장하기 위해.

제안 방법

• 최대-더하기 대수에서 행렬 곱의 순서로 스위치 시스템을 모델링하기 위해.
• 주기적인 상태 샘플링(예: 매 두 단계마다)을 통해 스위치 시스템을 비스위치 시스템으로 변환하기 위해.
• 비가역 행렬에 대한 최대-더하기 대수의 보조정리들을 적용하여 점점이 주기적 행동를 유도하기 위해.
• 성능 지표로 행렬 곱의 고유값(예: $ A_2A_1 $)을 사용하기 위해.
• 개별 행렬이 비영 대각선 요소를 가질 경우, 행렬 곱의 비가역성을 증명하기 위해.
• 두 개 이상의 하위시스템을 포함하는 다중 하위시스템 스위칭 및 임의의 주기적 스위칭 법칙으로 프레임워크를 확장하기 위해.

실험 결과

연구 질문

• RQ1 스위치 방식의 이산 사건 시스템이 최대-더하기 대수에서 어떤 조건 하에 점점이 주기적 행동을 보일 수 있는가?
• RQ2 최대-더하기 대수에서 고유값을 사용하여 이러한 시스템의 성능을 어떻게 평가할 수 있는가?
• RQ3 스위칭에 의해 형성된 행렬 곱의 비가역성을 보장하는 조건은 무엇인가?
• RQ4 행렬 곱의 고유값은 개별 하위시스템 행렬의 고유값과 어떻게 관련이 있는가?
• RQ5 이 프레임워크는 두 개 이상의 하위시스템을 포함하는 임의의 주기적 스위칭 법칙으로 일반화될 수 있는가?

주요 결과

• 행렬 곱 $ A_2A_1 $가 비가역일 경우, 스위치 시스템은 $ X(k+d) = \lambda^d X(k) $ (단, $ k \geq k_0 $) 를 만족하며 점점이 주기적 행동을 보인다.
• 행렬 곱 $ A_2A_1 $의 고유값 $ \lambda $는 그의 임계 회로의 평균 가중치와 같으며, 이는 점점이 성능 주기와 일치한다.
• 만약 $ A_1 $ 또는 $ A_2 $의 모든 대각선 요소가 비-$ \epsilon $이면, $ A_2A_1 $는 여전히 비가역적이며, 이는 유일한 고유값이 존재함을 보장한다.
• 행렬 곱 $ AB $의 고유값은 개별 고유값의 합을 초과할 수 있으며, 예를 들어 $ \lambda(AB) = 9 > \lambda(A) + \lambda(B) = 13/3 + 3 $ 이다. 이는 비가환성을 보여준다.
• 일반적인 주기적 스위칭 법칙을 가진 $ m $개의 하위시스템에 대해, 변환된 시스템 $ Y(k+1) = A_m^{l_m} \cdots A_1^{l_1} Y(k) $ 는 비가역적이며 주기적 행동을 보인다.
• 개별 행렬이 비가역일지라도, 그 거듭제곱은 비가역이 될 수 있다(예: $ A^3 $ 는 비가역적이다). 이는 분석에서 대각선 요소가 비영임을 요구하는 이유를 설명한다.