[논문 리뷰] Optimal Sequential Tests for Monitoring Changes in the Distribution of Finite Observation Sequences

Dong Han, Fugee Tsung외 1명|arXiv (Cornell University)|2019. 07. 31.

Advanced Statistical Process Monitoring참고 문헌 29인용 수 4

한 줄 요약

이 논문은 일반적인 의존 구조를 가진 유한한 관측 시계열에서 분포 변화를 탐지하기 위해 일반화된 실랴예프 유형 측도와 동적 제어 한계를 도입하여 최적의 순차적 검정을 개발한다. 다양한 지연 성능 지표에 대해 서로 다른 최적의 검정을 구성할 수 있음을 증명하고, 일반화된 이탈 평균 운행 길이를 계산하는 공식을 제공하며, 변화 후 밀도가 시간에 따라 변하지 않을 경우 검정 통계량에 직접적으로 의존하지 않는 동치의 제어 한계가 존재함을 보여준다.

ABSTRACT

This article develops a method to construct the optimal sequential test for monitoring the changes in the distribution of finite observation sequences with a general dependence structure. This method allows us to prove that different optimal sequential tests can be constructed for different performance measures of detection delay times. We also provide a formula to calculate the value of the generalized out-of-control average run length for every optimal sequential test. Moreover, we show that there is an equivalent optimal control limit which does not depend on the test statistic directly when the post-change conditional densities (probabilities) of the observation sequences do not depend on the change time.

연구 동기 및 목표

• 일반적인 의존 구조를 가진 유한한 관측 시계열에 대한 최적의 순차적 검정이 부족한 문제를 해결하기 위해.
• 탐지 지연의 다양한 성능 측도 하에서 최적의 검정을 구성하기 위한 프레임워크를 개발하기 위해.
• 각 최적 검정에 대해 일반화된 이탈 평균 운행 길이(ARL1)를 계산하는 공식을 유도하기 위해.
• 변화 후 밀도가 시간에 따라 동일할 경우 검정 통계량에 직접적으로 의존하지 않는 동치의 제어 한계를 확립하기 위해.
• 고전적인 최적 검정(예: CUSUM, 실랴예프)을 상수 한계에서 최적의 동적 한계로 대체함으로써 유한한 시계열로 확장하기 위해.

제안 방법

• 다양한 성능 지표 하에서 탐지 지연 성능을 평가하기 위해 일반화된 실랴예프 유형 측도를 도입한다.
• 시험 통계량 $ Y_n $ 과 관측 시계열 길이 $ N $ 에 따라 적응하는 동적 제어 한계 $ l_n(c) $ 를 정의한다.
• 고정된 ARL0 제약 조건 하에서 일반화된 탐지 지연 측도 $ \mathcal{J}_{M,N}(T) $ 를 최소화함으로써 최적의 순차적 검정 $ T^*_M(c,N) $ 를 구성한다.
• 각 최적 검정에 대해 일반화된 이탈 평균 운행 길이(ARL1)를 계산하는 닫힌 형식의 공식을 유도하여 최소 지연을 보장한다.
• 변화 후 조건부 밀도가 시간에 따라 동일할 경우, 검정 통계량에 의존하지 않고 분포적 구조에만 의존하는 동치의 제어 한계를 확립한다.
• 마르코프 및 i.i.d. 시계열에 이 프레임워크를 적용하여, 고전적 검정이 그들의 상수 한계가 동적 등가물로 대체될 경우에도 여전히 최적이 됨을 보여준다.

실험 결과

연구 질문

• RQ1 일반적인 의존 구조를 가진 유한한 관측 시계열에 대해 최적의 순차적 검정을 어떻게 구성할 수 있는가?
• RQ2 다양한 성능 측도 하에서 최소 탐지 지연을 보장하는 최적의 제어 한계 구조는 무엇인가?
• RQ3 유한한 수평선 설정에서 최적 검정에 대해 일반화된 이탈 평균 운행 길이(ARL1)를 정확하게 계산할 수 있는가?
• RQ4 어떤 조건에서 검정 통계량에 직접적으로 의존하지 않는 동치의 제어 한계가 존재하는가?
• RQ5 고전적 검정(예: CUSUM, 실랴예프)은 동적 제어 한계를 사용하여 유한한 시계열에 적응시킬 경우 어떻게 성능을 발휘하는가?

주요 결과

• 다양한 탐지 지연 성능 지표에 따라 서로 다른 최적의 순차적 검정을 구성할 수 있으며, 각 검정은 해당 지표에 최적화된 일반화된 지연 측도를 최소화한다.
• 각 최적 검정에 대해 일반화된 이탈 평균 운행 길이(ARL1)를 계산하는 닫힌 형식의 공식이 도출되어, 주어진 성능 지표 하에서 최소 ARL1를 보장한다.
• 변화 후 조건부 밀도가 변화 시점에 영향을 받지 않을 경우, 검정 통계량에 직접적으로 의존하지 않는 동치의 제어 한계가 존재하여 구현을 단순화한다.
• i.i.d. 시계열의 경우, 동치의 제어 한계는 비랜덤이고 음이 아닌 상수의 시퀀스로 줄어들어 실용적 구현이 가능하다.
• 시뮬레이션 결과, 제안된 최적 검정 $ T^*_5 $ 와 $ T^*_6 $ 는 ARL0 ≈ 20 조건에서 각각 GARL5와 GARL6 값이 115.43과 23.26으로 가장 낮게 나타나, 상수 한계를 사용하는 고전적 검정을 능가함을 보였다.
• 동적 제어 한계는 특히 마르코프 의존성이 있는 유한한 수평선 설정에서 고전적 검정에 비해 탐지 성능을 크게 향상시킨다.