[논문 리뷰] JIKhS-Al-Saphory

Raheam A. Al-Saphory, Hind K. Kolaib|arXiv (Cornell University)|2017. 01. 01.

Stability and Controllability of Differential Equations참고 문헌 19인용 수 1

한 줄 요약

이 논문은 포물형 분포 매개변수 시스템에 대해 지역 경계 지수 감소 관측 가능성의 개념을 도입하며, 하위 경계 Γ에서 시스템 상태를 추정하기 위해 체계적으로 배치된 센서를 사용하는 프레임워크를 제안한다. 감소 추정기들을 통한 Γ𝐸ℛ-관측 가능성에 대한 충분조건을 수립하고, 센서가 고유함수의 절점선과 일치할 경우 비관측 가능성임을 증명함으로써 센서 배치가 경계 상태 복원에 있어 핵심적인 역할을 한다는 것을 보여준다.

ABSTRACT

The aim of this chapter is to introduce the concept of regional boundary exponential reduced observability in connection with the sensors characterizations on a sub-region on boundary of the considered domain boundary. More precisely, we explore the original results devoted to this concept in linear dynamical systems which is generated by a strongly continuous semi-group in Hilbert space of order one. Thus, the existence of sufficient conditions is presented and examined for regional boundary exponential reduced estimator in parabolic infinite dimensional systems. Finally, we apply these results to the exchange systems with various strategic sensors.

연구 동기 및 목표

• 분포 매개변수 시스템에 대해 지역 경계 지수 감소 관측 가능성의 새로운 개념을 개발하기 위해.
• 힐베르트 공간 설정에서 감소 추정기를 사용한 Γ𝐸ℛ-관측 가능성에 대한 충분조건을 수립하기 위해.
• 하위 경계 Γ에서 지수적 상태 추정을 달성하기 위한 체계적 센서의 역할을 분석하기 위해.
• 센서 유형(점지점형, 영역형)과 위치가 관측 가능성 성능에 미치는 영향을 조사하기 위해.
• 센서가 고유함수의 절점선과 일치함으로써 시스템이 비관측 가능성에 이를 조건을 제공하기 위해.

제안 방법

• 유계 도메인 Ω에서 노이만 경계 조건을 갖는 포물형 PDE 시스템을 수립한다.
• 상태 공간을 𝐻1(Ω), 제어 및 관측 공간을 각각 𝐿2(0,∞;ℝ𝑝) 및 𝐿2(0,∞;ℝ𝑞)로 정의한다.
• 초기 상태에서 출력으로의 사상인 연산자 𝐾 = 𝐶𝑆𝐴(⋅)𝑥 와 복원을 위한 그 수반 연산자 𝐾∗를 도입한다.
• 𝐻1/2(Γ)에서 추정 오차를 안정화하기 위해 연산자 (𝐴22 − ℋΓ𝐴12)를 사용하여 Γ𝐸𝑅-추정기를 구성한다.
• 관측 가능성 평가를 위해 고유함수 𝜑𝑖𝑗(𝜉1,𝜉2) = sin(𝑖𝜋(𝜉1−𝛼1)/(𝛽1−𝛼1))sin(𝑗𝜋(𝜉2−𝛼2)/(𝛽2−𝛼2))의 스펙트럼 분석을 적용한다.
• 트레이스 연산자와 Lumer-Phillips 정리를 사용하여 추정기의 생성하는 반군의 존재성과 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 분포 매개변수 시스템이 하위 경계 Γ에서 어떤 조건에서 지역적으로 지수적으로 관측 가능할 수 있는가?
• RQ2 센서 유형(점지점형 대비 영역형)과 위치가 Γ𝐸ℛ-관측 가능성에 어떻게 영향을 미치는가?
• RQ3 고유함수의 절점선이 비관측 가능성 결정에 어떤 역할을 하는가?
• RQ4 제한된 경계 측정치로 인해 감소 추정기를 통해 Γ에서 상태를 지수적으로 복원할 수 있는가?
• RQ5 체계적인 센서 배치를 통해 Γ𝐸ℛ-관측 가능성 확보는 어떻게 가능할 수 있는가?

주요 결과

• 점지점형 또는 영역형 센서가 (𝑏1−𝛼1)/(𝛽1−𝛼1) 또는 (𝜉0𝑖−𝛼𝑖)/(𝛽𝑖−𝛼𝑖)가 유리수이며 고유함수의 절점선과 일치하는 방식으로 위치할 경우, 시스템은 Γ𝐸ℛ-관측 가능하지 않다.
• 직사각형 도메인의 경우, 𝑖0(𝑏1−𝛼1)/(𝛽1−𝛼1) ∈ ℚ 이고 sin(𝑗0𝜋(𝑏1−𝛼1)/(𝛽1−𝛼1)) = 0 이면, 해당 모드에 대해 출력 𝑦(𝑡) = 0 이 된다.
• 유사하게 영역형 센서의 경우, 센서 영역 𝐷𝑖가 고유함수가 0이 되는 점을 포함하면 시스템은 관측 불가능하다.
• (𝐴22 − ℋΓ𝐴12)가 안정한 반군을 생성할 경우, 추정 오차는 𝐻1/2(Γ) 노름에서 지수적으로 0으로 수렴한다.
• 센서 위치 또는 지원 영역이 어떤 고유함수 모드의 절점 집합과 일치할 경우 비관측성이 발생한다.
• 결과는 노이만 및 혼합 경계 조건으로 확장되며, 적절한 수정을 통해 경계 센서(점지점형, 필라멘트형, 영역형)에도 적용 가능하다.