[논문 리뷰] Duality bounds for discrete-time Zames-Falb multipliers

Jingfan Zhang, Joaquín Carrasco외 1명|arXiv (Cornell University)|2020. 08. 27.

Stability and Control of Uncertain Systems참고 문헌 44인용 수 9

한 줄 요약

이 논문은 바나흐 공간 분리 정리들을 활용하여 이산시간 제임스-팔브 승수에 대한 계산적으로 효율적인 이중성 기반의 위상 제한을 개발한다. 이는 기존 방법보다 더 덜 보수적이며 훨씬 빠른 폐쇄형 및 선형계획법 기반의 경계를 가능하게 하며, 명시적 승수 구성을 통한 타당성 검증을 통해 경계의 날카움을 확인하였고, 반례를 통한 방법으로 안정화 가능한 식민의 비볼록성도 입증하였다.

ABSTRACT

We develop phase limitations for the discrete-time Zames-Falb multipliers based on the separation theorem for Banach spaces. By contrast with their continuous-time counterparts they lead to numerically efficient results that can be computed either in closed form or via a linear program. The closed-form phase limitations are tight in the sense that we can construct multipliers that meet them with equality. We discuss numerical examples where the limitations are stronger than others in the literature. The numerical results complement searches for multipliers in the literature; they allow us to show, by construction, that the set of plants for which a suitable Zames-Falb multiplier exists is non-convex.

연구 동기 및 목표

• 기존 방법보다 덜 보수적인 이산시간 제임스-팔브 승수에 대한 수치적으로 효율적인 위상 제한을 개발하는 것.
• 이산시간 제임스-팔브 승수에 대한 이중성 기반 프레임워크를 수립하여 선형계획법 또는 폐쇄형 해법을 통한 처리 가능성 확보하는 것.
• 유도된 경계의 날카움을 입증하기 위해 경계에 정확히 도달하는 승수를 구성하는 것.
• 승수 존재 여부를 직접 구성함으로써, 적절한 제임스-팔브 승수를 갖는 식민의 집합이 비볼록임을 보여주는 것.
• 문헌 [32]의 주파수 격자 기반 위상 제한 방법에 비해 계산 부담 감소 및 정확도 향상으로서 더 나은 계산 성능을 제공하는 대안을 제시하는 것.

제안 방법

• 논문은 바나흐 공간 내 분리 정리를 적용하여 이산시간 제임스-팔브 승수에 대한 이중성 기반 경계를 유도한다.
• 단일 주파수 분석을 위해 이중성 기반 폐쇄형 위상 제한을 도출하며, 이는 명시적 승수 구성에 의해 달성 가능하고 타당성이 높다.
• 다중 주파수의 경우, 위상 제한 문제를 선형계획법으로 재구성하여 효율적인 수치 계산을 가능하게 한다.
• 이 방법은 연속시간 접근 방식에서 흔히 발생하는 수치적 격자화 문제를 피하기 위해 이산시간의 특성을 활용한다.
• 존슨슨의 연속시간 결과를 영감으로 삼은 이중성 프레임워크를 이산시간에 적응시켜 처리 가능성과 효율성을 향상시켰다.
• 다양한 루프 이득을 가진 수치 예제를 통해 [16]의 검색 알고리즘과 [32]의 위상 제한 결과와의 비교를 통해 결과의 타당성을 검증하였다.

실험 결과

연구 질문

• RQ1 이산시간 제임스-팔브 승수에 대한 이중성 기반 위상 제한은 기존 방법보다 효율적이고 보수성이 낮게 계산될 수 있는가?
• RQ2 유도된 위상 제한은 타당성이 있으며, 이를 정확히 만족하는 승수를 구성할 수 있는가?
• RQ3 제안된 방법은 기존 주파수 격자 기반 방법보다 더 정확하고 신속하게 제임스-팔브 승수의 존재 여부를 식별할 수 있는가?
• RQ4 제임스-팔브 승수의 존재 여부가 비볼록인 식민 집합에 의존하는가? 이는 구성 방법으로 입증될 수 있는가?
• RQ5 제안된 이중성 기반 방법은 [32]의 브루트 포스 주파수 격자 접근 방식에 비해 어떤 계산적 이점이 있는가?

주요 결과

• 폐쇄형 위상 제한은 명시적 제임스-팔브 승수의 구성을 통해 경계에 정확히 도달함으로써 날카움이 입증되었다.
• 다중 주파수의 경우 선형계획법 설정을 통해 효율적인 계산이 가능해졌으며, [32]에서 16,743초가 넘는 계산 시간이 걸렸던 문제를 단 68.16초로 단축시켰다.
• 모든 테스트 예제에서 [16]의 승수 탐색 결과와 이중성 기반 존재 불가 경계 사이의 격차는 0.005% 미만이었으며, 이는 높은 정확도를 의미한다.
• 이 방법은 적절한 제임스-팔브 승수를 갖는 식민의 집합이 비볼록임을 확인하였으며, 일부 이득에서는 승수가 존재하지만 중간 값에서는 존재하지 않는 반례를 통해 이를 입증하였다.
• 결과적으로 [32]의 결과보다 보수성이 낮으며, 제임스-팔브 승수가 존재할 수 있는 루프 이득의 상한 경계가 더욱 날카롭게 제시되었다.
• 고해상도 주파수 스캔에 있어서 제안된 방법은 계산 효율성과 정확도 면에서 기존의 브루트 포스 주파수 격자 접근 방식을 크게 능가한다.