[논문 리뷰] A Relaxation Theorem for Differential Inclusions with Applications to Stability Properties

Brian Ingalls, Eduardo D. Sontag외 1명|ArXiv.org|2002. 06. 24.

Stability and Control of Uncertain Systems참고 문헌 6인용 수 5

한 줄 요약

이 논문은 분리 가능한 바나흐 공간에서의 미분포함수에 대해 무한 시간에 걸친 이완 정리( relaxation theorem)를 수립한다. 이는 초기 조건이 이완된 궤적의 초기 상태와 정확히 일치할 필요 없이 근접해 있으면서도, 원래의 미분포함수의 궤적이 이완된 미분포함수의 궤적을 무한 간격 동안 근사할 수 있음을 증명한다. 주요 기여는 유한 차원 결과를 무한 차원 상태 공간으로 확장한 것으로, 외란이 있는 제어 시스템에서 출력 안정성 분석에 응용 가능하게 한다.

ABSTRACT

The fundamental Filippov-Wazwski Relaxation Theorem states that the solution set of an initial value problem for a locally Lipschitz inclusion is dense in the solution set of the same initial value problem for the corresponding relaxation inclusion on compact intervals. In our recent work, a complementary result was provided for inclusions with finite dimensional state spaces which says that the approximation can be carried out over non-compact or infinite intervals provided one does not insist on the same initial values. This note extends the infinite-time relaxation theorem to the inclusions whose state spaces are Banach spaces. To illustrate the motivations for studying such approximation results, we briefly discuss a quick application of the result to output stability and uniform output stability properties.

연구 동기 및 목표

• 미분포함수에 대해 유한 차원에서의 무한 시간 이완 정리를 분리 가능한 바나흐 공간 상태 공간으로 일반화하는 것.
• 기존의 필리포프–와체프스키 정리의 한계를 해결하는 것 — 이는 동일한 초기 조건을 요구하는 컴팩트 간격에서만 근사 가능함을 보장함.
• 같은 초기 조건에서의 근사 도구를 제공함으로써 제어 이론에서 출력 안정성 및 균일 출력 안정성 분석을 가능하게 하는 것.
• 같은 초기 조건에서의 근사가 무한 시간 동안 조건부로 불가능함을 반례를 통해 보여주는 것 — 즉, 일정한 오차 한계가 존재하더라도 불가능함.

제안 방법

• 가중치를 사용한 노름과 튜브 기반 구성 방식을 활용해, C0 유클리드 위상의 근사 프레임워크를 무한 차원 바나흐 공간으로 확장한다.
• 이완된 궤적의 초기 상태로 수렴하는 변형된 초기 조건을 갖는 국소 초기값 문제의 수열을 풀어 근사 궤적을 구성한다.
• 하우스도르프 거리와 집합값 함수 F의 국소 리프시츠 연속성을 이용해 시간이 지남에 따라 근사 오차를 통제한다.
• 이완된 미분포함수를 정의하기 위해 닫힌 볼록 코어를 활용한 이론적 기법을 적용: ẋ(t) ∈ clco F(t, x(t)).
• 연속된 간격에서 궤적을 재귀적으로 구성함으로써, 근사 오차가 기준 이완 궤적을 중심으로 점점 줄어드는 튜브 내에 유지되도록 보장한다.
• 바나흐 공간의 정상성과 위상적 성질을 활용해 근사해의 존재성과 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 이전에 유한 차원 시스템에서 수립된 무한 시간 이완 정리는 분리 가능한 바나흐 공간 상태 공간을 갖는 시스템으로 확장될 수 있는가?
• RQ2 초기 조건이 정확히 동일한 조건에서, 감소하거나 일정한 오차 함수를 갖는 조건 하에, [0, ∞) 동안 이완 궤적을 원래 미분포함수의 궤적으로 근사할 수 있는가?
• RQ3 초기 조건을 정확히 일치시켜야 하는 조건에서, 이러한 무한 시간 근사의 한계는 무엇인가?
• RQ4 이러한 근사 결과는 외란이 있는 제어 시스템에서 출력 안정성 분석에 어떻게 적용될 수 있는가?
• RQ5 오차 한계가 일정한 경우에도, 동일한 초기 조건에서의 근사가 무한 시간 동안 실패하는 현상은 여전히 유지되는가?

주요 결과

• 논문은 [0, ∞)에서 정의된 모든 이완 궤적에 대해, 주어진 양함수 r(t)에 대해 근사 오차가 이를 초과하지 않으며, 근사 궤적의 초기 조건가 이완 궤적의 초기 조건과 임의로 가까이 설정될 수 있는 근사 궤적의 수열이 존재함을 증명한다.
• 이 결과는 고전적인 필리포프–와체프스키 정리의 일반화가 아니며, 초기 조건을 유지하지 않기 때문이다. 대신 초기 조건의 변형을 허용한다.
• 반례를 통해 일정한 오차 한계 r(t) ≡ ε > 0 조건 하에서도, 상태 궤적이 유계이어야 하는 조건에서, 동일한 초기 조건을 갖는 원래의 미분포함수의 해가 이완 궤적을 [0, ∞) 동안 근사할 수 없음을 보여준다.
• 논문은 근사 결과가 안정성 결과의 직접적인 확장 가능함을 보여준다: oGAS (출력-전역 점근적 안정성)는 전방 완비 시스템에서 oUGAS (균일 출력-전역 점근적 안정성)를 함의한다.
• 안정성 동치의 증명은 무한 시간 근사 결과에 기반하며, 이는 이완 궤적이 가중치 노름에서 규칙적인 궤적으로 균일하게 근사될 수 있음을 보여주며, 이는 안정성 성질을 유지함을 의미한다.