[논문 리뷰] Asymptotic stability of stochastic LTV systems with applications to distributed dynamic fusion

Sam Safavi, Usman A. Khan|arXiv (Cornell University)|2014. 12. 27.

Distributed Control Multi-Agent Systems참고 문헌 20인용 수 13

한 줄 요약

이 논문은 선형 시간변화 시스템(LTV)의 (부-)스토하스틱 행렬을 가진 경우에 대해 시스템 행렬을 겹치지 않는 조각들로 분할함으로써 渐近적 안정성 조건을 수립한다. 각 조각의 무게 중심 무게(norm)가 조각 길이에 따라 지수적으로 감소하면, 시스템은 0으로 수렴하며, 이는 이동 에이전트 네트워크에서 분산 동적 융합에 대한 안정성 보장을 가능하게 한다.

ABSTRACT

In this paper, we investigate asymptotic stability of linear time-varying systems with (sub-) stochastic system matrices. Motivated by distributed dynamic fusion over networks of mobile agents, we impose some mild regularity conditions on the elements of time-varying system matrices. We provide sufficient conditions under which the asymptotic stability of the LTV system can be guaranteed. By introducing the notion of slices, as non-overlapping partitions of the sequence of systems matrices, we obtain stability conditions in terms of the slice lengths and some network parameters. In addition, we apply the LTV stability results to the distributed leader-follower algorithm, and show the corresponding convergence and steady-state. An illustrative example is also included to validate the effectiveness of our approach.

연구 동기 및 목표

• 이동 에이전트 네트워크에서 분산 동적 융합(DDF)에 동기를 부여하여, (부-)스토하스틱 시스템 행렬을 가진 선형 시간변화(LTV) 시스템의 점근적 안정성에 대한 충분조건을 수립하는 것.
• 개별 행렬의 스펙트럴 반경이 1로 유지되며, 연속된 시간 단계에서 항등행렬 또는 스토하스틱 갱신이 발생할 경우 안정성 분석이 어려운 상황을 다루는 것.
• 합동 스펙트럴 반경 계산이 어렵고 NP-난해하므로, 계산 가능한 무게 중심 무게 기반 상한을 제공하는 조각 기반 분할 프레임워크를 도입하여 이를 대체할 실용적인 방법을 제시하는 것.
• 이론적 결과를 동적 리더-팔로워 알고리즘에 적용하여, 네트워크 및 가중치 조건이 약간의 조건을 만족할 경우 센서 상태가 앵커 상태로 수렴함을 증명하는 것.

제안 방법

• 시간에 따라 변하는 시스템 행렬의 순서를 겹치지 않는 조각들로 나누어, 각 조각이 겹치지 않는 연속적인 시간 간격을 커버하도록 하는 것.
• 각 조각 내 행렬의 곱의 무게 중심 무게를 안정성 척도로 정의하며, 이 값이 1 미만이면 조각 기간 동안 상태 크기가 감소함을 나타낸다.
• 조각 길이와 최소 통신 범위, 에이전트 이동성과 같은 네트워크 파라미터의 함수로서 각 조각의 무게 중심 무게에 대한 상한을 유도하는 것.
• 조각 길이가 무한대가 되더라도, 지수적 증가보다 느린 속도로 증가할 경우, 조각 내 행렬 곱의 무게 중심 무게가 조각 길이에 따라 지수적으로 감소하는 조건을 도입하는 것.
• 조각 간 무게 중심 무게 감소를 이용하여 전체 LTV 시스템의 점근적 안정성을 확립하며, 합동 스펙트럴 반경 계산에 의존하지 않는 것.
• 프레임워크를 동적 리더-팔로워 알고리즘에 적용하여, 센서가 자신의 과거 상태에 비중을 부여하고 이웃에 너무 큰 가중치를 부여하지 않을 경우 앵커 상태로 수렴함을 보여주는 것.

실험 결과

연구 질문

• RQ1 개별 행렬의 스펙트럴 반경이 1이지만, (부-)스토하스틱 시간변화 시스템 행렬을 가진 LTV 시스템이 점근적으로 안정해지는 조건은 무엇인가?
• RQ2 시간 간격 기반의 분할 전략을 통해 합동 스펙트럴 반경을 계산하지 않아도 안정성을 보장할 수 있는가?
• RQ3 조각 길이와 통신 범위, 에이전트 이동성과 같은 네트워크 파라미터는 분산 동적 융합 알고리즘의 안정성에 어떤 영향을 미치는가?
• RQ4 간헐적인 연결성을 가진 이동성 있는 시간변화 네트워크에서 센서 상태가 앵커 상태로 수렴하기 위한 조건은 무엇인가?
• RQ5 시간 간격(조각) 동안의 행렬 곱의 무게 중심 무게가 안정성 분석에서 합동 스펙트럴 반경의 계산 가능한 효과적인 대체 수 Mittel sein 수 있는가?

주요 결과

• 각 조각 내 시스템 행렬 곱의 무게 중심 무게가 1보다 작고 조각 길이에 따라 지수적으로 감소하면 점근적 안정성이 보장된다.
• 조각 길이가 무한대가 되더라도, 지수적 증가보다 느린 속도로 증가할 경우 안정성이 유지되며, 이는 비주기적 및 비균일하게 유계되지 않은 시스템의 분석이 가능함을 의미한다.
• 조각 내 행렬 곱의 무게 중심 무게는 최소 통신 범위 및 에이전트 이동성과 같은 네트워크 파라미터의 함수로 위상 상한에 의해 제한된다.
• 동적 리더-팔로워 알고리즘에서 센서는 각각 자신의 과거 상태에 비중을 두고 이웃에 과도한 가중치를 부여하지 않을 경우 앵커 상태로 수렴한다.
• 시뮬레이션 결과는 조각 곱의 무게 중심 무게가 유일하게 시간이 지남에 따라 엄격하게 감소하는 곡선임을 확인하여 이론적 감소 조건을 검증한다.
• 조각 곱의 무게 중심 무게에 대한 이론적 상한은 합동 스펙트럴 반경 계산이 일반적으로 NP-난해하고 결정 불가능하므로 실용적인 대체 수 Mittel을 제공한다.