[논문 리뷰] Disturbance-to-State Stabilization and Quantized Control for Linear Hyperbolic Systems

Aneel Tanwani, Christophe Prieur외 1명|arXiv (Cornell University)|2017. 03. 01.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 34

한 줄 요약

이 논문은 경계 제어를 갖는 선형 초구형 PDE에 대해 측정값이 유계의 외란에 의해 오염된 상황에서 상태에 대한 외란 안정성 프레임워크를 제안한다. 라플라스 기반 접근을 통해 최대 상태 노름이 지수적으로 감쇠하는 항과 외란에 의존하는 항으로 유계되는 추정식을 수립함으로써 측정 오차에 대한 강건성과 실용적 안정성 보장을 갖는 양자 제어를 가능하게 한다.

ABSTRACT

We consider a system of linear hyperbolic PDEs where the state at one of the boundary points is controlled using the measurements of another boundary point. Because of the disturbances in the measurement, the problem of designing dynamic controllers is considered so that the closed-loop system is robust with respect to measurement errors. Assuming that the disturbance is a locally essentially bounded measurable function of time, we derive a disturbance-to-state estimate which provides an upper bound on the maximum norm of the state (with respect to the spatial variable) at each time in terms of $\mathcal{L}^\infty$-norm of the disturbance up to that time. The analysis is based on constructing a Lyapunov function for the closed-loop system, which leads to controller synthesis and the conditions on system dynamics required for stability. As an application of this stability notion, the problem of quantized control for hyperbolic PDEs is considered where the measurements sent to the controller are communicated using a quantizer of finite length. The presence of quantizer yields practical stability only, and the ultimate bounds on the norm of the state trajectory are also derived.

연구 동기 및 목표

• 경계 측정값이 유계의 외란에 의해 오염되는 선형 초구형 PDE에 대해 강건한 제어 프레임워크를 개발하는 것.
• 초기 조건과 외란 에너지의 관계로 최대 상태 노름을 유계하는 외란-상태 안정성(DSS) 추정식을 수립하는 것.
• 양자 측정의 경우로 DSS 프레임워크를 확장하여 명시적인 최종 유계를 갖는 실용적 안정성을 보장하는 것.
• 라플라스 함수를 사용하여 DSS를 달성하기 위한 시스템 동역학과 제어기 설계에 대한 충분조건을 유도하는 것.

제안 방법

• 폐쇄형 시스템의 안정성을 분석하기 위해 가중치가 있는 $ L^2 $-유사 노름에서 라플라스 함수를 구성하는 것.
• 형태 $ \max_{z\in[0,1]}|X(z,t)| \leq c\,e^{-at}M_{X^0} + \gamma(\|d_{[0,t]}\|_{\infty}) $ 의 외란-상태 추정식을 유도하며, 여기서 $ \gamma \in \mathcal{K}_\infty $.
• 수반 연산자와 족집게 이론을 사용하여 충분한 조건 하에 폐쇄형 시스템이 $ C_0 $-족집게를 생성하고 지수적으로 안정하다는 것을 증명하는 것.
• 지연되거나 노이즈가 있는 측정값을 처리하기 위해 기억 기반 동적 제어기를 도입하여 강건성을 확보하는 것.
• 양자 제어에 DSS 프레임워크를 적용하기 위해 양자화를 유계의 외란으로 모델링하여 실용적 안정성을 도출하는 것.
• 시스템 행렬 $ \Lambda, H, B $ 및 제어기 이득에 대한 조건을 도출하여 적절한 라플라스 함수의 존재와 안정성을 보장하는 것.

실험 결과

연구 질문

• RQ1 라플라스 기반 접근이 유계의 측정 외란 하에서 선형 초구형 PDE에 대해 외란-상태 안정성을 보장할 수 있는가?
• RQ2 시스템 행렬과 제어기 구조에 어떤 조건이 존재할 경우 외란이 존재하는 상황에서도 상태 노름이 지수적으로 감쇠하는가?
• RQ3 양자 측정을 어떻게 유계의 외란으로 모델링하여 초구형 PDE 제어에서 실용적 안정성을 확보할 수 있는가?
• RQ4 피드백 루프에 유한 길이의 양자화기 사용 시 상태 노름의 최종 유계는 무엇인가?
• RQ5 DSS 추정식은 초기 상태와 외란의 $ \mathcal{L}^\infty $-노름에 따라 표현될 수 있는가?

주요 결과

• 논문은 최대 상태 노름이 지수적으로 감쇠하는 항과 외란의 $ \mathcal{L}^\infty $-노름에 대한 $ \mathcal{K}_\infty $-함수로 유계지는 외란-상태 안정성 추정식을 수립하였다.
• 양자 제어 하에서 상태 노름의 최종 유계는 명시적으로 유도되었으며, 이는 양자화기 해상도와 시스템 파라미터에 의존한다.
• 시스템 행렬 $ \Lambda, H, B $ 및 제어기 이득에 대해 DSS에 대한 충분조건가 유도되었으며, 이는 라플라스 함수의 존재를 보장한다.
• 폐쇄형 시스템이 $ C_0 $-족집게를 생성함을 보여주었으며, 이는 유도된 조건 하에 잘 정의되고 지수적으로 안정하다는 것을 의미한다.
• 양자 제어의 경우 실용적 안정성이 달성되었으며, 이 최종 유계는 양자화 오차와 시스템 동역학에 의존한다.
• 분석 결과 외란이 0으로 수렴할 경우 상태 노름도 0으로 수렴함을 확인하여, 외란이 없는 경우 점근적 안정성이 보장됨을 입증하였다.