[논문 리뷰] On a Comprehensive Class of Linear Control Problems

Rainer Picard, Sascha Trostorff외 1명|Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)|2012. 08. 15.

Stability and Controllability of Differential Equations참고 문헌 9인용 수 6

한 줄 요약

이 논문은 경계 제어 및 관측이 가능한 선형 제어 문제의 포괄적인 클래스를 위한 통합 힐버트 공간 프레임워크를 제시한다. 포트-해밀토니안 시스템, 맥스웰 방정식, 경계 제어 및 관측이 가능한 음향파를 포함한다. 미분-대수적 연산자를 사용하여 시스템을 재구성함으로써 엄밀히 양의 정부호인 구조를 갖는다. 이에 따라 최소한의 기하적 제약 조건, 예를 들어 파동 유사 시스템에 대한 파oincaré-Wirtinger 유형 부등식을 만족할 때, 잘 정의됨과 보존성(conservativity)을 확립한다.

ABSTRACT

We discuss a class of linear control problems in a Hilbert space setting. This class encompasses such diverse systems as port-Hamiltonian systems, Maxwell's equations with boundary control or the acoustic equations with boundary control and boundary observation. The boundary control and observation acts on abstract boundary data spaces such that the only geometric constraint on the underlying domain stems from requiring a closed range constraint for the spatial operator part, a requirement which for the wave equation amounts to the validity of a Poincare-Wirtinger-type inequality. We also address the issue of conservativity of the control problems under consideration.

연구 동기 및 목표

• 힐베르트 공간 내에서 광범위한 선형 제어 문제의 클래스를 위한 통합 기능해석적 프레임워크를 개발하는 것.
• 특히 경계 제어 설정에서 비유계 제어 및 관측 연산자가 존재하는 시스템의 잘 정의됨을 다루는 것.
• 기본적인 미분-대수적 연산자의 구조적 성질을 통해 이러한 시스템의 보존성을 특성화하는 것.
• 유한차원 제어 시스템 이론을 추상적 경계 데이터 공간을 갖는 무한차원 설정으로 일반화하는 것.
• 잘 정의됨을 보장하기 위한 최소한의 기하적 조건, 예를 들어 공간 연산자의 닫힌 범위 또는 파oincaré-Wirtinger 유형 부등식과 같은 조건을 특정하는 것 — 특히 파동 유사 시스템에 대해

제안 방법

• 비유계 항을 포함하는 블록 연산자 행렬을 사용하여 힐베르트 공간 내에서 제어 문제를 미분-대수방정식으로 공식화하는 것.
• 보조 상태 변수를 도입함으로써 비유계 제어 및 관측 연산자를 유계로 바꾸는 변환을 적용하는 것.
• 시스템 연산자 및 그 수반 연산자의 엄밀한 양의 정부호성과 기능해석 도구를 활용하여 잘 정의됨을 보장하는 것.
• 특정 기하적 임bedding에 의존하지 않고 경계 제어 및 관측을 모델링하기 위해 추상적 경계 데이터 공간을 도입하는 것.
• 진화 방정식 이론과 닫힌 범위 조건을 적용하여 시스템의 해가 존재하고 안정함을 보장하는 것.
• 코일 연산자 및 그 수반의 유계 역행렬 존재성을 활용하여 전자기 및 음향 시스템을 이 프레임워크 내에서 다루는 것.

실험 결과

연구 질문

• RQ1 경계 제어 및 관측이 가능한 선형 제어 문제의 포괄적인 클래스를 어떻게 하나의 힐베르트 공간 프레임워크로 통합할 수 있는가?
• RQ2 비유계 제어 및 관측 연산자가 존재하는 선형 제어 시스템의 잘 정의됨을 보장하는 구조적 조건은 무엇인가?
• RQ3 시스템 연산자가 엄밀히 양의 정부호가 되기 위한 기하적 또는 함수적 제약 조건은 무엇인가? 이는 잘 정의됨을 가능하게 한다.
• RQ4 연산자 구조와 경계 데이터를 기반으로 이러한 시스템의 보존성을 어떻게 특성화할 수 있는가?
• RQ5 파동 유사 시스템에서 잘 정의됨을 보장하기 위해 파oincaré-Wirtinger 유형 부등식이 수행하는 역할은 무엇인가?

주요 결과

• 시스템 연산자 및 그 수반의 엄밀한 양의 정부호성에 기반하여, 힐베르트 공간 설정에서 제어 문제의 잘 정의됨이 확립된다.
• 이 프레임워크는 포트-해밀토니안 시스템, 맥스웰 방정식, 경계 제어 및 관측이 가능한 음향파와 같은 다양한 시스템을 수용할 수 있다.
• 시스템의 보존성은 주 연산자의 반대칭성과 블록 행렬 표현에서의 균형 잡힌 구조에 의해 특성화된다.
• 경계 제어 및 관측은 추상적 경계 데이터 공간을 통해 모델링되며, 이는 기하적 제약 조건을 공간 연산자의 닫힌 범위 조건으로 줄인다.
• 파동 방정식의 경우, 파oincaré-Wirtinger 유형 부등식의 성립이 닫힌 범위 조건과 동치임이 입증되었으며, 이는 잘 정의됨을 보장한다.
• 보조 상태 변수를 도입함으로써 제어 및 관측 연산자가 유계인 등가 형태로 변환 가능하며, 이는 표준 잘 정의됨 이론의 적용을 가능하게 한다.