[논문 리뷰] Stability Analysis and Design of a Network of Event-based Systems

Chithrupa Ramesh, Henrik Sandberg외 1명|arXiv (Cornell University)|2014. 01. 20.

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

한 줄 요약

이 논문은 경쟁 해석을 갖는 무선 매체를 공유하는 이벤트 기반 제어 시스템 네트워크를 위한 안정성 분석 및 설계 프레임워크를 제안한다. 네트워크 지연을 마르코프 체인으로 모델링하고 추정 오차 분산의 상한을 제공하는 보조 시스템을 도입함으로써, 저자들은 리아푸노프 평균 제곱 안정성에 대한 충분조건를 유도하고, 일정 확률 정책과 같은 이벤트 트리거링 정책을 설계하여 동적 네트워크 조건 하에서도 안정성을 보장한다.

ABSTRACT

We consider a network of event-based systems that use a shared wireless medium to communicate with their respective controllers. These systems use a contention resolution mechanism to arbitrate access to the shared network. We identify sufficient conditions for Lyapunov mean square stability of each control system in the network, and design event-based policies that guarantee it. Our stability analysis is based on a Markov model that removes the network-induced correlation between the states of the control systems in the network. Analyzing the stability of this Markov model remains a challenge, as the event-triggering policy renders the estimation error non-Gaussian. Hence, we identify an auxiliary system that furnishes an upper bound for the variance of the system states. Using the stability analysis, we design policies, such as the constant-probability policy, for adapting the event-triggering thresholds to the delay in accessing the network. Realistic wireless networked control examples illustrate the applicability of the presented approach.

연구 동기 및 목표

• 무선 매체를 공유하는 이벤트 기반 제어 시스템 네트워크에서 랜덤 지연과 충돌이 발생하는 조건에서도 안정성을 유지하는 데 도전 과제를 해결하기 위해.
• 공유된 매체 액세스 및 경쟁 해석 메커니즘으로 인해 발생하는 제어 시스템 간 네트워크 유도 상관관계의 영향을 분석하기 위해.
• 네트워크 지연과 혼잡도에 적응하는 이벤트 트리거링 정책을 개발하여 각 제어 루프의 리아푸노프 평균 제곱 안정성을 보장하기 위해.
• 목표로 하는 전송 확률과 안정성 보장을 달성하는 이벤트 트리거링 임계값을 선택하기 위한 체계적인 설계 절차를 제공하기 위해.

제안 방법

• 인터루프 종속성을 분리하고 지연 동역학을 기술하기 위해 네트워크 액세스 과정을 마르코프 체인으로 모델링하기 위해.
• 추정 오차 분산의 상한을 제공하는 보조 시스템을 도입하여, 비정규 분포 오차 분포가 존재하더라도 안정성 분석이 가능하도록 하기 위해.
• 주요화 이론을 적용하여 상한이 부여된 시스템을 분석하고 리아푸노프 평균 제곱 안정성에 대한 충분조건를 도출하기 위해.
• 이벤트 트리거링 확률이 지연 상태 간에 일정하게 유지되는 일정 확률 정책을 설계하여 구현을 단순화하고 안정성을 보장하기 위해.
• 몬테카를로 시뮬레이션과 수치 적분을 사용하여 각 지연 상태에 대해 목표 이벤트 확률을 달성하는 이벤트 임계값을 계산하기 위해.
• 시뮬레이션을 통한 설계 검증을 통해 계산된 임계값이 목표 이벤트 확률과 다양한 네트워크 조건 하에서 안정성을 확보함을 확인하기 위해.

실험 결과

연구 질문

• RQ1 공유된 무선 매체를 갖는 이벤트 기반 제어 시스템 네트워크에서 리아푸노프 평균 제곱 안정성을 보장하는 데 필요한 충분조건는 무엇인가?
• RQ2 네트워크 유도 상관관계는 어떻게 모델링하고 완화할 수 있으며, 이를 통해 안정성 분석이 가능하게 되는가?
• RQ3 이벤트 트리거링 정책으로 인해 유도되는 비정규 분포 추정 오차의 영향은 무엇이며, 이를 어떻게 상한으로 제어할 수 있는가?
• RQ4 목표 전송 확률을 달성하고 동적 네트워크 지연 조건 하에서도 안정성을 보장하기 위해 이벤트 트리거링 임계값은 어떻게 선택할 수 있는가?
• RQ5 점점 더 불안정한 제어 시스템에서 네트워크 신뢰성, 전송 확률, 안정성 간의 상충 관계는 어떠한가?

주요 결과

• 이벤트 트리거링으로 인한 비정규성 요인을 고려한 추정 오차 분산의 상한 기반으로 리아푸노프 평균 제곱 안정성에 대한 충분조건가 도출되었다.
• 일정 확률 정책은 지연 상태 간에 일정한 이벤트 트리거링 확률을 유지함으로써 안정성을 보장하며, 시스템의 불안정성(A)이 증가할수록 안정 영역이 감소한다.
• A=1.5, B=1, Σw=1인 M=5개의 시스템 네트워크에서, 설계 절차는 (pγ, pα)-평면에서 안정 영역을 도출하며, pγ=0.8과 pα=0.4는 네트워크 신뢰성 π(I,0)=0.7056과 손실 확률 pl=0.2944를 달성한다.
• 일정 확률 정책 하에서 지연 분포는 지수 감소 형태를 띠며, 이는 임계값 계산을 단순화하고 효율적인 수치 설계를 가능하게 한다.
• 수치 결과는 상태 분포의 시뮬레이션을 통해 계산된 이벤트 임계값이 목표 이벤트 확률을 잘 충족함을 확인하였으며, 매우 큰 지연(d > 12)에서는 정확도가 다소 저하됨을 보였다.
• 더 불안정한 시스템(예: A=2)에서는 안정 영역이 크게 감소하여, 높은 불안정성에 따라 안정성을 유지하기 위해 전송 확률에 대한 더 엄격한 제어가 필요함을 시사한다.