[논문 리뷰] Stability and Control of Functional Differential Equations

Matthew M. Peet|ArXiv.org|2006. 07. 06.

Stability and Control of Uncertain Systems참고 문헌 8인용 수 7

한 줄 요약

이 논문은 준정적 프로그래밍과 연산자 이론적 라플라스 부등식을 이용한 비선형 시간지연 시스템에 대한 새로운 안정성 분석 프레임워크를 제시한다. 기존에 유도된 선형화된 인터넷 혼잡 제어 프로토콜에 대한 이득 한계가 원래의 비선형 시스템의 전역 안정성을 보장함을 입증하고, 선형 및 비선형 시간지연 시스템의 안정성 검증을 위한 매개변수에 의존하는 라플라스 함수를 사용하는 볼록 조건의 계층을 도입한다.

ABSTRACT

This thesis addresses the question of stability of systems defined by differential equations which contain nonlinearity and delay. In particular, we analyze the stability of a well-known delayed nonlinear implementation of a certain Internet congestion control protocol. We also describe a generalized methodology for proving stability of time-delay systems through the use of semidefinite programming. In Chapters 4 and 5, we consider an Internet congestion control protocol based on the decentralized gradient projection algorithm. For a certain class of utility function, this algorithm was shown to be globally convergent for some sufficiently small value of a gain parameter. Later work gave an explicit bound on this gain for a linearized version of the system. This thesis proves that this bound also implies stability of the original system. In Chapter 7, we describe a general methodology for proving stability of linear time-delay systems by computing solutions to an operator-theoretic version of the Lyapunov inequality via semidefinite programming. The result is stated in terms of a nested sequence of sufficient conditions which are of increasing accuracy. This approach is generalized to the case of parametric uncertainty by considering parameter-dependent Lyapunov functionals. Numerical examples are given to demonstrate convergence of the algorithm. In Chapter 8, this approach is generalized to nonlinear time-delay systems through the use of non-quadratic Lyapunov functionals.

연구 동기 및 목표

• 일반화된 피아스티비티 프레임워크를 이용해 비선형 지연이 있는 인터넷 혼잡 제어 프로토콜의 전역 점근적 안정성을 확립하기 위해.
• 연산자 이론적 라플라스 부등식을 통한 선형 시간지연 시스템의 안정성 검증을 위한 볼록 최적화 기반 방법론을 개발하기 위해.
• 비선형 시스템에 대해 비제곱형 라플라스 함수를 사용하고 매개변수 불확실성을 고려하여 접근을 확장하기 위해.
• 준정적 프로그래밍을 이용한 점차적으로 정확도가 향상되는 안정성에 대한 충분조건의 계층을 제공하기 위해.
• 수치 예제를 통한 제안된 알고리즘의 수렴성과 효능을 시연하기 위해.

제안 방법

• 시스템을 선형 지연 성분과 비선형 불연속 하위계로 분해하여 안정성 문제를 수립한다.
• 선형 성분에 주파수 영역 분석을 적용하고, 비선형 하위계에 시간 영역 분석을 적용하며, 적분 제곱 제약 조건(IQC)을 사용한다.
• 준정적 프로그래밍을 통해 선형 시간지연 시스템의 안정성 검증을 위한 중첩된 볼록 조건의 시퀀스를 구성한다.
• 매개변수 불확실성을 다루기 위해 매개변수에 의존하는 라플라스 함수를 도입한다.
• 비제곱형 라플라스 함수와 행렬 값의 승수 연산자를 사용하여 비선형 시스템으로 접근을 일반화한다.
• 조각별 연속 커널 함수를 스케일링된 영역에서 연속 함수로 변환하는 변환을 사용하여, 표준 준정적 프로그래밍을 통한 양성 확인이 가능하게 한다.

실험 결과

연구 질문

• RQ1 인터넷 혼잡 제어 프로토콜의 선형화된 버전에 대해 유도된 이득 한계가 원래의 비선형 시스템의 안정성도 보장하는가?
• RQ2 정확도가 점차 향상되는 선형 시간지연 시스템의 안정성 검증을 위한 볼록 조건의 계층을 구성할 수 있는가?
• RQ3 시간지연 시스템의 매개변수 불확실성은 볼록 최적화 프레임워크 내에서 어떻게 다룰 수 있는가?
• RQ4 비제곱형 라플라스 함수를 사용하여 비선형 시간지연 시스템으로 안정성 분석 프레임워크를 확장할 수 있는가?
• RQ5 행렬 값의 커널 함수의 양성과 변환된 공간에서 해당하는 양성 연산자의 존재성 사이의 관계는 무엇인가?

주요 결과

• 선형화된 인터넷 혼잡 제어 프로토콜에 대해 유도된 이득 한계가 원래의 비선형 시스템의 전역 점근적 안정성을 보장함으로써, 네트워크 제어 시스템 분야에서의 핵심 열린 문제를 해결한다.
• 선형 시간지연 시스템의 안정성에 대한 중첩된 충분조건의 시퀀스가 구성되었으며, 계층 수준이 증가함에 따라 정확한 안정성 경계에 수렴한다.
• 매개변수에 의존하는 라플라스 함수를 사용함으로써 제안된 방법이 매개변수 불확실성을 효과적으로 다루며, 강건한 안정성 분석이 가능해진다.
• 수치 예제를 통해 알고리즘의 수렴성이 입증되었으며, 기저 함수의 수가 증가할수록 안정성 한계의 오차가 감소함을 보였다.
• 스케일링을 통한 조각별 연속 커널의 연속적 변환은 양성을 유지하며, 표준 준정적 프로그래밍 솔버의 사용을 가능하게 한다.
• 함수 해석학과 측도 이론적 추론을 통해 불연속 커널의 양성과 그 변환된 연속적 대응체의 양성 간의 동치성을 엄밀히 증명하였다.