[논문 리뷰] Construction of program control with probability one for a dynamical system with Poisson perturbations

Elena Karachanskaya|arXiv (Cornell University)|2011. 11. 08.

Advanced Data Processing Techniques인용 수 4

한 줄 요약

이 논문은 비어르와 포아송성 편향을 동시에 갖는 동역학계에 대해, 비어르 및 비중앙 포아송 측도를 갖는 이토형 SDE 시스템에 대한 확률적 제1적분의 개념을 활용하여 확률 1로 프로그램 제어를 구성하는 방법을 제안한다. 이 접근법은 주어진 함수가 표본 경로를 따라 거의 확실히 일정하게 유지되도록 보장하며, 이는 확률적 교란에도 불구하고 원하는 시스템 불변량을 유지하는 제어 법칙 설계를 가능하게 한다. 구체적인 구성 공식은 시스템 계수의 야코비안과 행렬 행렬식 조건에서 유도된다.

ABSTRACT

In article we construct the program control with probability one for a dynamical system with Poisson perturbations.

연구 동기 및 목표

• 비어르 및 포아송성 확률적 교란이 동시에 작용하는 상황에서 주어진 시스템 불변량을 확률 1로 유지하는 제어 설계를 위한 체계적 방법을 개발하는 것.
• 비중앙 포아송 측도를 갖는 시스템으로의 확률적 제1적분 이론을 확장하여, 특정 강도 밀도 함수의 사전 지정이 필요 없도록 하는 것.
• 주어진 함수가 표본 경로를 따라 거의 확실히 일정하게 유지되도록 보장하는 드리프트 및 확산 계수에 대한 명시적 대수 조건을 제공하는 것.
• 불변 함수가 거의 확실히 일정하게 유지되는 제어 시스템을 구성함으로써, 랜덤 점프와 확산에 대한 강건성을 확보하는 것.
• 기존의 비어르 기반 시스템에 대한 방법을 자동 함수 알고리즘과 행렬 소수를 기반으로 하는 통합 프레임워크를 통해 점프 과정을 포함하도록 일반화하는 것.

제안 방법

• 이 방법은 비어르 및 비중앙 포아송 노이즈를 동반한 SDE에 대한 확률적 제1적분의 정의에 기반하며, 세 가지 조건이 필요하다: 확산 보상의 영멸, 시간 불변성, 포아송 점프에 대한 불변성.
• 시스템의 드리프트 계수 A(t; x)는 기본 벡터장 R(t; x)와 확산 행렬 Bk(t; x)의 야코비안을 포함한 보정 항의 합으로 구성되며, 이는 제1적분 조건을 만족시킨다.
• 확산 행렬 Bk(t; x)는 첫 번째 행이 표준 기저 벡터 e₀이고 두 번째 행이 제1적분 u(t; x)의 기울기인 행렬 H(t; x)의 소수를 통해 유도된다. 추가 행들은 보조 함수 fi(t; x)로 정의된다.
• 행렬 H(t; x)는 그 행렬식과 그 여인수 행렬 C(t; x)의 역행렬을 사용하여 드리프트 벡터 A(t; x)를 표현하는 관계 C⁻¹(t; x) · det H(t; x) = e₀ + ... 를 만족하도록 구성된다.
• 제어 법칙은 드리프트 항을 제1적분의 편미분과 행렬 행렬식을 포함하는 표현식과 동일시하는 방정식계를 풀어 유도되며, 이는 제어의 명시적 매개변수화를 가능하게 한다.
• 이 방법은 fi(t; x)와 q₀₀(t; x)의 임의의 선택을 허용하여, 수치적 안정성이나 단순성과 같은 특정 모델링 또는 구현 요구사항에 맞게 제어를 조정할 수 있다.

실험 결과

연구 질문

• RQ1 비중앙 포아송 측도를 갖는 SDE 시스템에 대해 확률적 제1적분은 어떻게 정의되고 특성화될 수 있는가?
• RQ2 드리프트, 확산, 점프 계수에 대한 어떤 대수 조건이 주어진 함수가 표본 경로를 따라 거의 확실히 일정하게 유지되도록 보장하는가?
• RQ3 비어르 및 포아송성 교란이 동시에 작용하는 상황에서, 원하는 불변 함수를 확률 1로 유지하는 제어 시스템을 어떻게 체계적으로 구성할 수 있는가?
• RQ4 기존의 방법은 포아송 측도의 강도 밀도를 사전에 알 필요가 있었지만, 제안된 방법은 이에 비해 어떤 차이를 보이는가?
• RQ5 행렬 H(t; x)와 그 행렬식은 드리프트 및 확산 계수의 명시적 구성에서 어떤 역할을 하는가?

주요 결과

• 논문은 함수 u(t; x)가 다음 세 조건을 만족할 때이고 그때에만 확률적 제1적분임을 입증한다: 비어르 노이즈에 대한 보상이 0이 되고, 시간 불변이며, 포아송 점프에 대해 불변이다.
• 드리프트 계수 A(t; x)는 A(t; x) = R(t; x) + ½ ∑ₖ [∂Bₖ/∂x] Bₖ(t; x) 로 명시적으로 구성되며, 여기서 R(t; x)는 H(t; x)의 여인수 행렬의 역행렬로부터 유도된다.
• 확산 행렬 Bₖ(t; x)는 제1적분의 기울기와 보조 함수 fi(t; x)를 포함하는 행렬 H(t; x)의 소수에 의해 결정된다.
• 시스템 계수는 제1적분 함수 u(t; x)와 보조 함수 fi(t; x)의 선택에 의해 완전히 결정되며, 이는 제어 법칙의 탄력적 설계를 가능하게 한다.
• 결과적으로 유도된 제어 시스템은 제1적분이 거의 확실히 일정하게 유지되며, 확률 1로 프로그램 제어를 구성하는 메커니즘을 제공한다.
• 명시적 예시가 제시되며, 여기서 제1적분은 u(t; x) = x₁ + x₂ 이며, 드리프트 및 확산 항은 상태 변수의 지수 및 로그 함수 형태로 표현된다.