초록
음이 아닌 입력에 대하여 음이 아닌 초기상태에서 출발한 모든 상태변수 값들이 시간에 대하여 항상 음이 아닌 값을 유지하는 시스템은 양의 시스템으로 정의된다. 본 논문에서는 상태변수에 시변 지연시간과 비구조화된 불확실성이 함께 존재하는 양의 시변 선형 이산 구간 시스템의 안정조건을 새롭게 제안한다. 시변 지연시간은 변동가능한 최소와 최대 지연시간 범위 내에서 변하는 것으로 고려되며, 불확실성은 비선형성을 포함하여 그 최대 크기만을 알 수 있는 것으로 고려한다. 제안된 안정조건은 이전의 결과들이 시불변시스템에만 적용되었거나 불확실성에 대한 고려가 없었던 것을 개선한 것으로 매우 간단한 부등식의 형태로 표현된다. 안정조건은 리아프노프 안정이론을 이용하여 유도되며, 리아프노프 방정식의 상한 해 한계(upper solution bound)를 이용한 기존 결과에 비하여 많은 장점을 갖는다. 제안된 안정조건은 기존의 결과들을 포함하는 효과적인 것으로 수치예제를 통하여 이를 검증한다.
A dynamic system is called positive if any trajectory of the system starting from non-negative initial states remains forever non-negative for non-negative controls. In this paper, we consider the new stability condition for the positive time-varying linear discrete interval systems with time-varying delay and unstructured uncertainty. The delay time is considered as time-varying within certain interval having minimum and maximum values and the system is subjected to nonlinear unstructured uncertainty which only gives information on uncertainty magnitude. The proposed stability condition is an improvement of the previous results which can be applied only to time-invariant systems or had no consideration of uncertainty, and they can be expressed in the form of a very simple inequality. The stability conditions are derived using the Lyapunov stability theory and have many advantages over previous results using the upper solution bound of the Lyapunov equation. Through numerical example, the proposed stability conditions are proven to be effective and can include the existing results.