[논문 리뷰] Monotone Order Properties for Control of Nonlinear Parabolic PDE on Graphs

Sidhant Misra, Marc Vuffray외 2명|arXiv (Cornell University)|2016. 01. 19.

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

한 줄 요약

이 논문은 메트릭 그래프 위의 비선형 편미분방정식(PDE)에 대해 단조 순서 전파(MOP)를 수립하며, 초기 조건과 시간에 따라 변하는 노드 매개변수들이 적절히 순서가 지정되어 있을 경우 해의 순서가 유지됨을 증명하고, 해의 교차가 오직 정점에서만 발생함을 보여준다. 주요 기여는 네트워크 상의 PDE 시스템에 대한 MOP에 대한 본질적 증명을 제공함으로써, 가스 파이프라인과 유체 네트워크와 같은 불확실한 동적 유량 시스템에서의 강건한 제어 및 모니터링을 가능하게 한다.

ABSTRACT

We derive conditions for the propagation of monotone ordering properties for a class of nonlinear parabolic partial differential equation (PDE) systems on metric graphs. For such systems, PDE equations with a general nonlinear dissipation term define evolution on each edge, and balance laws create Kirchhoff-Neumann boundary conditions at the vertices. Initial conditions, as well as time-varying parameters in the coupling conditions at vertices, provide an initial value problem (IVP). We first prove that ordering properties of the solution to the IVP are preserved when the initial conditions and time-varying coupling law parameters at vertices are appropriately ordered. In addition, we prove that when monotone ordering is not preserved, the first crossing of solutions occurs at a graph vertex. We consider the implications for robust optimal control formulations and real-time monitoring involving uncertain dynamic flows on networks, and discuss application to subsonic compressible fluid flow with energy dissipation on physical networks.

연구 동기 및 목표

• 일반적인 비선형 소산성과 킬르히호프-뉴먼 경계 조건을 갖는 메트릭 그래프 위의 비선형 편미분방정식(PDE)에 대해 단조 순서 전파(MOP)를 수립하기.
• 유량 흐름과 네트워크 기반 제어에서 중요한 바이지만, 네트워크 상의 PDE 시스템에서 MOP 성질에 대한 본질적 분석이 부족한 문제를 해결하기.
• 불확실한 동적 유량에 대한 강건한 최적 제어 공식화 및 실시간 모니터링 정책을 개발하기.
• 순서 위반 시 해의 교차가 오직 그래프의 정점에서만 발생함을 증명하기.
• 에너지 소산이 있는 초음속 유체 흐름, 특히 천연가스 파이프라인 네트워크에서의 적용 가능성을 보여주기.

제안 방법

• 모든 간선에서 PDE 진동이 일어나고 정점에서 킬르히호프-뉴먼 균형 법칙을 통해 연결되는 메트릭 그래프 위의 비선형 편미분방정식(PDE) 시스템의 클래스를 수립한다.
• 불확실한 입력(예: 자원 소비 또는 유량)을 모델링하기 위해 연결 조건에 시간에 따라 변하는 노드 매개변수를 도입한다.
• 순서 이론적 분석을 적용하여 초기 조건과 노드 매개변수가 순서가 잘 정렬되어 있을 경우, 시간이 지남에 따라 해의 단조 순서가 유지됨을 증명한다.
• PDE의 최대 원리 및 비교 정리를 사용하여, 순서 위반이 발생할 경우 첫 번째 해 교차가 정점에서 발생함을 입증한다.
• 해의 교차점을 감지할 때 노드 매개변수를 범위로 재설정하여 시스템의 타당성을 보장하는 노드 모니터링 정책(NMP)을 유도한다.
• 실제 네트워크 기반 시스템을 모델링하기 위해 초음속 압축성 유체 흐름에 에너지 소산이 있는 경우에 적용하여 방법의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변하는 노드 매개변수를 갖는 메트릭 그래프 위의 비선형 편미분방정식(PDE)에서 해의 단조 순서가 유지되는 조건은 무엇인가?
• RQ2 이러한 시스템에서 단조성이 위반될 경우 첫 번째 해 교차가 어디에서 발생하는가?
• RQ3 단조 순서 성질은 불확실성 하에 강건한 최적 제어 공식화를 단순화하는 데 어떻게 활용될 수 있는가?
• RQ4 정점 수준의 관측만을 사용하여 시스템의 타당성을 유지할 수 있는 실시간 모니터링 정책을 설계할 수 있는가?
• RQ5 MOP는 가스 파이프라인과 같은 물리적 네트워크에서의 동적 유량 모델링 및 제어에 어떤 영향을 미치는가?

주요 결과

• 초기 조건과 시간에 따라 변하는 노드 매개변수가 적절히 순서가 지정되어 있을 경우, 초기값 문제(IVP)의 해에 대한 단조 순서가 유지된다.
• 단조성이 유지되지 않을 경우, 첫 번째 해 교차는 간선이 아닌 오직 그래프의 정점에서만 발생한다.
• 노드 모니터링 정책(NMP)은 정점에서 교차를 감지할 때 노드 매개변수를 범위로 재설정하여 전체 시스템의 밀도 제약 조건을 충족시킨다.
• NMP는 해의 범위를 유지하는 데 충분함을 증명하였다: 모든 t ∈ [0,T] 및 간선 (i,j) ∈ E에 대해 ρ²(t,x_ij) ≤ ρ(t,x_ij) ≤ ρ¹(t,x_ij)가 성립한다.
• 결과적으로, 불확실한 동적 유량이 있는 네트워크에 대한 강건한 최적 제어 공식화의 단순화가 가능해진다.
• 이 프레임워크는 특히 대규모 천연가스 파이프라인 네트워크에서의 초음속 압축성 유체 흐름에 에너지 소산이 있는 경우에 직접 적용 가능하다.