[논문 리뷰] The necessity and sufficiency of anytime capacity for stabilization of a linear system over a noisy communication link, Part II: vector systems

Anant Sahai, Sanjoy K. Mitter|ArXiv.org|2006. 10. 25.

Stability and Control of Uncertain Systems인용 수 5

한 줄 요약

이 논문은 노이즈 있는 채널을 통해 벡터 선형 시스템을 안정화하기 위해, anytime 용량을 벡터 설정으로 확장할 필요가 있음을 규명한다. 이를 위해 anytime 비율 영역이 도입되며, 이는 각 불안정 고유값에 대해 요구되는 최소 채널 신뢰성도 특성화한다. 주요 결과는 안정화가 가능하고 필요조건이 되는 것은, 채널이 각 고유값의 성장률과 일치하는 비율-신뢰성 트레이드오프를 지원할 경우에 한해 성립하며, 스칼라 결과를 다차원 시스템(피드백 유무 관계없이)으로 일반화한다.

ABSTRACT

In part I, we reviewed how Shannon's classical notion of capacity is not sufficient to characterize a noisy communication channel if the channel is intended to be used as part of a feedback loop to stabilize an unstable scalar linear system. While classical capacity is not enough, a sense of capacity (parametrized by reliability) called "anytime capacity" is both necessary and sufficient for channel evaluation in this context. The rate required is the log of the open-loop system gain and the required reliability comes from the desired sense of stability. Sufficiency is maintained even in cases with noisy observations and without any explicit feedback between the observer and the controller. This established the asymptotic equivalence between scalar stabilization problems and delay-universal communication problems with feedback. Here in part II, the vector-state generalizations are established and it is the magnitudes of the unstable eigenvalues that play an essential role. To deal with such systems, the concept of the anytime rate-region is introduced. This is the region of rates that the channel can support while still meeting potentially different anytime reliability targets for parallel message streams. All the scalar results generalize on an eigenvalue by eigenvalue basis. When there is no explicit feedback of the noisy channel outputs, the intrinsic delay of the unstable system tells us what the feedback delay needs to be while evaluating the anytime-rate-region for the channel. An example involving a binary erasure channel is used to illustrate how differentiated service is required in any separation-based control architecture.

연구 동기 및 목표

• 스칼라 anytime 용량 프레임워크를 다차원 상태 선형 시스템으로 일반화하기.
• 노이즈 있는 통신 링크를 통해 불안정한 다차원 시스템을 안정화하기 위한 필수 및 필요조건 규명하기.
• 다양한 신뢰성 목표를 갖는 불안정 고유값을 고려한, anytime 용량의 다차원 확장—즉, anytime 비율 영역을 정의하기.
• 피드백이 없더라도 채널의 anytime 비율 영역이 각 고유값에 맞는 신뢰성 요구를 충족할 경우 안정화가 가능함을 보여주기.
• 이진 지워기 채널 예제를 통해, 노이즈 있는 채널에서 제어를 위해 통신에서의 차별화된 서비스 제공이 필수적임을 입증하기.

제안 방법

• 다중 메시지 스트림 각각이 불안정 고유값과 연결된, 채널이 지원할 수 있는 비율-신뢰성 쌍의 집합으로서 anytime 비율 영역을 도입한다.
• 고유값 분해를 통해 다차원 시스템을 독립적인 스칼라 하위시스템으로 환원하며, 각 하위시스템은 특정한 anytime 신뢰성 수준을 요구한다.
• 가상 컨트롤러 프레임워크를 적용하여 제어 동작을 시뮬레이션하고 상태 불확실성을 제한함으로써, 시스템이 유한 영역 내에 유지되도록 보장한다.
• 재귀적 불확실성 제한 기법을 활용하여, 컨트롤러가 상태 추정치를 점점 줄어드는 창 안에 유지하며, 고유값의 크기에 따라 스케일링한다.
• 충분 조건를 도출하기 위해, 채널이 필요한 anytime 비율 영역을 지원할 경우 노이즈 영향에도 불구하고 시스템이 안정화될 수 있음을 보여준다.
• 이진 지워기 채널 예제를 통해, 서로 다른 고유값에 대응하는 비트들은 서로 다른 수준의 신뢰성으로 처리되어야 함을 설명한다.

실험 결과

연구 질문

• RQ1 피드백이 있거나 없을 경우, 노이즈 있는 통신 채널을 통해 다차원 선형 시스템을 안정화하기 위한 필수 및 필요조건은 무엇인가?
• RQ2 벡터 시스템에서 다수의 불안정 고유값을 다루기 위해, anytime 용량 개념은 어떻게 일반화되어야 하는가?
• RQ3 피드백이 명시적으로 존재하지 않더라도 안정화가 가능할 수 있으며, 그 경우 채널 조건은 어떠해야 하는가?
• RQ4 불안정 시스템의 내재된 지연이 채널 평가를 위한 필요한 피드백 지연을 결정하는 데 어떤 역할을 하는가?
• RQ5 제어 맥락에서 다양한 메시지 스트림에 대해 서로 다른 신뢰성 수준을 지원하는 통신 아키텍처는 어떻게 설계되어야 하는가?

주요 결과

• 시간에 따라 안정화 가능한 비율 영역은 다차원 시스템을 노이즈 있는 채널에서 안정화하기 위해 필수적이며, 필요조건이기도 하며, 스칼라 결과를 다차원 역학으로 일반화한다.
• 채널의 anytime 비율 영역이 각 불안정 고유값에 필요한 신뢰성을 충족할 경우, 명시적 피드백 없이도 안정화가 가능하다.
• 필요한 채널 비율은 불안정 고유값의 크기의 로그이며, 필요한 신뢰성은 목표로 하는 안정성 수준에 따라 결정된다.
• 이진 지워기 채널의 경우, 안정화를 위해서는 차별화된 서비스가 필요하다: 서로 다른 고유값에 대응하는 비트들은 서로 다른 수준의 신뢰성으로 인코딩되어야 한다.
• 불안정 시스템의 내재된 지연은 명시적 피드백이 없더라도, 채널 평가를 위한 효과적인 피드백 지연을 결정한다.
• 가상 컨트롤러 프레임워크는 가상 상태를 점점 줄어드는 창 안에 유지함으로써 상태 불확실성을 성공적으로 제한하며, 이는 점점 안정성이 보장된다.