[논문 리뷰] Bilateral Boundary Control Design for a Cascaded Diffusion-ODE System Coupled at an Arbitrary Interior Point

Stephen Chen, Rafael Vázquez외 1명|arXiv (Cornell University)|2019. 06. 12.

Stability and Controllability of Differential Equations참고 문헌 20인용 수 4

한 줄 요약

이 논문은 접기 변환과 역추적 기법을 사용하여 임의의 내부 점에서 연결된 계단형 확산-ODE 시스템에 대해 이원적 경계 제어 설계를 제시한다. 볼테라 변환을 통해 시스템을 지수 안정성을 갖는 목표 시스템으로 변형함으로써, 저자들은 $L^2 \times \mathbb{R}^n$ 안정성을 보장하는 안정화 경계 제어기를 수립하였으며, 리아푸노프 분석과 유계 핵의 존재성을 통해 이를 입증한다.

ABSTRACT

We present a methodology for designing bilateral boundary controllers for a class of systems consisting of a coupled diffusion equation with an unstable ODE at an arbitrary interior point. A folding transformation is applied about the coupling point, transforming the system into an ODE with an input channel consisting of two coupled diffusive actuation paths. A target system with an exponentially stable trivial solution in the sense of L^2 X R^n is proposed, and the stability property is shown via the Lyapunov method. The stabilizing control laws are formulated via tiered Volterra transformations of the second kind, establishing an equivalence relation between the stable target system and the original plant under boundary feedback. Stability properties of the plant under feedback is inferred from the equivalence relation. The well-posedness of the backstepping transformations involved are studied, and the existence of bounded Volterra kernels is shown, constituting a sufficient condition for the invertibility of the Volterra transformations.

연구 동기 및 목표

• 원인점에서 불안정한 ODE와 연결된 포물형 PDE의 안정화 문제를 다루며, 단일 측면 제어로는 완전히 해결되지 않은 문제를 해결한다.
• 접기 프레임워크를 이원적 경계 제어로 확장하여, 향상된 제어 가능성과 내성성을 위한 이중점 작동을 가능하게 한다.
• 볼테라 변환의 제2종을 사용한 무한차원 역추적 기반의 안정화 피드백 법칙을 설계한다.
• 고정점 추론과 핵의 유계성에 의해 볼테라 핵의 존재성과 역행성 증명한다.
• 리아푸노프 방법을 사용하여 닫힌 루프 시스템의 $L^2 \times \mathbb{R}^n$ 기준 지수 안정성을 입증한다.

제안 방법

• 내부 결합 점을 중심으로 접기 변환을 적용하여, 두 개의 확산 제어 경로를 갖는 계단형 PDE-ODE 구성으로 원래 시스템을 변환한다.
• 리아푸노프 기반 분석을 통해 $L^2 \times \mathbb{R}^n$ 노름에서 지수 안정성이 보장된 자명한 해를 갖는 목표 시스템을 구성한다.
• 제2종 볼테라 변환의 계층적 적용을 통해 경계 피드백 하에 원래 식물과 안정된 목표 시스템 간의 등가성을 확립함으로써 안정화 제어 법칙을 설계한다.
• 샤우더 고정점 정리와 위에르슈트라스 M-검사법을 사용하여 볼테라 핵의 존재성과 유계성을 입증함으로써 역추적 변환의 잘 정의됨을 증명한다.
• 재귀적 경계와 핵 노름 추정을 통해 핵 수열의 균일 수렴성을 확보하여 변환의 역행성 보장한다.
• 부드러운 행렬 지수와의 콘볼루션을 통해 ODE 성분의 해의 정규성을 입증하여 변환 핵의 $C^\infty$ 정규성을 보장한다.

실험 결과

연구 질문

• RQ1 내부 점에서 연결된 PDE-ODE 시스템에 대해 전통적인 단일 측면 제어가 부족한 상황에서 이원적 경계 제어를 어떻게 설계할 수 있는가?
• RQ2 접기 변환 기법을 1차원 계단형 확산-ODE 시스템에서 이원적 제어로 확장할 수 있는가?
• RQ3 이러한 시스템의 역추적 설계에서 볼테라 핵의 존재성과 역행성을 보장하는 조건은 무엇인가?
• RQ4 리아푸노프 방법을 사용하여 닫힌 루프 시스템의 $L^2 \times \mathbb{R}^n$ 노름에서의 지수 안정성을 어떻게 증명할 수 있는가?
• RQ5 ODE의 결합 점이 변환된 시스템의 구조와 제어 가능성에 미치는 역할은 무엇인가?

주요 결과

• 제안된 이원적 제어 설계는 목표 시스템의 리아푸노프 기반 분석을 통해 $L^2 \times \mathbb{R}^n$ 노름에서 자명한 해의 지수 안정성을 달성한다.
• 샤우더 고정점 정리를 사용하여 유계 볼테라 핵의 존재성을 입증하였으며, 위에르슈트라스 M-검사법을 통해 균일 수렴성을 확립하였다.
• 변환에 대한 핵 수열이 $C(\mathcal{T})$ 내에서 균일 수렴함을 보여주어 역추적 변환의 역행성을 보장한다.
• ODE 성분의 해는 부드러운 행렬 지수와의 콘볼루션으로 인해 $C^\infty([0,1])$임을 입증하였으며, 이는 매끄러운 매끄러움 기법으로 작용한다.
• 변환은 원래의 불안정한 시스템을 안정된 목표 시스템으로 매핑하며, 등가 관계로부터 피드백 하에서 원래 식물의 안정성을 유추한다.
• 이 방법은 ODE가 내부 점에서 두 개의 포물형 PDE 사이에 결합된 '샌드위치형' 시스템의 클래스를 안정화하는 체계적인 프레임워크를 제공한다.